Accessibility Skip to Global Navigation Skip to Local Navigation Skip to Content Skip to Search Skip to Site Map Menu

Full List of Publications by Michael Winikoff

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

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

1996

1995 and earlier

(*) Highest scoring paper submitted to the conference.