Publications

Export 323 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Conference Paper
[1251] Franceschelli, M, Egerstedt M, Giua A, Mahulea C.  2009.  Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1435] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1448] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[LutMayCVKLb] Lutz, JH, Mayordomo E.  1994.  Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. 775:415-426.
[RP-95-10] Tricas, F, Martínez J.  1995.  Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] Tricas, F, Martínez J.  1995.  Corrección de programas y redes de Petri de alto nivel. :155-164.
[1301] Mayordomo, E, Lutz JH, Gu X.  2009.  Curves that must be retraced. Sixth International Conference on Computability and Complexity in Analysis (CCA 2009).
[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.