Publications

2019

  • Jürgen Dix, Brian Logan, and Michael Winikoff. Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports, 9(3):52-63, 2019. doi:10.4230/DagRep.9.3.52
  • Michael Winikoff, Stephen Cranefield, Alistair Knott. An area in which we can take moral leadership, opinion piece in newsroom.co.nz on the banning of Lethal Autonomous Weapons Systems (LAWS). [published 25 July 2019]
  • Michael Winikoff. Towards Deriving Verification Properties. arXiv:1903.04159.
  • Tobias Ahlbrecht and Michael Winikoff, Explaining Aggregate Behaviour in Cognitive Agent Simulations using Explanation, 1st International Workshop on EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS2019), held at AAMAS.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (arXiv:1902.01131), 7th International workshop on Engineering Multi-Agent Systems (EMAS), held at AAMAS. (longer version of the Extended Abstract below)
  • Viviana Mascardi, Danny Weyns, Alessandro Ricci, et al. (~30 authors in total). Engineering Multi-Agent Systems: State of Affairs and the Road Ahead, ACM SIGSOFT Software Engineering Notes, January 2019, Volume 44, Number 1, pages 18-28. https://dl.acm.org/citation.cfm?id=3322175.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (Extended Abstract), Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS).

2018

2017

2016

2015

2014

2013

  • Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 2013,Revised Selected Papers. Edited by Massimo Cossentino, Amal El Fallah Seghrouchni and Michael Winikoff, Springer LNAI 8245, 2013. (doi:10.1007/978-3-642-45343-4)
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1137-1138, 2013.
  • Akın Günay, Pınar Yolum, and Michael Winikoff. Generating and Ranking Commitment Protocols (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1323-1324, 2013.
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs. First international workshop on Engineering Multi-Agent Systems. (revised extended version appears in the post-proceedings)
  • 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.
  • Michael Winikoff and Lin Padgham. Agent Oriented Software Engineering. Chapter 15 (pages 695-757) In G. Weiss (Ed.). Multiagent Systems. 2nd Edition. MIT Press. 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(6):684-694, 2013, Elsevier (Appeared online 2012)
    Note: the “Received 1 December” is incorrect – it was submitted 28th February 2011

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

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).
  • 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). © Springer-Verlag.
    Also available as RMIT school of computer science and information technology technical report TR-01-3 (PDF).

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. 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. 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, 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. Technical Report 98/11, Melbourne University, July 1998.
  • James Harland and Michael Winikoff, Making Logic Programs Reactive. 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. In Australasian Computer Science Conference, February 1998. (*)
  • Michael Winikoff, Analysing Modes and Subtypes in Z Specifications. Technical Report 98/2, Melbourne University, 1998

1997

1996

  • Michael Winikoff. Concurrent Programming in Lygon (Abstract). 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. 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. In Kotagiri Ramamohanarao, editor, Australasian Computer Science Conference, pages 262-271, February 1996.
  • Michael Winikoff. Hitch Hiker’s Guide to Lygon 0.7. 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

(*) Highest scoring paper submitted to the conference.