Hermenegilda Macià

MaRDI QIDQ1014567zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
New proposals to improve a MAC layer protocol in wireless sensor networks	2021-10-06	Paper
Stochastic process reduction for performance evaluation in dtsiPBC Sibirskie Elektronnye Matematicheskie Izvestiya	2016-07-28	Paper
Performance analysis of concurrent systems in algebra dtsiPBC Programming and Computer Software	2016-06-27	Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets Science of Computer Programming	2012-07-20	Paper
A barred operational semantics for a subset of WS-CDL with time restrictions The Journal of Logic and Algebraic Programming	2009-11-04	Paper
A Petri net approach for the design and analysis of web services choreographies The Journal of Logic and Algebraic Programming	2009-07-20	Paper
Improving performance in flexible manufacturing systems The Journal of Logic and Algebraic Programming	2009-04-29	Paper
Removing dead transitions in timed-arc Petri nets Mathematical and Computer Modelling of Dynamical Systems	2009-03-10	Paper
sPBC: a Markovian extension of Petri box calculus with immediate multiactions	2009-02-12	Paper
A congruence relation for sPBC Formal Methods in System Design	2008-04-11	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce Lecture Notes in Computer Science	2006-10-24	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper

Research outcomes over time

This page was built for person: Hermenegilda Macià