Hermenegilda Macia

From MaRDI portal
Revision as of 22: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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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