Marco Pistore

Available identifiers

zbMath Open pistore.marcoMaRDI QIDQ199007

List of research outcomes

Publication	Date of Publication	Type
Minimal transition systems for history-preserving bisimulation	2022-11-09	Paper
Towards an independent semantics and verification technology for the HLPSL specification language	2013-09-26	Paper
Requirements-driven verification of web services	2013-09-11	Paper
Graph rewriting for agent oriented visual modeling	2013-09-11	Paper
Task decomposition on abstract states, for planning under nondeterminism	2009-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3624089	2009-04-28	Paper
Analysis of Realizability Conditions for Web Service Choreographies	2009-03-11	Paper
History Dependent Automata for Service Compatibility	2008-06-19	Paper
Weak, strong, and strong cyclic planning via symbolic model checking	2006-02-07	Paper
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738222	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736997	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737124	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4409826	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804909	2003-05-01	Paper
A partition refinement algorithm for the \(\pi\)-calculus	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536393	2002-11-04	Paper
On the semantics of durational actions	2002-03-03	Paper
``Closed interval process algebra versus ``interval process algebra	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222939	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222915	1998-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q4353638	1998-02-26	Paper

Research outcomes over time

This page was built for person: Marco Pistore