Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
[1552] .
2015. Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[MayAESET] .
1994. Almost every set in exponential time is P bi immune. Theoretical Computer Science. 136:487-506.
[AESETPBI] .
1992. Almost every set in exponential time is P-bi-immune. 629:392-400.
[975] .
1985. Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1424] .
2011. Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[1443] .
2011. Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[1423] .
2011. Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[1279] .
2010. Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[239] .
1995. Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[RP-87-03] .
1987. Aproximación a los robots inteligentes. :265-279.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[1550] .
2014. An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1278] .
2010. An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[RP-92-12] .
1992. B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.
[1257] .
2009. Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
[1307] .
2007. Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.
[CPSM-RMUCM-93] .
1993. Boundedness on Stochastic Petri Nets. Revista Matematica de la Universidad Complutense de Madrid. 6:123-136.
[1310] .
2009. Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
[1390] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[1398] .
2007. Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. 2007:17.
[BaHeMa92] .
1992. Characterizations of logarithmic advice complexity classes. :315-321.
