Publications
Filters: First Letter Of Last Name is A [Clear All Filters]
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
.
2010.
[AMMP08] Pushdown compression. :39-48.
.
2008.
[1307] Bounded Pushdown dimension vs Lempel Ziv information density. arXiv.
.
2007.
[1515] 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).
.
2014.
[1541] 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
.
2016.
[1563] HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
.
2017.