Marco Pistore

MaRDI QIDQ199007zbMATH OpenFDO

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
Minimal transition systems for history-preserving bisimulation Lecture Notes in Computer Science	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 Artificial Intelligence	2009-08-31	Paper
The planning spectrum - one, two, three, infinity (available as arXiv preprint)	2009-04-28	Paper
Analysis of Realizability Conditions for Web Service Choreographies Lecture Notes in Computer Science	2009-03-11	Paper
History Dependent Automata for Service Compatibility Concurrency, Graphs and Models	2008-06-19	Paper
Weak, strong, and strong cyclic planning via symbolic model checking Artificial Intelligence	2006-02-07	Paper
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus Theoretical Computer Science	2005-09-22	Paper
scientific article; zbMATH DE number 2087427 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2086516 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2086590 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1943790 (Why is no real title available?)	2003-07-01	Paper
scientific article; zbMATH DE number 1903365 (Why is no real title available?)	2003-05-01	Paper
A partition refinement algorithm for the \(\pi\)-calculus Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1759443 (Why is no real title available?)	2002-11-04	Paper
On the semantics of durational actions Theoretical Computer Science	2002-03-03	Paper
``Closed interval process algebra versus ``interval process algebra Acta Informatica	2001-08-20	Paper
scientific article; zbMATH DE number 1231616 (Why is no real title available?)	1999-01-06	Paper
scientific article; zbMATH DE number 1231595 (Why is no real title available?)	1998-12-21	Paper
scientific article; zbMATH DE number 1059331 (Why is no real title available?)	1998-02-26	Paper

Research outcomes over time

This page was built for person: Marco Pistore