Publications

Export 323 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
Z
W
[1304] Mayordomo, E, Blanco R, Álvarez J.  2011.  Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
[MCM-JJCC-01] Merseguer, J, Campos J, Mena E.  2001.  Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
[FeLuMaWUS] Fenner, SA, Lutz JH, Mayordomo E.  1995.  Weakly Useful Sequences. 944:393-404.
[FeLuMaRe05] Fenner, SA, Lutz JH, Mayordomo E, Reardon P.  2005.  Weakly useful sequences. Information and Computation. 197:41-54.
U
T
[Mayo06] Mayordomo, E.  2006.  Two open problems on effective dimension. 3988:353–359.
[LutMayTPRBM] Lutz, JH, Mayordomo E.  2001.  Twelve problems in resource bounded measure. :83-101.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
[IPVaMaMiReSi08] Vázquez, CR, Mangini AM, Mihalache A, Recalde L, Silva M.  2008.  Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
[RP-96-12] Mertsiotakis, V, Silva M.  1996.  A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[RP-97-06] Mertsiotakis, V, Silva M.  1997.  Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[1475] Requeno, JI, de Miguel G, Blanco R, Colom JM.  2013.  Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.