Publications

Export 133 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is J.M. Colom  [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 
T
[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
[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.
[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).
U
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1520] Tricas, F, Colom JM, Merelo JJ.  2014.  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).
V
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
[1051] Olcoz, S, Colom JM.  1993.  VHDL Through the Looking Glass. VHDL-Forum for CAD in Europe. :58-68.
[1068] Olcoz, S, Colom JM.  1994.  VHDL: A Discrete Event Simulation Hardware Description Language. 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94). :128-134.