dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Cristian Mahulea Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez: Analysis and simulation of manufacturing systems using SimHPN toolbox. CASE 2011: 432-437
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu: On decentralized observability of discrete event systems. CDC-ECE 2011: 378-384
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Silva, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez: On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems 21(4): 427-497 (2011)
2010
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonika Heiner, Cristian Mahulea, Manuel Silva: On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva: Minimum-time control for structurally persistent continuous Petri Nets. CDC 2010: 2771-2776
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva: An iterative control method for distributed continuous Petri nets. CDC 2010: 6753-6758
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva: Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva: An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Industrial Informatics 6(3): 460-471 (2010)
2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva: New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Mahulea, Laura Recalde, Manuel Silva: Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems 19(2): 189-212 (2009)
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva: Formal analysis of timed continuous Petri nets. CDC 2008: 245-250
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva: Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. IEEE T. Automation Science and Engineering 5(2): 307-320 (2008)

Coauthor Index

1Calin Belta [2] [5]
2Maria Paola Cabasino [4] [6] [11]
3Alessandro Giua [11]
4Monika Heiner [9]
5Jorge Júlvez [7] [8] [10] [12]
6Marius Kloetzer [2] [5]
7Hanife Apaydin Özkan [7]
8Antonio Ramírez-Treviño [1]
9Laura Recalde [1] [2] [3]
10Carla Seatzu [4] [6] [11]
11Manuel Silva [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
12Carlos Renato Vázquez [10] [12]
13Liewei Wang [8]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page