Publications
] Filters: First Letter Of Title is E [Clear All Filters]
[1454] .
2014. Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[1431] .
2013. Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[1455] .
2013. EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
[1476] .
2013. Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[PMM-QoSA11a] .
2011. Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[1253] .
2009. An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
[1309] .
2009. Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[EFDAIT] .
2008. Effective fractal dimension in algorithmic information theory. :259-285.
[AtHiLuMa06] .
2007. Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
[ESDAICC] .
2004. Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
[MayEHD] .
2004. Effective Hausdorff dimension. Trends in Logic. 23:171-186.
[IPJuBeReSi04] .
2004. Event-driven optimal control of continuous Petri nets. :69-74.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[Cam-EVI-01] .
2001. Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
[ZRS-EKA2001] .
2001. Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
[MCM-JJCC-00] .
2000. Evaluating Performance on Mobile Agents Software Design. :291-307.
[BuhMay97] .
1997. An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
[TricasMartinez95SMC] .
1995. An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] .
1995. An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[BuhMay95] .
1995. An excursion to the Kolmogorov random strings. :197-203.
[EDA-book-95] .
1995. Estructuras de Datos y Algoritmos.
[CS-PE-93] .
1993. Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
[CCS-TSE-91] .
1991. Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
[RP-85-11] .
1985. Error detection and correction on Petri net models of discrete control systems. :921-924.
[RP-84-06] .
1984. Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
