Publications

2013

• Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs. First international workshop on Engineering Multi-Agent Systems.
• Christopher Cheong and Michael Winikoff. A Comparison of Two Agent Interaction Design Approaches. Multiagent and Grid Systems (an international journal), volume 9, pages 1-44, 2013.
• Lin Padgham, John Thangarajah and Michael Winikoff. Prometheus Research Directions. In Onn Shehory and Arnon Sturm (Ed.). Research Directions in Agent-Oriented Software Engineering. Springer. To appear.
• Michael Winikoff and Lin Padgham. Agent Oriented Software Engineering. Chapter 15 (pages 695-757) In G. Weiss (Ed.). Multiagent Systems. 2nd Edition. MIT Press. To appear. ISBN 978-0-262-01889-0
• Minjie Hu, Michael Winikoff, and Stephen Cranefield. A Process for Novice Programming Using Goals and Plans. Fifteenth Australasian Computing Education Conference (ACE2013), part of the Australasian Computer Science Week 2013.
• Hoa Khanh Dam and Michael Winikoff. Towards a next-generation AOSE methodology. Science of Computer Programming, 78 (2013) 684-694, Elsevier (Appeared online 2012)
  Note: the "Received 1 December" is incorrect - it was submitted 28th February 2011

2012

• Michael Winikoff. Challenges and Directions for Engineering Multi-agent Systems. (written version of Dagstuhl talk), available as arXiv:1209.1428v1 [cs.MA]
• Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, Ed. Vincent Conitzer, Michael Winikoff, Wiebe van der Hoek, and Lin Padgham. Published by IFAAMAS (printed proceedings also available, ISBN-10: 0-9817381-3-3, ISBN-13: 978-0-9817381-3-0)
• Beatriz López, Aditya Ghose, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski, Michael Winikoff, and Stephen Cranefield. Energy-Aware Optimisation of Business Processes (Extended Abstract), poster at the Third international workshop on Agent Technologies for Energy Systems (ATES 2012), held at AAMAS 2012.
• Akin Gunay, Michael Winikoff and Pinar Yolum. Commitment Protocol Generation. 10th International Workshop on Declarative Agent Languages and Technologies (DALT), held at AAMAS 2012.
  Revised version published in the DALT post-proceedings (Springer LNAI 7784)
• Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Editted by C. Sakama, S. Sardina, W. Vasconcelos, M. Winikoff. Springer, LNCS 7169.
• Principles and Practice of Multi-Agent Systems: 13th International Conference, PRIMA 2010, Kolkata, India, November 2010, Revised Selected Papers. Editted by Nirmit Desai, Alan Liu, Michael Winikoff. Springer, LNAI 7057.
• Michael Winikoff, Nirmit Desai, Alan Liu. Introduction to special issue on Principles and Practice of Multi-Agent Systems. Multiagent and Grid Systems (an international journal), Volume 8, pages 125-126.
• Minjie Hu, Michael Winikoff, Stephen Cranefield. Teaching Novice Programming Using Goals and Plans in a Visual Notation. Fourteenth Australasian Computing Education Conference (ACE2012), part of the Australasian Computer Science Week 2012.

2011

• Swee-Kin Loke, Mark Lokman, Michael Winikoff, Jenny McDonald, Rob Wass, Maryam Purvis, Richard Zeng, Christoph Matthaei, & Peter Vlugter. Sustainable Mobile Learning: Experiences in a Zoology paper. Abstract presented at the 2011 Spotlight on Teaching and Learning, Otago University.
• Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, and Rainer Unland. Agent-Based Container Terminal Optimisation. Accepted to Ninth German Conference on Multi-Agent System Technologies (MATES), 2011.
• Stephen Cranefield, Michael Winikoff, Wamberto Vasconcelos. Modelling and monitoring interdependent expectations. 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN), held at AAMAS 2011.
  A revised version has appeared in the workshop's post-proceedings, pages 149-166 of Coordination, Organizations, Institutions, and Norms in Agent System VII, edited by Stephen Cranefield, M. Birna van Riemsdijk, Javier Vazquez-Salceda and Pablo Noriega, Springer, LNCS 7254, 2012.
