Publications

Export 40 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is A  [Clear All Filters]
2010
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1303] Mayordomo, E, Blanco R, Montes E, Mayo R, Alberto A.  2010.  Scalable Phylogenetics through Input Preprocessing.
[1248] Arronategui, U, Celaya J.  2010.  Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid. 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing.
application/pdf icon
celarr_pdp2010.pdf
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1280] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M.  2010.  An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
2011
[1304] Mayordomo, E, Blanco R, Álvarez J.  2011.  Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
[1424] Álvarez Jarreta, J.  2011.  Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
2012
[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).
2014
[1497] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M.  2014.  A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets. International Journal of Control. 87(2)
[1518] Bañares, JA, Tolosana-Calasanz R, Tricas F, Arronategui U, Celaya J, Colom JM.  2014.  Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[1515] Bernardi, S, Albareda J, Colom JM, Mahulea C.  2014.  A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
application/pdf icon
PUMA-R1-2013.pdf
[1527] Rodríguez, RJ, Artal JA, Merseguer J.  2014.  Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
application/pdf icon
paper-camera-ready.pdf
2016
[1541] Clavel, D, Mahulea C, Silva M, Albareda J.  2016.  Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
application/pdf icon
2016_M2H.pdf
2017
[1563] Parrilla, L, García J, Albareda J, Mahulea C.  2017.  HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract