Sara Montagna, Andrea Omicini, Alessandro Ricci, and Mark d’Inverno. Modelling hematopoietic stem cell behaviour: An approach based on multi-agent systems. In Frank Allg¨ower and Matthias Reuss, editors, 2nd Conference “Foundations of Systems Biology in Engineering” (FOSBE 2007), pages 243–248, Stuttgart, Germany, 9–12 September 2007. Fraunhofer IBR Verlag.

Jon Bird, Mark d’Inverno and Jane Prophet, Net Work: Lessons from collaboratively designing an interactive artwork, International Conference on Generative Art, Milan, 2006.

F. Lopez y Lopez, M. Luck, and M. d’Inverno, A Normative Framework for Agent-Based Systems, in Proc. 1st International Symposium on Normative Multiagent Systems, 2005

Mark d’Inverno, John Eacott and Fredrik Olofsson, Towards Intelligent Responsive Sound, EVA Conference. University College London, London, 2005.

Mark dInverno and Jane Prophet. Creative conflict in Interdisciplinary Collaboration: interpretation, scale and emergence. In Ernest Edmonds and Ross Gibson, editors, Interaction: Systems, Theory and Practice, pages 251–270. ACM, 2004.

S. Munroe, M. Luck, and M. d’Inverno. Negotiation-Based Partner Selection. In Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, 1520-1521, 2004.

Mark d’Inverno, Henrik Lorstad, John Eacott, and Fredrik Oloffson. The intelligent street: Responsive sound environments for social interaction. ACM SIGCHI International Conference on Advances in Computer Entertainment Technology (ACE 02), pages 155-162, ACM, 2004.

R. Ashri, M. Luck, and Mark d’Inverno. A typology of relationships and goals for regulation and coordination. In Proceedings of the ECAI Workshop in Coordination in Emerging Agent Societies, Valencia, 2004.

R. Ashri, M. Luck, and Mark d’Inverno. Identifying opportunities and constraints for goal achievement through relationship analysis. In Proceedings of the Third International Conference on Autonomous Agents and Multi-Agent Systems, pages 1452-1453, 2004.

F. Lopez y Lopez, M. Luck, and M. d’Inverno. Normative agent reasoning in dynamic societies. In Proceedings of the Second International Conference on Autonomous Agents and Multi-Agent Systems, pages 732-737, 2004

R. Ashri, M. Luck and M. d’Inverno, On Identifying and Managing Relationships in Multi- Agent Systems, in Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 2003.

S. Munroe, M. Luck and M. d’Inverno, Towards a motivation-Based Approach for Evaluating Goals, Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, Australia, 2003.

F. Lopez y Lopez, M. Luck and M. d’Inverno, Constraining Autonomy through Norms, in Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, ACM Press, pages 674-681, 2002.

F. Lopez y Lopez, M. Luck and M. d’Inverno, A Conceptual Framework for Norm-based Inter-Agent Dependence, In Proceedings of the Third Mexican International Conference on Computer Science, 31-40, 2001.

F. Lopez y Lopez, M. Luck and M. d’Inverno, Constraining Autonomy through Norms, in Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, ACM Press, 674-681, 2001.

M. d’Inverno and J. Eacott, On Intelligent Embedded Ambient Music, Cybersonica, First Symposium on digital music and technology, Institute for Contemporary Arts, London, UK, 2001.

M. Luck and M. d’Inverno, Sociological Agents for Effective Social Action, In Proceedings of the Fifth International Conference on Multi-Agent Systems, IEEE Computer Society, 2000.

K. Hindriks, M. d’Inverno and M. Luck, Architecture for Agent Programming Languages in Proceedings of the 14th European Conference on Artificial Intelligence, Werner Horn (ed), IOS Press, 363-367, 2000.

M. d’Inverno, D. Kinny, and M. Luck. Interaction Protocols in Agentis. In Proceedings of the Third International Conference on Multi-Agent Systems, 112–119, IEEE Computer Society Press, Los Alamitos, CA, 1998.

M. d’Inverno and M. Luck. Development and Application of a Formal Agent Framework. In Proceedings of the First IEEE International Conference on Formal Engineering Methods, 222– 231, IEEE Press, New York NY, 1997.

M. d’Inverno, M. Luck and M. Wooldridge. Cooperation Structures. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 600–605, IJCAI, 1997.

M. d’Inverno and M. Luck. Understanding Autonomous Interaction. In ECAI ’96: Proceedings of the 12th European Conference on Artificial Intelligence, W. Wahlster (ed.), 529–533, John Wiley and Sons, 1996.

M. d’Inverno, G. R. Justo and P. Howells. A Formal Framework for Specifying Design Methodologies. In 29th Annual Hawaii International Conference on System Sciences, pages 741-750, IEEE Computer Society Press, 1996.

M. Luck and M. d’Inverno. A Formal Framework for Agency and Autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, 254–260, AAAI Press / MIT Press, 1995.

M. Luck and M. d’Inverno. Goal Generation and Adoption in Hierarchical Agent Models. In Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, World Scientific, 1995.

M. Luck and M. d’Inverno. Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. In ZUM’95: The Z Formal Specification Notation, 9th International Conference of Z Users, Jonathan Bowen and Mike Hinchey (eds.), Lecture Notes in Computer Science, 967, 47–62, Springer-Verlag, 1995.

M. d’Inverno and M. Priestley. Structuring a Z Specification to Provide a Unifying Framework for Hypertext Systems. In ZUM’95: 9th International Conference of Z Users, Lecture Notes in Computer Science, Bowen, J. P. and Hinchey, M. G. editors, Springer-Verlag, Heidelberg, pages 58-73, 1995.

M. d’Inverno and J. Crowcroft. Design, Specification and Implementation of an Interactive Conferencing System. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.