Ingo Roeder and Mark d'Inverno, New experimental and
theoretical investigations of hematopoietic stem cells and
chronic myeloid leukemia, Blood cells, molecules &
diseases, 43(1), 88-97, 2009.
Paul Howells and Mark d’Inverno, A CSP model with flexible
parallel termination semantics, Formal Aspects of Computer
Science, 21(5), pages 421-449, 2009.
Jon Bird, Mark d’Inverno and Jane Prophet, Net Work: An
Interactive Artwork Designed Using an Interdisciplinary
Collaborative Approach, Special Issue on Computational
Models of Creativity in the Arts, Journal of Digital
Creativity, Vol. 18(1), 1123, 2007.
Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio
Corradini, Mark dInverno, Andreas Doms, Phillip Lord,
Andrew Martin, Luciano Milanesi, Steffen Moller, Michael
Schroeder and Michael Luck, Agents in bioinformatics,
computational and systems biology, Briefings in
Bioinformatics, 8(1), 45-59, 2007.
Fabiola Lopez y Lopez, Michael Luck and Mark dInverno, A
normative framework for agent based systems, Computational
& Mathematical Organization Theory, Volume 12(2 - 3),
pages 227-250, 2005.
R. Ashri, M. Luck and M. d’Inverno, From SMART to agent
systems development, Engineering Applications of Artificial
Intelligence, 18(2), 129-140, 2005.
M. d’Inverno, M. Luck, M. Georgeff, D. Kinny, and M.
Wooldridge, The dMARS architecture: A specification of the
distributed multi-agent reasoning system, Autonomous Agents
and Multi-Agent Systems, 9(1-2):5-53, 2004.
N. D. Theise and M. d’Inverno, Understanding cell lineages
as complex adaptive systems, Blood, Cells, Molecules and
Diseases, 32:17-20, 2004.
J. Eacott and M. d’Inverno, Intelligent Embedded Ambient
Music, Journal of Digital Creativity, Volume 14, Issue 2,
pages 67-73, Swets and Zeitlinger, 2003.
M. d’Inverno and M. Luck, The Current State of Multi-Agent
Systems Research, The Knowledge Engineering Review,
Cambridge University Press, 17:3, 289-295, 2003.
M. Luck and M. d’Inverno, Unifying Agent Systems, Annals of
Mathematics and Artificial Intelligence, Special Issue on
Computational Logic in Multi-Agent Systems, 37(1-2):
131-167, 2002.
M. d’Inverno. M. Hu, P. Howells and M. Luck, Soft-Link
Hypertext for Information Retrieval, Information and
Software Technology, 44(2), 101-112. 2002.
M. d’Inverno and M. Luck, Multi-Agent Systems Research into
the 21st Century, The Knowledge Engineering Review,
Cambridge University Press, 16(3), 271-275, 2001.
M. Luck and M. d’Inverno, A Conceptual Framework for Agent
Definition and Development, The Computer Journal, 44(1),
1-20, 2001.
M. d’Inverno and M. Luck, Learning in Multi-Agent Systems,
Knowledge Engineering Review, 16(3), 277-284, 2001.
M. Beer, M. d’Inverno, N. Jennings, M. Luck, C. Preist and
M. Schroeder. Argumentation and Negotiation, Knowledge
Engineering Review, 14(3), 285-289, 1999.
G. Justo, P. Howells and M. d’Inverno, Formalising
high-performance systems methodologies, Systems
Architecture, 45, 441-46, 1999.
M. d’Inverno and M. Luck, Engineering AgentSpeak(L): A
Formal Computational Model, Journal of Logic and
Computation, 8(3), 233-260, 1998.
M. Luck, M. d’Inverno and M. Fisher and FoMAS’97
Contributors, Foundations of Multi-Agent Systems:
Techniques, Tools and Theory. The Knowledge Engineering
Review, 3(3), 297-302, 1998.
M. d’Inverno, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan
and M. Wooldridge, Formalisms for Multi-Agent Systems,
Knowledge Engineering Review, (12)(3), 315–321, 1997.
M. d’Inverno, M. Priestley and M. Luck, A Formal Framework
for Hypertext Systems, IEE Proceedings on Software
Engineering, 144(3), 175–184, 1997. M. d’Inverno, G. R.
Justo and P. Howells. A formal framework for specifying
design methodologies, Software Process: Improvement and
Practice, 2(3):181–195, September, 1996.