Accepted for Publication
Paul Howells and Mark d’Inverno, Flexible Termination Semantics in CSP, Theoretical Computer Science.
Bruno Zamborlin, Marco Gillies, Frederic Bevilacqua and Mark d’Inverno, Fluid Gesture Interaction Design, ACM Transactions of Intelligent Interactive Systems.
Published
Creativity in Autonomy and Interaction, Mark d’Inverno and Michael Luck, Cognitive Science, 4(3): 332-346, 2012, 2012.
A framework for communication in open systems, Mark d’Inverno, Michael Luck, Pablo Noriega, Juan Rodriguez-Aguilar and Carles Sierra, Artificial Intelligence, vol 186, pages 38-94, 2012.
Analysis and Exploitation of Musician Social Networks for Recommendation and Discovery, Ben Fields, Kurt Jacobson, Christophe Rhodes, Mark d’Inverno, Mark Sandler and Michael Casey, IEEE Transactions on Multimedia 13(4): 674-686, 2011.
Simon Dixon, Mark Sandler, Mark d’Inverno and Christophe Rhodes, Towards a Distributed Research Environment for Music Informatics and Computational Musicology, Accepted for Publication, Journal of New Music Research, Vol. 39, No. 4, pp. 291–294, 2010.
Chris Cannam, Mark Sandler, Michael O. Jewell, Christophe Rhodes and Mark d'Inverno, Linked Data And You: Bringing music research software into the Semantic Web, Journal of New Music Research 2010, Vol. 39, No. 4, 2010.
Christophe Rhodes, Tim Crawford, Michael Casey and Mark d'Inverno, Investigating Music Collections at Different Scales with AudioDB, Accepted for Publication, Journal of New Musical Research, Journal of New Music Research, Vol. 39, No. 4, pp. 291–294, 2010.
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.
Mark d'Inverno, Carles Sierra, Franco Zambonelli, Michael Luck and Steven Willmott: Best Papers From Eumas 2003: The 1st European Workshop On Multi-Agent Systems. Applied Artificial Intelligence 18(9-10): 775-778, 2004.
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.