Publications

Export 323 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Conference Paper
[1275] Rovetto, C, Cano E, Colom JM.  2010.  Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
application/pdf icon
Rovetto_AGV_Deadlocks.pdf
[1549] Wang, X, Mahulea C, Silva M.  2014.  Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1388] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1389] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1501] Wang, X, Mahulea C, Silva M.  2013.  Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
[LoMa05] López-Valdés, M, Mayordomo E.  2005.  Dimension is Compression. 3618:676-685.
0 icon
dic.pdf
[1438] Mayordomo, E, Lutz JH, Gu X, Moser P.  2012.  Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
[DPSSFc] Lutz, JH, Mayordomo E.  2008.  Dimensions of Points in Self-Similar Fractals. 5092:215-224.
[RP-95-15] Tricas, F, Martínez J.  1995.  Distributed Systems Simulation using High Level Petri Nets. :227-233.
[blogtalk] Tricas, F, Ruiz, Merelo.  2003.  Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
[1455] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
[MayEHD] Mayordomo, E.  2004.  Effective Hausdorff dimension. Trends in Logic. 23:171-186.
0 icon
xx_May_FFS.ps
[ESDAICC] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2004.  Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2009.  An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
[PMM-QoSA11a] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
0 icon
00_MCM_JJCC.pdf
[BuhMay95] Buhrman, H, Mayordomo E.  1995.  An excursion to the Kolmogorov random strings. :197-203.
[1309] Mayordomo, E, Blanco R.  2009.  Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
0 icon
03_MC_SERP.pdf
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[RP-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
[1252] Seatzu, C, Mahulea C, Cabasino MP, Silva M.  2009.  Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1465] Wang, X, Mahulea C, Silva M.  2013.  Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.