• Michael Winikoff. An Integrated Formal Framework for Reasoning about Goal Interactions. 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011), held at AAMAS 2011.
  A revised version is in the post-proceedings of DALT.
• Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff. Rich Goal Types in Agent Programming [PDF]. Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011)
• Michael Winikoff, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland, Hanno-Felix Wagner, Thomas Young. Agent-Based Container Terminal Optimisation (extended abstract) [PDF]. Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). A full version of this paper was accepted to MATES 2011.
• Michael Winikoff. A Formal Framework for Reasoning about Goal Interactions (extended abstract) [PDF]. Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). A full version of this paper was accepted to DALT 2011.
• Hoa Khanh Dam and Michael Winikoff. An agent-oriented approach to change propagation in software maintenance. Journal of Autonomous Agents and Multi-Agent Systems, volume 23, issue 3 (2011), pages 384-452. doi:10.1007/s10458-010-9163-0
• Swee-Kin Loke, June Tordoff, Michael Winikoff, Jenny McDonald, Peter Vlugter, and Stephen Duffull. SimPharm: how pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. British Journal of Educational Technology (BJET), 42(5), 865-874. doi:10.1111/j.1467-8535.2010.01113.x (Note: this paper was accepted, and appeared online, in 2010)
• Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. Journal of Logic and Computation, 2011, 21(6):1217-1256. doi:10.1093/logcom/exq055 (Note: this paper was accepted, and appeared online, in 2010)

2010

• Simon Miles, Michael Winikoff, Stephen Cranefield, Cu D. Nguyen, Anna Perini, Paolo Tonella, Mark Harman, Michael Luck. Why testing autonomous agents is hard and what can be done about it. AOSE Technical Forum 2010 Working Paper.
• Michael Winikoff and Stephen Cranefield. On the testability of BDI agents. 8th European Workshop on Multi-Agent Systems (EUMAS2010).
• Swee-Kin Loke, Mark Lokman, Michael Winikoff, Jenny McDonald, Rob Wass, Maryam Purvis, Richard Zeng, Christoph Matthaei, and Peter Vlugter. Lessons in designing sustainable mobile learning environments, pages 565-569, In C. Steel, M.J. Keppell & P. Gerbic, Curriculum, technology & transformation for an unknown future. Proceedings ascilite Sydney 2010..
• Hoa Khanh Dam and Michael Winikoff. Supporting change propagation in UML models. 26th IEEE International Conference on Software Maintenance.
• Michael Winikoff, Mehdi Dastani, and M. Birna van Riemsdijk. A unified interaction-aware goal framework (poster), European Conference on Artificial Intelligence (ECAI), 2010.
• Michael Winikoff. Assurance of Agent Systems: What Role should Formal Verification play? Chapter 12 (pages 353-383) in "Specification and Verification of Multi-agent Systems". Edited by Mehdi Dastani, Koen V. Hindriks, and John-Jules Meyer. ISBN: 978-1-4419-6983-5.

2009

• Rennie, S., Loke, S. K., Blyth, P., Swan, J., Winikoff, M., Vlugter, P., Rudland, J., Cohen, A., Baxter, S., Hall, K., Tweed, M., Wilkinson, T., Dockerty, J., van Rij, A. & McDonald, J. (2009). Developing surgical decision making skills through dynamic branching short cases and reflection. In Same places, different spaces. Proceedings ascilite Auckland 2009.
• Zeng, R., McDonald, J., Cohen, A., Loke, S.K., Vlugter, P., Cone, T. & Winikoff, M. (2009). UniTube: Making media accessible for learning and teaching. In Same places, different spaces. Proceedings ascilite Auckland 2009.
• Joy R Rudland, Judith Swan, Phil Blyth, Jenny McDonald, Michael Winikoff, Swee Kin Loke, Richard Zeng, Ayelet Cohen (2009). Basic science alive: Linking science knowledge to clinical practice. In Same places, different spaces. Proceedings ascilite Auckland 2009.
• Loke, S. K., Duffull, S., McDonald, J., Tordoff, J., Vlugter, P., & Winikoff, M. (2009). SimPharm: authentic immersion and "reading the world" as a pharmacist. In Same places, different spaces. Proceedings ascilite Auckland 2009.
• David Poutakidis, Michael Winikoff, Lin Padgham, and Zhiyong Zhang. Debugging and Testing of Multi-Agent Systems using Design Artefacts, chapter 7 in "Multi-Agent Programming: Languages, Tools and Applications", edited by Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, and Amal El Fallah Seghrouchni, Springer, pages 215-258, 2009, ISBN: 978-0-387-89298-6, doi:10.1007/978-0-387-89299-3
• Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz Schmidt and Michael Winikoff. Change propagation analysis using domain information. Proceedings of the 20th Australian Software Engineering Conference (ASWEC), 2009.
• Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Edited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk and Michael Winikoff. Springer, LNAI 5397.
• Michael Winikoff Future Directions for Agent-Based Software Engineering. In the International Journal Agent-Oriented Software Engineering, Vol. 3, No. 4, pp. 402-410, 2009. doi:10.1504/IJAOSE.2009.515616
  (this is an expanded version of the position statement for the panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008)
• Christopher Cheong and Michael Winikoff. Hermes: Designing Flexible and Robust Agent Interactions. Chapter 5 in "Multi-Agent Systems - Semantics and Dynamics of Organizational Models", edited by Virginia Dignum. IGI. p105-139, 2009. ISBN: 1-60566-256-9
• Jason Khallouf and Michael Winikoff. Goal-Oriented Design of Agent Systems: A Refinement of Prometheus and its Evaluation. International Journal Agent-Oriented Software Engineering, Volume 3, Number 1, 2009, pages 88-112.

2008

• Michael Winikoff. Beyond Streaming Sages: Towards Pedagogically Sound Uses of Podcasting. Abstract and talk at Spotlight On Tertiary Teaching and Learning.
• Michael Winikoff. The Future of Agent-Based Software Engineering: Goals and Verification & Validation are Key. Position statement presented at the panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) which was held at AAMAS 2008.
• Lin Padgham, John Thangarajah, and Michael Winikoff. The Prometheus Design Tool - A Conference Management System Case Study. In Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers. Edited by Michael Luck and Lin Padgham. Springer, LNCS 4951, p197-211.
• Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers. Edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, and Michael Winikoff. Springer, LNAI 4908, doi:10.1007/978-3-540-79043-3
• Michael Winikoff and Stephen Cranefield. Eliciting Expectations for Monitoring Social Interactions International Conference on Computer Mediated Social Networking (ICCMSN).
  Revised version published as M. Purvis and B.T.R. Savarimuthu (Eds.): ICCMSN 2008. LNAI 5322, p. 171-185, 2009, Springer-Verlag.
• John Thangarajah, Lin Padgham and Michael Winikoff. Prometheus Design Tool, demonstration given at AAAI.
• Lin Padgham, Michael Winikoff, Scott DeLoach and Massimo Cossentino. A Unified Graphical Notation for AOSE. Ninth International Workshop on Agent Oriented Software Engineering (AOSE), held at AAMAS 2008
• Khanh Hoa Dam and Michael Winikoff. Evaluating an Agent-Oriented approach for Change Propagation. Ninth International Workshop on Agent Oriented Software Engineering (AOSE), held at AAMAS 2008
• Stephen Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. Fifth workshop on Coordination, Organization, Institutions and Norms (COIN), held at AAMAS 2008
  Revised version published in the workshop post-proceedings as: Verifying Social Expectations by Model Checking Truncated Paths, pages 204-219 in: Coordination, Organizations, Institutions and Norms in Agent Systems IV, Hubner, J.F.; Matson, E.; Boissier, O.; Dignum, V. (Eds.), Springer Lecture Notes in Computer Science (LNCS) volume 5428, 2009. doi: 10.1007/978-3-642-00443-8_14
• Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Edited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk and Michael Winikoff. Springer, LNAI 4897. doi:10.1007/978-3-540-77564-5
• Khanh Hoa Dam and Michael Winikoff. Cost-Based BDI Plan Selection for Change Propagation. Proceedings of the Seventh Joint International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008)
• M. Birna van Riemsdijk, Mehdi Dastani, and Michael Winikoff. Goals in Agent Systems: A Unifying Framework. Proceedings of the Seventh Joint International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008)

2007

• Michael Winikoff. Defining syntax and providing tool support for Agent UML using a textual notation, International Journal Agent-Oriented Software Engineering, Vol. 1, No. 2, pp.123-144, 2007. DOI:10.1504/IJAOSE.2007.014406
• Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current Issues in Multi-Agent Systems Development (Invited Paper). Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World. LNAI 4457, pages 38-61, 2007.
• Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham and Michael Winikoff. Open Agent Systems ???. Eighth International Workshop on Agent Oriented Software Engineering (AOSE), 2007. held at the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). (a revised version appears in the Springer post-proceedings)
• Khanh Hoa Dam and Michael Winikoff. Generation of Repair Plans for Change Propagation. Eighth International Workshop on Agent Oriented Software Engineering (AOSE), 2007. held at the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007). (a revised version appears in the Springer post-proceedings)
• Duc Q. Pham, James Harland and Michael Winikoff. Modelling Agents' Choices in Temporal Linear Logic. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007), held at the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007).
• Lin Padgham, John Thangarajah, Michael Winikoff. AUML Protocols and Code Generation in the Prometheus Design Tool. Demonstration given at the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007).
• Michael Winikoff. Implementing Commitment-Based Interactions. In the proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pages 873-880.
  © ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.
• Carles Sierra, John Thangarajah, Lin Padgham, and Michael Winikoff. Designing Institutional Multi-Agent System. In the post-proceedings of the 7th International Workshop on Agent Oriented Software Engineering (AOSE'06).

2006

• Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 2005, and Klagenfurt, Austria, October 2005, Revised Selected Papers. Edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, and Michael Winikoff. Springer, LNAI 3529. doi:10.1007/11916291
• Michael Winikoff. Designing Commitment-Based Agent Interactions. In the proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-06)
• Michael Winikoff. Implementing Flexible and Robust Agent Interactions using Distributed Commitment Machines. Multiagent and Grid Systems, Volume 2, Number 4, pages 365-381, 2006.
• Aloys Mbala, Lin Padgham and Michael Winikoff. Design Options for Subscription Managers, in post-proceedings of the workshop on Agent Oriented Information Systems. doi:10.1007/11916291_18.
  This is a revised and (slightly) expanded version of the paper that appeared in the workshop proceedings (in 2005).
• Gaya Jayatilleke, Lin Padgham and Michael Winikoff. A model driven development toolkit for domain experts to modify agent based systems, in 7th International Workshop on Agent Oriented Software Engineering (AOSE'06) held at AAMAS 2006.
• Gaya Jayatilleke, John Thangarajah, Lin Padgham and Michael Winikoff. Component Agent Framework for domain-Experts (CAFnE) Toolkit. Accepted as a demonstration given at The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-06).
• Khanh Hoa Dam, Michael Winikoff, and Lin Padgham. An agent-oriented approach to change propagation in software evolution. In Australian Software Engineering Conference (ASWEC 2006).
  Winner of the "Best Research Paper" award at ASWEC 2006
• Christopher Cheong and Michael Winikoff. Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. In Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications (SELMAS post-proceedings, published by Springer), LNCS 3914, doi:10.1007/11738817_12.

2005

• Lin Padgham, John Thangarajah, and Michael Winikoff. Tool Support for Agent Development using the Prometheus Methodology. First international workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005). September 2005, Melbourne, Australia.
• Jason Khallouf and Michael Winikoff. Towards Goal-Oriented Design of Agent Systems. First international workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005). September 2005, Melbourne, Australia.
• Michael Winikoff. Towards Making Agent UML Practical: A Textual Notation and a Tool. First international workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005). September 2005, Melbourne, Australia.
• Toan Phung, Michael Winikoff, and Lin Padgham. Learning within the BDI Framework: An Empirical Analysis. Proceedings of KES2005. (invited session on Comunicative Intelligence) http://dx.doi.org/10.1007/11553939_41
• Christopher Cheong and Michael Winikoff. Hermes: Designing Goal-Oriented Agent Interactions. Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005) held in Utrecht in July (at AAMAS05)
  doi:10.1007/11752660_2
• Michael Winikoff. An AgentSpeak Meta-Interpreter and its Applications. Proceedings of the Third international Workshop on Programming Multi-Agent Systems held in Utrecht in July (at AAMAS05). Also published in the post-proceedings (doi:10.1007/11678823_8)
• Christopher Cheong and Michael Winikoff. Hermes: Implementing Goal-Oriented Agent Interactions. In the proceedings of the Third international Workshop on Programming Multi-Agent Systems held in Utrecht in July (at AAMAS05). Also published in Springer LNCS 3862 doi:10.1007/11678823_11
• John Thangarajah, Lin Padgham, and Michael Winikoff. Prometheus Design Tool (system demonstration). In proceedings of the 4th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS05).
• Aloys Mbala, Lin Padgham, and Michael Winikoff. Design Options for Subscription Managers, in the proceedings of the Seventh International Bi-Conference Workshop on Agent-Oriented Information Systems held in Utrecht in July (at AAMAS05)
  A revised version appeared in the workshop post-proceedings.
• Agent-Oriented Information Systems II: 6th International Bi-Conference Workshop, AOIS 2004. Revised selected papers from the workshops held at Riga, Latvia, June 8, 2004 and New York, USA, July 20, 2004. Editors: Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low and Michael Winikoff. Springer, LNCS 3508. ISSN: 0302-9743 ISBN: 3-540-25911-2 doi:10.1007/b136434
• Christopher Cheong and Michael Winikoff. Hermes: A Methodology for Goal-Oriented Agent Interactions (poster). In proceedings of the 4th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS05).
• Michael Winikoff. JACK^TM Intelligent Agents: An Industrial Strength Platform. Chapter 7 in Multi-Agent Programming, edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah Seghrouchni, published by Springer, 2005, p175-193.
• Gaya Jayatilleke, Lin Padgham, and Michael Winikoff. Component Agent Framework for non-Experts (CAFnE) Toolkit. Chapter in Software Agent-Based Applications, Platforms and Development Kits, edited by Rainer Unland, Monique Calisti, and Matthias Klusch. A Birkhäuser book, ISBN: 3-7643-7347-4
• Gaya Buddhinath Jayatilleke, Lin Padgham, and Michael Winikoff. A Model Driven Component-Based Development Framework for Agents. In Computer Systems Science & Engineering, 20(4) (special issue on Best of MATES), July 2005.
• Lin Padgham, Michael Winikoff, and David Poutakidis. Adding Debugging Support to the Prometheus Methodology. Engineering Applications of Artificial Intelligence, special issue on Agent-oriented Software Development, Volume 18, Issue 2 , March 2005, Pages 173-190, doi:10.1016/j.engappai.2004.11.018.
• Lin Padgham and Michael Winikoff, Prometheus: A Practical Agent-Oriented Methodology. Chapter 5 in Agent-Oriented Methodologies, edited by B. Henderson-Sellers and P.Giorgini, published by Idea Group.
• Michael Winikoff, Wei Liu and James Harland, Enhancing Commitment Machines, in the post-proceedings of the workshop on Declarative Agent Languages and Technologies (DALT) held at AAMAS'04. (PDF), doi:10.1007/11493402_12
  (This paper is an expanded and revised version of the paper that appeared in the workshop proceedings).

2004

• Islam Elgedawy, Zahir Tari and Michael Winikoff, Exact Functional Context Matching for Web Services, 2nd International Conference on Service Oriented Computing (ICSOC04), November 2004, doi:10.1145/1035167.1035189.
• Islam Elgedawy, Zahir Tari and Michael Winikoff, Scenario Matching Using Functional Substitutability in Web Services, Web Information Systems Engineering (WISE), November 2004, doi:10.1007/b103344.
• Michael Winikoff and Lin Padgham, The Prometheus Methodology. Chapter 11 in "Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering handbook." Edited by Federico Bergenti, Marie-Pierre Gleizes and Franco Zambonelli. Kluwer Publishing, 1-4020-8057-3, July 2004.
• Gaya Buddhinath Jayatilleke, Lin Padgham and Michael Winikoff. Towards a Component-Based Development Framework for Agents, Second German Conference on Multiagent System Technologies (MATES 2004), doi:10.1007/b100991.
• Lin Padgham and Michael Winikoff. Developing Intelligent Agent Systems: A Practical Guide. June 2004, ISBN 0-470-86120-7, John Wiley and Sons.
• Agent-Oriented Information Systems: 5th International Bi-Conference Workshop, AOIS 2003. Revised selected papers from the workshops held at Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003. Editors: Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff. ISBN: 3-540-22127-1. Published by Springer-Verlag, LNAI 3030, doi:10.1007/b98189
• Michael Winikoff, Wei Liu and James Harland, Enhancing Commitment Machines, in the proceedings of the workshop on Declarative Agent Languages and Technologies (DALT) held at AAMAS'04, New York, July 19, 2004. (PDF)
  This paper is superceded by the revised and expanded version which appeared in the workshop post-proceedings.
• Ian Mathieson, Sandy Dance, Lin Padgham, Malcolm Gorman, Michael Winikoff, An Open Meteorological Alerting System: Issues and Solutions, in the proceedings of the 27th Australasian Computer Science Conference-04 held as part of the Australasian Computer Science Week, p351-358. (PDF)
• James Harland, Michael Winikoff, Agents via Mixed-mode Computation in Linear Logic, Annals of Mathematics and Artificial Intelligence, Special Issue on Computational Logic in Multi-Agent Systems, Volume 42, Issue 1-3, September 2004, Pages 167 - 196, doi:10.1023/B:AMAI.0000034526.31830.45.

2003

• David Poutakidis, Lin Padgham, and Michael Winikoff, An exploration of bugs and debugging in multi-agent systems in the proceedings of the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS 2003) (pdf, ps)
  Also published in Springer LNCS 2871 (doi:10.1007/b14019)
• Sandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff, A deployed multi agent system for meteorological alerts, in the proceedings of Agents At Work: Deployed Applications of Autonomous Agents and Multi-agent Systems, workshop at AAMAS03. (PDF)
• Lavindra Priyalal de Silva, Michael Winikoff, Wei Liu, Extending Agents by Transmitting Protocols in Open Systems, in the proceedings of the Challenges in Open Agent Systems '03 workshop held in Melbourne in July (at AAMAS03). (PDF)
• Khanh Hoa Dam, Michael Winikoff, Comparing Agent-Oriented Methodologies, in the proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems held in Melbourne in July (at AAMAS03). (PDF)
• John Thangarajah, Lin Padgham, Michael Winikoff. Detecting & Avoiding Interference Between Goals in Intelligent Agents, in the proceedings of the 18th International Joint Conference Conference on Artificial Intelligence, August, 2003. (PDF)
• John Thangarajah, Lin Padgham, Michael Winikoff, Detecting and Exploiting Positive Goal Interaction in Intelligent Agents. In the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS03)
  Available from http://doi.acm.org/10.1145/860575.860640
