Publications

Export 133 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is J.M. Colom  [Clear All Filters]
Conference Paper
[1061] Ezpeleta, J, Martínez J, Colom JM.  1993.  Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
[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.
[278] Campos, J, Chiola G, Colom JM, Silva M.  1989.  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
[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).
[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).
[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.
Book Chapter
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[1083] Ezpeleta, J, García-Vallés F, Colom JM.  1998.  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[1408] Requeno, JI, Colom JM.  2012.  Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[673] Colom, JM, Silva M.  1991.  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
[1359] Silva, M, Colom JM.  1990.  Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
[243] Teruel, E, Silva M, Colom JM, Campos J.  1995.  Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
[246] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
[1069] Briz, JL, Colom JM.  1994.  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
[672] Colom, JM, Silva M.  1991.  Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[1358] Colom, JM, Silva M.  1990.  Improving the linearly based characterization of P/T nets. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[259] Campos, J, Colom JM, Silva M.  1992.  Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[1339] Colom, JM, Haddad S.  1998.  Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
[912] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2000.  An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.