Person:1014567

Available identifiers

zbMath Open macia.hermenegildaDBLP98/4537WikidataQ87134757 ScholiaQ87134757MaRDI QIDQ1014567

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5155326	2021-10-06	Paper
Stochastic process reduction for performance evaluation in dtsiPBC	2016-07-28	Paper
Performance analysis of concurrent systems in algebra dtsiPBC	2016-06-27	Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets	2012-07-20	Paper
A barred operational semantics for a subset of WS-CDL with time restrictions	2009-11-04	Paper
A Petri net approach for the design and analysis of web services choreographies	2009-07-20	Paper
Improving performance in flexible manufacturing systems	2009-04-29	Paper
Removing dead transitions in timed-arc Petri nets	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3601873	2009-02-12	Paper
A congruence relation for sPBC	2008-04-11	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hermenegilda Macia