• Sandy Dance, Mal Gorman, Lin Padgham, Michael Winikoff, An evolving multi agent system for meteorological alerts: A deployed pilot system (poster). In the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS03)
  doi:10.1145/860575.860748
• David Poutakidis, Lin Padgham, Michael Winikoff, Debugging Multi-agent Systems (poster). In the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS03) (PDF,postscript)

2002

• Lin Padgham and Michael Winikoff, Prometheus: A Pragmatic Methodology for Engineering Intelligent Agents In the proceedings of the workshop on Agent-oriented methodologies at OOPSLA 2002. November 4, 2002, Seattle. (PDF)
• James Harland and Michael Winikoff Language Design Issues for Agents based on Linear Logic (Extended Abstract) In proceedings of the workshop on Computational Logic in Multi-Agent Systems (CLIMA'02), August 2002. (PDF,postscript)
  The version in the proceedings was typeset with a different font and takes up fifteen pages, but has identical content. (PDF, postscript)
• Lin Padgham and Michael Winikoff. Prometheus: A Methodology for Developing Intelligent Agents. In proceedings of the Third International Workshop on Agent-Oriented Software Engineering, at AAMAS'02.
  • The version that appeared in the workshop proceedings: PDF
  • The revised version: PDF © Springer-Verlag.
• Thomas Juan, Leon Sterling, and Michael Winikoff. Assembling Agent Oriented Software Engineering Methodologies from Features. In proceedings of the Third International Workshop on Agent-Oriented Software Engineering, at AAMAS'02. (PDF)
• Joshua Hutchison and Michael Winikoff. Flexibility and Robustness in Agent Interaction Protocols. Challenges in Open Agent Systems, workshop at AAMAS'02.
  • The version that appeared in the workshop proceedings: PDF
  • The revised (reduced) version that appeared in Springer-Verlag's Lecture Notes in Computer Science: PDF © Springer-Verlag.
• John Thangarajah, Michael Winikoff, Lin Padgham, and Klaus Fischer. Avoiding Resource Conflicts in Intelligent Agents, In F. van Harmelen (ed.): ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002. (PDF, Postscript)
• David Poutakidis, Lin Padgham, and Michael Winikoff. Debugging Multi-Agent Systems using Design Artifacts: The case of Interaction Protocols, in the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (PDF, postscript)
• Lin Padgham and Michael Winikoff, Prometheus: A Methodology for Developing Intelligent Agents (poster), In the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (Postscript)
• James Harland and Michael Winikoff. Agent Negotiation as Proof Search in Linear Logic (poster) In the proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002). July 15-19, 2002, Bologna, Italy. (PDF, Postscript)
• Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah. Declarative and Procedural Goals in Intelligent Agent Systems. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, 2002, Toulouse, France. (PDF, Postscript)
• Omer Rana, Michael Winikoff, Lin Padgham, and James Harland, Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids, Proceedings of the Australasian Conference on Computer Science, January, Melbourne, 2002. (PDF, Postscript)

2001

• James Harland and Michael Winikoff. Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001. (hyperref'ed PDF, PDF, Postscript).
• Michael Winikoff, Lin Padgham, and James Harland. Simplifying the Development of Intelligent Agents. In AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence. LNAI 2256, pages 557-568, Adelaide, December 2001. (PDF, postscript). © Springer-Verlag.
  Also available as RMIT school of computer science and information technology technical report TR-01-3 (PDF, postscript).

2000

• Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-Oriented Programming in Linear Logic: An Example. Poster in the proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI2000). Melbourne, Australia, August 28-September 1, 2000. Published as Lecture Notes in AI 1886, Mizoguchi & Slaney (eds.), Springer. (Postscript)
• James Harland, David Pym, and Michael Winikoff. Forward and Backward Chaining in Linear Logic (or PDF). Proceedings of the CADE-17 Workhop on Proof-Search in Type-Theoretic Systems, Pittsburgh, June, 2000. Published as Electronic Notes in Theoretical Computer Science, volume 37, 2000.
• James Harland, Tatjana Lutovac, and Michael Winikoff. Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic (or pdf). In proceedings of the First International Conference on Computational Logic (CL2000). London, 24-28 July 2000.
• James Harland, Tatjana Lutovac, and Michael Winikoff. On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic (or pdf), In proceedings of the Australasian Workshop on Computational Logic (AWCL), Australian National University, Canberra, 3-4 February 2000.
• Edmund Kazmierczak, Philip Dart, Leon Sterling and Michael Winikoff. Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 2 (2000), p251-273.

