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
https://portal.mardi4nfdi.de/entity/Q2848480	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2847799	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847850	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/Q4736997	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737124	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738222	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

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: Marco Pistore