Export 323 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Journal Article
[1369] Mayordomo, E, Blanco R, Montoya J, Ruiz-Pesini E.  2011.  Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[HiLuMaSDNC] Hitchcock, JM, Lutz JH, Mayordomo E.  2004.  Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
[sdkcthsR] Hitchcock, JM, López-Valdés M, Mayordomo E.  2008.  Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[RP-92-26] Silva, M, Muro P.  1992.  Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
[1532] Gómez-Martínez, E, Linaje M, Sanchez-Figueroa F, Iglesias-Pérez A, Preciado JC, González-Cabero R, Merseguer J.  2015.  A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[1451] Julvez, J, Vazquez CR, Mahulea C.  2012.  SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[MC-LNCS-04] Merseguer, J, Campos J.  2004.  Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[1425] Mayordomo, E, Ferreira F, Hyland M, L\"owe B.  2012.  Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[1305] Mayordomo, E, Sorbi A, Cooper SB.  2009.  Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
[ARMARARESI08] Mahulea, C, Ramirez A, Recalde L, Silva M.  2008.  Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
[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
[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.
[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.
[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.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
[FeLuMaRe05] Fenner, SA, Lutz JH, Mayordomo E, Reardon P.  2005.  Weakly useful sequences. Information and Computation. 197:41-54.
Conference Proceedings
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1504] Wang, L, Mahulea C, Silva M.  2013.  Distributed Model Predictive Control of Timed Continuous Petri nets. 52nd IEEE Conference on Decision and Control (CDC'2013).
[RM_ISARCS10] Rodríguez, RJ, Merseguer J.  2010.  Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[1296] Fraca, E, Julvez J, Mahulea C, Silva M.  2011.  On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[1412] Álvarez-Jarreta, J, Mayordomo E, Ruiz-Pesini E.  2012.  PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1259] [Anonymous].  2009.  Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems.
[1488] Bernardi, S, Boskovic M, Merseguer J.  2013.  Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
[1306] [Anonymous].  2010.  Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158