Publications

Export 323 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is M  [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]
Q
[1256] Mahulea, C, Asaftei T, Matcovschi M.  2009.  Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
[PMMG-VIDAS10] Perez-Palacin, D, Merseguer J, Mirandola R, Grassi V.  2010.  QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
[BM-IC-06] Bernardi, S, Merseguer J.  2006.  QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
[1415] Pérez-Palacín, D, Mirandola R, Merseguer J.  2012.  QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
P
[AMMP08] Albert, P, Mayordomo E, Moser P, Perifel S.  2008.  Pushdown compression. :39-48.
[MoEz-03] Moldt, D, Ezpeleta J.  2003.  A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
[IPGIMARESESI08] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2008.  Properties of continuous Petri nets controlled via model predictive control.
[1306] [Anonymous].  2010.  Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
[1324] [Anonymous].  2007.  Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).
[1488] Bernardi, S, Boskovic M, Merseguer J.  2013.  Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
[1259] [Anonymous].  2009.  Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems.
[1444] Kloetzer, M, Mahulea C, Pastravanu O.  2011.  A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
[1292] Mayordomo, E, Moser P, Perifel S.  2011.  Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[1299] Mayordomo, E, Moser P.  2009.  polylog space compression is incomparable with Lempel-Ziv and pushdown compression.
[GuLuMa06] Gu, X, Lutz JH, Mayordomo E.  2006.  Points on computable curves. :469–474.
[1551] Kloetzer, M, Mahulea C.  2014.  Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
[1412] Álvarez-Jarreta, J, Mayordomo E, Ruiz-Pesini E.  2012.  PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1322] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2011.  Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
[1519] Mahulea, C, Mahulea L, García-Soriano JM, Colom JM.  2014.  Petri Nets with Resources for modeling Primary Healthcare Systems. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
[RP-92-05] Silva, M, Muro P.  1992.  Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[1063] Ezpeleta, J, Colom JM, Martínez J.  1993.  A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.