Hermenegilda Macia

From MaRDI portal
Revision as of 23:45, 10 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Hermenegilda Macia to Hermenegilda Macia: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1014567

Available identifiers

zbMath Open macia.hermenegildaDBLP98/4537WikidataQ87134757 ScholiaQ87134757MaRDI QIDQ1014567

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51553262021-10-06Paper
Stochastic process reduction for performance evaluation in dtsiPBC2016-07-28Paper
Performance analysis of concurrent systems in algebra dtsiPBC2016-06-27Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets2012-07-20Paper
A barred operational semantics for a subset of WS-CDL with time restrictions2009-11-04Paper
A Petri net approach for the design and analysis of web services choreographies2009-07-20Paper
Improving performance in flexible manufacturing systems2009-04-29Paper
Removing dead transitions in timed-arc Petri nets2009-03-10Paper
https://portal.mardi4nfdi.de/entity/Q36018732009-02-12Paper
A congruence relation for sPBC2008-04-11Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce2006-10-24Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper

Research outcomes over time

This page was built for person: Hermenegilda Macia

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1014567&oldid=10653981"
Powered by MediaWiki