Mark d'Inverno

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
Specifying termination in CSP Theoretical Computer Science	2014-09-02	Paper
A CSP model with flexible parallel termination semantics Formal Aspects of Computing	2009-11-13	Paper
Transactions on Computational Systems Biology III Lecture Notes in Computer Science	2006-11-14	Paper
scientific article; zbMATH DE number 2090867 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 2090948 (Why is no real title available?)	2004-08-13	Paper
Plan analysis for autonomous sociological agents Lecture Notes in Computer Science	2004-08-04	Paper
Plan analysis for autonomous sociological agents Lecture Notes in Computer Science	2004-08-04	Paper
Autonomy: A nice idea in theory Lecture Notes in Computer Science	2004-08-04	Paper
Autonomy: A nice idea in theory Lecture Notes in Computer Science	2004-08-04	Paper
scientific article; zbMATH DE number 2037283 (Why is no real title available?)	2004-02-03	Paper
Understanding agent systems.	2003-12-30	Paper
Annotating cooperative plans with trusted agents Lecture Notes in Computer Science	2003-09-04	Paper
Annotating cooperative plans with trusted agents Lecture Notes in Computer Science	2003-09-04	Paper
Unifying agent systems Annals of Mathematics and Artificial Intelligence	2003-03-10	Paper
Unifying agent systems Annals of Mathematics and Artificial Intelligence	2003-03-10	Paper
Formal agent development: Framework to system Lecture Notes in Computer Science	2002-07-22	Paper
Understanding agent systems	2001-12-04	Paper
A conceptual framework for agent definition and development The Computer Journal. Section A Section B	2001-10-14	Paper
Engineering AgentSpeak(L): a formal computational model Journal Of Logic And Computation	1998-11-09	Paper

Research outcomes over time

This page was built for person: Mark d'Inverno