Michael Winikoff

163 papers A* 6A 40B 4C 3Journal 32Unranked 60

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Contrastive explanations of BDI agents. CoRR Michael Winikoff
2025	A	`conf`	A Scoresheet for Explainable AI. AAMAS Michael Winikoff, John Thangarajah, Sebastian Rodriguez
2025	J	`jnl`	A Scoresheet for Explainable AI. CoRR Michael Winikoff, John Thangarajah, Sebastian Rodriguez
2025	—	`conf`	Requirements-Based Explainability for Multi-agent Systems. AI (1) Sebastian Rodriguez, John Thangarajah, Michael Winikoff
2025	A	`conf`	Requirements-based Explainability for Multi Agent Systems. AAMAS Sebastian Rodriguez, John Thangarajah, Michael Winikoff
2024	A	`conf`	30 Years of Engineering Multi-Agent Systems: What and Why? AAMAS Michael Winikoff
2024	B	`conf`	Towards Engineering Explainable Autonomous Systems. EMAS Michael Winikoff
2023	A	`conf`	A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems. AAMAS Sebastian Rodriguez, John Thangarajah, Michael Winikoff
2023	A	`conf`	Evaluating a Mechanism for Explaining BDI Agent Behaviour. AAMAS Michael Winikoff, Galina Sidorenko
2023	—	`conf`	Evaluating a Mechanism for Explaining BDI Agent Behaviour. EXTRAAMAS Michael Winikoff, Galina Sidorenko
2023	—	`conf`	What Can I Do to Help You? HHAI Myrthe L. Tielman, M. Birna van Riemsdijk, Michael Winikoff
2022	—	`ed.`	Explainable and Transparent AI and Multi-Agent Systems - 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9-10, 2022, Revised Selected Papers EXTRAAMAS@AAMAS Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling
2022	A	`conf`	Testing Requirements via User and System Stories in Agent Systems. AAMAS Sebastian Rodriguez, John Thangarajah, Michael Winikoff, Dhirendra Singh
2022	A*	`conf`	Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). IJCAI Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum
2021	—	`ed.`	ACSW '21: 2021 Australasian Computer Science Week Multiconference, Dunedin, New Zealand, 1-5 February, 2021 ACSW Nigel Stanger, Brendon J. Woodford, Michael Winikoff, David M. Eyers, Veronica Liesaputra Joachim, Daniel Alencar da Costa, Andrew Trotman
2021	J	`jnl`	Artificial Intelligence and the Right to Explanation as a Human Right. IEEE Internet Comput. Michael Winikoff, Julija Sardelic
2021	—	`ed.`	Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers EXTRAAMAS@AAMAS Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling
2021	J	`jnl`	Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. Jürgen Dix, Brian Logan, Michael Winikoff
2021	A	`conf`	Summarising a Framework for the Certification of Reliable Autonomous Systems. AAMAS Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021	—	`conf`	The Advent of Digital Productivity Assistants: The Case of Microsoft MyAnalytics. HICSS Michael Winikoff, Jocelyn Cranefield, Jane Li, Cathal Doyle, Alexander Richter
2021	J	`jnl`	Towards a framework for certification of reliable autonomous systems. Auton. Agents Multi Agent Syst. Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2021	A	`conf`	User and System Stories: An Agile Approach for Managing Requirements in AOSE. AAMAS Sebastian Rodriguez, John Thangarajah, Michael Winikoff
2021	J	`jnl`	Why bad coffee? Explaining BDI agent behaviour with valuings. Artif. Intell. Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum
2020	—	`ed.`	Engineering Multi-Agent Systems - 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8-9, 2020, Revised Selected Papers EMAS@AAMAS Cristina Baroglio, Jomi Fred Hübner, Michael Winikoff
2020	—	`ed.`	Explainable, Transparent Autonomous Agents and Multi-Agent Systems - Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9-13, 2020, Revised Selected Papers EXTRAAMAS@AAMAS Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling
2020	J	`jnl`	Towards a Framework for Certification of Reliable Autonomous Systems. CoRR Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2019	J	`jnl`	Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports Jürgen Dix, Brian Logan, Michael Winikoff
2019	—	`conf`	Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation. EXTRAAMAS@AAMAS Tobias Ahlbrecht, Michael Winikoff
2019	A	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	—	`conf`	On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	J	`jnl`	On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi
2019	J	`jnl`	Towards Deriving Verification Properties. CoRR Michael Winikoff
2018	A	`conf`	A new Hierarchical Agent Protocol Notation. AAMAS Michael Winikoff, Nitin Yadav, Lin Padgham
2018	J	`jnl`	A new Hierarchical Agent Protocol Notation. Auton. Agents Multi Agent Syst. Michael Winikoff, Nitin Yadav, Lin Padgham
2018	—	`conf`	Slicing Agent Programs for More Efficient Verification. EMAS@AAMAS Michael Winikoff, Louise A. Dennis, Michael Fisher
2018	—	`conf`	Why Bad Coffee? Explaining Agent Plans with Valuings. SAFECOMP Workshops Michael Winikoff, Virginia Dignum, Frank Dignum
2017	A	`conf`	BDI Agent Testability Revisited (JAAMAS Extended Abstract). AAMAS Michael Winikoff
2017	J	`jnl`	BDI agent testability revisited. Auton. Agents Multi Agent Syst. Michael Winikoff
2017	A	`conf`	Debugging Agent Programs with Why?: Questions. AAMAS Michael Winikoff
2017	A*	`conf`	No Pizza for You: Value-based Plan Selection in BDI Agents. IJCAI Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum
2017	—	`conf`	Patient Information Model to Support Population-level Workload Analysis. ACIS Manjula Devananda, Stephen Cranefield, Hywel Lloyd, Michael Winikoff
2017	A	`ed.`	Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 AAMAS Kate Larson, Michael Winikoff, Sanmay Das, Edmund H. Durfee
2017	J	`jnl`	Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
2017	—	`conf`	Towards Trusting Autonomous Systems. EMAS@AAMAS Michael Winikoff
2017	—	`conf`	Workload Prediction Model of a Primary Health Centre. ECIS Manjula Devananda, Stephen Cranefield, Michael Winikoff, Hywel Lloyd
2016	J	`jnl`	Consistent merging of model versions. J. Syst. Softw. Hoa Khanh Dam, Alexander Egyed, Michael Winikoff, Alexander Reder, Roberto E. Lopez-Herrejon
2016	A	`conf`	Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract. AAMAS Akin Günay, Michael Winikoff, Pinar Yolum
2016	—	`conf`	How Testable Are BDI Agents? An Analysis of Branch Coverage. AAMAS Workshops (Selected Papers) Michael Winikoff
2016	—	`conf`	How Testable are BDI Agents? An Analysis of Branch Coverage. EMAS@AAMAS Michael Winikoff
2016	A	`conf`	How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract). AAMAS Michael Winikoff
2016	A	`conf`	Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
2015	A	`conf`	A Tool for Defining Agent Protocols in HAPN: (Demonstration). AAMAS Nitin Yadav, Lin Padgham, Michael Winikoff
2015	J	`jnl`	Dynamically generated commitment protocols in open systems. Auton. Agents Multi Agent Syst. Akin Günay, Michael Winikoff, Pinar Yolum
2015	A	`conf`	Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
2015	A*	`conf`	On the Testability of BDI Agent Systems (Extended Abstract). IJCAI Michael Winikoff, Stephen Cranefield
2014	A	`conf`	Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
2014	J	`jnl`	Extending Agents by Transmitting Protocols in Open Systems. CoRR Lavindra de Silva, Michael Winikoff, Wei Liu
2014	A	`conf`	Novice programmers' faults & failures in GOAL programs. AAMAS Michael Winikoff
2014	J	`jnl`	On the Testability of BDI Agent Systems. J. Artif. Intell. Res. Michael Winikoff, Stephen Cranefield
2014	—	`ch.`	Prometheus Research Directions. Agent-Oriented Software Engineering Lin Padgham, John Thangarajah, Michael Winikoff
2014	—	`conf`	Towards Energy-aware Optimisation of Business Processes. SMARTGREENS Beatriz López, Aditya K. Ghose, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski, Michael Winikoff, Stephen Cranefield
2013	J	`jnl`	A comparison of two agent interaction design approaches. Multiagent Grid Syst. Christopher Cheong, Michael Winikoff
2013	C	`conf`	A process for novice programming using goals and plans. ACE Minjie Hu, Michael Winikoff, Stephen Cranefield
2013	—	`ed.`	Engineering Multi-Agent Systems - First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers EMAS@AAMAS Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
2013	A	`conf`	Generating and ranking commitment protocols. AAMAS Akin Günay, Michael Winikoff, Pinar Yolum
2013	—	`conf`	Mutation Operators for the Goal Agent Language. EMAS@AAMAS Sharmila Savarimuthu, Michael Winikoff
2013	A	`conf`	Mutation operators for cognitive agent programs. AAMAS Sharmila Savarimuthu, Michael Winikoff
2013	J	`jnl`	Towards a next-generation AOSE methodology. Sci. Comput. Program. Hoa Khanh Dam, Michael Winikoff
2012	J	`jnl`	Challenges and Directions for Engineering Multi-agent Systems CoRR Michael Winikoff
2012	—	`conf`	Commitment Protocol Generation. DALT Akin Günay, Michael Winikoff, Pinar Yolum
2012	—	`ed.`	Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers DALT Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff
2012	A	`ed.`	International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) AAMAS Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff
2012	B	`ed.`	Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers PRIMA Nirmit Desai, Alan Liu, Michael Winikoff
2012	J	`jnl`	Principles and Practice of Multi-Agent Systems. Multiagent Grid Syst. Michael Winikoff, Nirmit Desai, Alan Liu
2011	A	`conf`	A formal framework for reasoning about goal interactions. AAMAS Michael Winikoff
2011	—	`conf`	Agent-Based Container Terminal Optimisation. MATES Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland
2011	A	`conf`	Agent-based container terminal optimisation. AAMAS Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland, Hanno-Felix Wagner, Michael Winikoff, Thomas Young
2011	—	`conf`	An Integrated Formal Framework for Reasoning about Goal Interactions. DALT Michael Winikoff
2011	J	`jnl`	An agent-oriented approach to change propagation in software maintenance. Auton. Agents Multi Agent Syst. Hoa Khanh Dam, Michael Winikoff
2011	—	`conf`	Modelling and Monitoring Interdependent Expectations. COIN@AAMAS&WI-IAT Stephen Cranefield, Michael Winikoff, Wamberto Weber Vasconcelos
2011	A	`conf`	Rich goal types in agent programming. AAMAS Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff
2011	J	`jnl`	SimPharm: How pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. Br. J. Educ. Technol. Swee-Kin Loke, June Tordoff, Michael Winikoff, Jenny McDonald, Peter Vlugter, Stephen B. Duffull
2011	J	`jnl`	Verifying social expectations by model checking truncated paths. J. Log. Comput. Stephen Cranefield, Michael Winikoff
2010	A	`conf`	A unified interaction-aware goal framework. ECAI Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk
2010	—	`conf`	Supporting change propagation in UML models. ICSM Hoa Khanh Dam, Michael Winikoff
2009	—	`conf`	Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff
2009	—	`ch.`	Debugging and Testing of Multi-Agent Systems using Design Artefacts. Multi-Agent Programming, Languages, Tools and Applications David Poutakidis, Michael Winikoff, Lin Padgham, Zhiyong Zhang
2009	—	`ed.`	Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers DALT Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
2009	J	`jnl`	Future directions for agent-based software engineering. Int. J. Agent Oriented Softw. Eng. Michael Winikoff
2009	—	`ch.`	Hermes: Designing Flexible and Robust Agent Interactions. Handbook of Research on Multi-Agent Systems Christopher Cheong, Michael Winikoff
2009	J	`jnl`	The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. Int. J. Agent Oriented Softw. Eng. Jason Khallouf, Michael Winikoff
2008	—	`conf`	A Unified Graphical Notation for AOSE. AOSE Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino
2008	—	`conf`	Cost-based BDI plan selection for change propagation. AAMAS (1) Khanh Hoa Dam, Michael Winikoff
2008	—	`ed.`	Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers DALT Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
2008	—	`conf`	Eliciting Expectations for Monitoring Social Interactions. ICCNSM Michael Winikoff, Stephen Cranefield
2008	—	`conf`	Evaluating an Agent-Oriented Approach for Change Propagation. AOSE Khanh Hoa Dam, Michael Winikoff
2008	—	`conf`	Goals in agent systems: a unifying framework. AAMAS (2) M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff
2008	—	`ed.`	Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers ProMAS Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
2008	A*	`conf`	Prometheus Design Tool. AAAI Lin Padgham, John Thangarajah, Michael Winikoff
2008	—	`conf`	Verifying Social Expectations by Model Checking Truncated Paths. COIN@AAMAS&AAAI Stephen Cranefield, Michael Winikoff
2007	A	`conf`	AUML protocols and code generation in the Prometheus design tool. AAMAS Lin Padgham, John Thangarajah, Michael Winikoff
2007	J	`jnl`	Defining syntax and providing tool support for Agent UML using a textual notation. Int. J. Agent Oriented Softw. Eng. Michael Winikoff
2007	—	`conf`	Generation of Repair Plans for Change Propagation. AOSE Khanh Hoa Dam, Michael Winikoff
2007	A	`conf`	Implementing commitment-based interactions. AAMAS Michael Winikoff
2007	—	`conf`	Modeling Agents' Choices in Temporal Linear Logic. DALT Duc Quang Pham, James Harland, Michael Winikoff
2007	—	`conf`	Open Agent Systems??? AOSE Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff
2007	—	`conf`	The Prometheus Design Tool - A Conference Management System Case Study. AOSE Lin Padgham, John Thangarajah, Michael Winikoff
2006	—	`ed.`	Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers AOIS Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff
2006	—	`conf`	An agent-oriented approach to change propagation in software evolution. ASWEC Khanh Hoa Dam, Michael Winikoff, Lin Padgham
2006	A	`conf`	Component Agent Framework for domain-Experts (CAFnE) toolkit. AAMAS Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff
2006	—	`conf`	Current Issues in Multi-Agent Systems Development. ESAW Rafael H. Bordini, Mehdi Dastani, Michael Winikoff
2006	—	`conf`	Designing Commitment-Based Agent Interactions. IAT Michael Winikoff
2006	—	`conf`	Designing Institutional Multi-Agent Systems. AOSE Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff
2006	—	`conf`	Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. AOSE Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff
2006	J	`jnl`	Implementing flexible and robust agent interactions using Distributed Commitment Machines. Multiagent Grid Syst. Michael Winikoff
2005	J	`jnl`	A model driven component-based development framework for agents. Comput. Syst. Sci. Eng. Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff
2005	J	`jnl`	Adding debugging support to the Prometheus methodology. Eng. Appl. Artif. Intell. Lin Padgham, Michael Winikoff, David Poutakidis
2005	—	`ed.`	Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers AOIS Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff
2005	—	`conf`	An AgentSpeak Meta-interpreter and Its Applications. PROMAS Michael Winikoff
2005	—	`conf`	Design Options for Subscription Managers. AOIS Aloys Mbala, Lin Padgham, Michael Winikoff
2005	—	`conf`	Hermes: Designing Goal-Oriented Agent Interactions. AOSE Christopher Cheong, Michael Winikoff
2005	—	`conf`	Hermes: Implementing Goal-Oriented Agent Interactions. PROMAS Christopher Cheong, Michael Winikoff
2005	A	`conf`	Hermes: a methodology for goal oriented agent interactions. AAMAS Christopher Cheong, Michael Winikoff
2005	—	`conf`	Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. SELMAS (LNCS) Christopher Cheong, Michael Winikoff
2005	—	`ch.`	JACK Multi-Agent Programming Michael Winikoff
2005	—	`conf`	Learning Within the BDI Framework: An Empirical Analysis. KES (3) Bao Toan Phung, Michael Winikoff, Lin Padgham
2005	A	`conf`	Prometheus design tool. AAMAS John Thangarajah, Lin Padgham, Michael Winikoff
2005	—	`conf`	Tool Support for Agent Development using the Prometheus Methodology. QSIC Lin Padgham, John Thangarajah, Michael Winikoff
2005	—	`conf`	Towards Goal-Oriented Design of Agent Systems. QSIC Jason Khallouf, Michael Winikoff
2005	—	`conf`	Towards Making Agent UML Practical: A Textual Notation and a Tool. QSIC Michael Winikoff
2004	—	`ed.`	Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers AOIS Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff
2004	J	`jnl`	Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. James Harland, Michael Winikoff
2004	—	`book`	Developing intelligent agent systems - a practical guide. Lin Padgham, Michael Winikoff
2004	—	`conf`	Enhancing Commitment Machines. DALT Michael Winikoff, Wei Liu, James Harland
2004	A	`conf`	Exact functional context matching for web services. ICSOC Islam Elgedawy, Zahir Tari, Michael Winikoff
2004	B	`conf`	Scenario Matching Using Functional Substitutability in Web Services. WISE Islam Elgedawy, Zahir Tari, Michael Winikoff
2004	—	`conf`	Towards a Component-Based Development Framework for Agents. MATES Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff
2003	C	`conf`	An Exploration of Bugs and Debugging in Multi-agent Systems. ISMIS David Poutakidis, Lin Padgham, Michael Winikoff
2003	A	`conf`	An evolving multi agent system for meteorological alerts. AAMAS Sandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff
2003	A	`conf`	An exploration of bugs and debugging in multi-agent systems. AAMAS David Poutakidis, Lin Padgham, Michael Winikoff
2003	—	`conf`	Comparing Agent-Oriented Methodologies. AOIS Khanh Hoa Dam, Michael Winikoff
2003	A*	`conf`	Detecting & Avoiding Interference Between Goals in Intelligent Agents. IJCAI John Thangarajah, Lin Padgham, Michael Winikoff
2003	A	`conf`	Detecting & exploiting positive goal interaction in intelligent agents. AAMAS John Thangarajah, Lin Padgham, Michael Winikoff
2002	A	`conf`	Agent negotiation as proof search in linear logic. AAMAS James Harland, Michael Winikoff
2002	—	`conf`	Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. ACSC Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland
2002	—	`conf`	Assembling Agent Oriented Software Engineering Methodologies from Features. AOSE Thomas Juan, Leon Sterling, Michael Winikoff
2002	A	`conf`	Avoiding Resource Conflicts in Intelligent Agents. ECAI John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer
2002	A	`conf`	Debugging multi-agent systems using design artifacts: the case of interaction protocols. AAMAS David Poutakidis, Lin Padgham, Michael Winikoff
2002	A*	`conf`	Declarative & Procedural Goals in Intelligent Agent Systems. KR Michael Winikoff, Lin Padgham, James Harland, John Thangarajah
2002	—	`conf`	Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA James Harland, Michael Winikoff
2002	—	`conf`	Prometheus: A Methodology for Developing Intelligent Agents. AOSE Lin Padgham, Michael Winikoff
2002	A	`conf`	Prometheus: a methodology for developing intelligent agents. AAMAS Lin Padgham, Michael Winikoff
2001	—	`conf`	Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence Michael Winikoff, Lin Padgham, James Harland
2000	B	`conf`	Agent-Oriented Programming in Linear Logic: An Example. PRICAI Abdullah-Al Amin, Michael Winikoff, James Harland
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. ARW James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic James Harland, Tatjana Lutovac, Michael Winikoff
2000	J	`jnl`	Verifying Requirements Through Mathematical Modelling and Animation. Int. J. Softw. Eng. Knowl. Eng. Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff
1998	C	`conf`	Verifying Model Oriented Specifications through Animation. APSEC Edmund Kazmierczak, Michael Winikoff, Philip W. Dart
1996	—	`conf`	Programming in Lygon: A System Demonstration. AMAST James Harland, David J. Pym, Michael Winikoff
1996	—	`conf`	Programming in Lygon: An Overview. AMAST James Harland, David J. Pym, Michael Winikoff
1995	—	`conf`	Implementing the Linear Logic Programming Language Lygon. ILPS Michael Winikoff, James Harland
1995	—	`conf`	Programming in Lygon: A Brief Overview. ILPS James Harland, David J. Pym, Michael Winikoff