Filters: First Letter Of Title is C [Clear All Filters]
 Curves that must be retraced. Information and Computation. 209:992--1006.. 2011.
 Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).. 2009.
 COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).. 2011.
[RP-95-10] Corrección de programas y Redes de Petri de alto nivel. :184-193.. 1995.
[RP-95-12] Corrección de programas y redes de Petri de alto nivel. :155-164.. 1995.
[LutMayCVKL] Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. Theoretical Computer Science. 164:141-163.. 1996.
[LutMayCVKLb] Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. 775:415-426.. 1994.
 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.. 1991.
 Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.. 1989.
 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.. 1990.
 Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).. 2011.
 Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.. 2012.
 Control of continuous Petri nets using ON/OFF based method. WODES'12: 11th Int. Workshop on Discrete Event Systems.. 2012.
 A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.. 2010.
 Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).. 2011.
[IPReHaSi07] Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.. 2007.
 Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.. 2010.
[IPSiRe05] Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.. 2005.
 Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.. 2009.
 Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.. 2009.
[BC09] Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.. 2009.
 Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1). 2012.