Export 39 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [Show ALL]
[LutMayTPRBM] Lutz, JH, Mayordomo E.  2001.  Twelve problems in resource bounded measure. :83-101.
[LutMayTPRBMb] Lutz, JH, Mayordomo E.  1999.  Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
[1059] Olcoz, S, Colom JM.  1993.  Toward a Formal Semantics of IEEE Std. VHDL 1076. Euro-DAC’93 European Design Automation Conference with Euro-VHDL'93. :526-531.
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  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.
[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
[1510] Requeno, JI, Colom JM.  2014.  Timed and Probabilistic Model Checking over Phylogenetic Trees. 8th International Conference on Practical Applications of Computational Biology & Bioinformatics . Abstract
[1521] Tolosana-Calasanz, R, Bañares JA, Colom JM.  2014.  Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
[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.
[PCFB-LAT-13] Pérez, S, Campos J, Facchini H, Bisaro L.  2013.  Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.