Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[DGLMM05] Zeta-Dimension. 3618:283-294.
.
2005.
.
2009.
[1304] 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.
.
2011.
[MCM-JJCC-01] Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
.
2001.
[FeLuMaWUS] Weakly Useful Sequences. 944:393-404.
.
1995.
[FeLuMaRe05] Weakly useful sequences. Information and Computation. 197:41-54.
.
2005.
[1520] Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
.
2014.
[CZEI-98] Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
.
1998.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
.
2008.
[Mayo06] Two open problems on effective dimension. 3988:353–359.
.
2006.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
[LutMayTPRBMb] Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
.
1999.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
[BCM-TII-11] Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
.
2011.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[RP-96-12] A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
.
1996.
[PFMBC-JCST-13] Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
.
2013.
[RP-97-06] Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
.
1997.
[RP-86-06] Terminal controllers for robots: Shooting and optimal control. :384-389.
.
1986.
[1320] 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.
.
2010.
[1475] Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 10(4):1058-1070. Abstract
.
2013.
[1396] Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
.
2007.