1998

• Ed. Kazmierczak, Michael Winikoff, and Philip Dart. Verifying Model Oriented Specifications through Animation. In Proceedings of the 5th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, December 1998.
• Ed Kazmierczak, Michael Winikoff and Philip Dart. Verifying model oriented specifications through animation (or pdf). Technical Report 98/11, Melbourne University, July 1998.
• James Harland and Michael Winikoff, Making Logic Programs Reactive (or pdf). In Proceedings of the JICSLP'98 Workshop on Transactions and Change in Logic Databases (Dynamics'98), p34-58, Manchester, June 1998.
  Published as Technical Report MIP-9808, Fakultat fur Mathematik und Informatik, Univesitat Passau.
• Michael Winikoff, Philip Dart, and Ed. Kazmierczak. Rapid Prototyping using Formal Specifications (or postscript or pdf) In Australasian Computer Science Conference, February 1998. (*)
• Michael Winikoff, Analysing Modes and Subtypes in Z Specifications (or pdf). Technical Report 98/2, Melbourne University, 1998

1997

• Michael Winikoff. Logic Programming with Linear Logic (or pdf). PhD thesis, University of Melbourne, 1997.

1996

• Michael Winikoff. Concurrent Programming in Lygon (Abstract) (PDF). In Proceedings of the Annual Postgraduate Conference, page 103. RMIT, Department of Computer Science, December 1996. Available as RMIT Computer Science Technical Report 96-36.
• James Harland, David Pym, and Michael Winikoff. Programming in Lygon: An Overview (or pdf). In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 391-405. Springer, July 1996.
• James Harland, David Pym, and Michael Winikoff. Programming in Lygon: A System Demonstration. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 599. Springer, July 1996.
• Michael Winikoff and James Harland. Some applications of the linear logic programming language Lygon. (or pdf) In Kotagiri Ramamohanarao, editor, Australasian Computer Science Conference, pages 262-271, February 1996.
• Michael Winikoff. Hitch Hiker's Guide to Lygon 0.7 (or postscript or pdf). Technical Report 96/36, Melbourne University, 1996.
• Michael Winikoff and James Harland. Deriving logic programming languages. Technical Report 95/26, Melbourne University, 1996.

1995 and earlier

• Michael Winikoff and James Harland. Implementing the linear logic programming language Lygon (or pdf). In John Lloyd, editor, International Logic Programming Symposium, pages 66-80, Portland, Oregon, December 1995. MIT Press.
• James Harland, David Pym, and Michael Winikoff. Programming in Lygon: A Brief Overview (or pdf). In John Lloyd, editor, International Logic Programming Symposium, page 636, Portland, Oregon, December 1995. MIT Press.
• Michael Winikoff and James Harland. Implementation and development issues for the linear logic programming language Lygon. (or pdf) In Australasian Computer Science Conference, pages 563-572, February 1995. (*)
• Michael Winikoff and James Harland. Deterministic resource management for the linear logic programming language Lygon. Technical Report 94/23, Melbourne University, 1994.
• Michael Winikoff, Strictness Analysis - Another Method (or pdf), Honours Thesis, Department of Computer Science, Melbourne University, 1993.

(*) Highest scoring paper submitted to the conference.