Publications
] Filters: First Letter Of Title is T [Clear All Filters]
[RZS-04] .
2004. Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
[Mayo06] .
2006. Two open problems on effective dimension. 3988:353–359.
[ZRS-Wod00] .
2000. A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
[BLV07] .
2007. Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
[1475] .
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] .
2013. Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[1316] .
2011. Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
[BCM-TII-11] .
2011. Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
[RP-85-09] .
1985. Tolerancia a fallos en aplicaciones tiempo real. :111-124.
[1484] .
2014. Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[PCFB-LAT-13] .
2013. Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[LutMayTPRBMb] .
1999. Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
[ZRS-JIM-01] .
2001. A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
[charlie-Phd] .
2002. Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
