Programming in Lygon: A Brief Overview. - James Harland; David J. Pym; Michael Winikoff (ILPS, 1995)

Implementing the Linear Logic Programming Language Lygon. - Michael Winikoff; James Harland (ILPS, 1995)

Programming in Lygon: An Overview. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Programming in Lygon: A System Demonstration. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Verifying Model Oriented Specifications through Animation. - Edmund Kazmierczak; Michael Winikoff; Philip W. Dart (APSEC, 1998)

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. - James Harland; Tatjana Lutovac; Michael Winikoff (Computational Logic, 2000)

Agent-Oriented Programming in Linear Logic: An Example. - Abdullah-Al Amin; Michael Winikoff; James Harland (PRICAI, 2000)

Forward and Backward Chaining in Linear Logic. - James Harland; David J. Pym; Michael Winikoff (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

Verifying Requirements Through Mathematical Modelling and Animation. - Edmund Kazmierczak; Philip W. Dart; Leon Sterling; Michael Winikoff (Int. J. Softw. Eng. Knowl. Eng., 2000)

Simplifying the Development of Intelligent Agents. - Michael Winikoff; Lin Padgham; James Harland (Australian Joint Conference on Artificial Intelligence, 2001)

Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. - Omer F. Rana; Michael Winikoff; Lin Padgham; James Harland (ACSC, 2002)

Assembling Agent Oriented Software Engineering Methodologies from Features. - Thomas Juan; Leon Sterling; Michael Winikoff (AOSE, 2002)

Prometheus: A Methodology for Developing Intelligent Agents. - Lin Padgham; Michael Winikoff (AOSE, 2002)

Agent negotiation as proof search in linear logic. - James Harland; Michael Winikoff (AAMAS, 2002)

Debugging multi-agent systems using design artifacts: the case of interaction protocols. - David Poutakidis; Lin Padgham; Michael Winikoff (AAMAS, 2002)

Avoiding Resource Conflicts in Intelligent Agents. - John Thangarajah; Michael Winikoff; Lin Padgham; Klaus Fischer 001 (ECAI, 2002)

Declarative & Procedural Goals in Intelligent Agent Systems. - Michael Winikoff; Lin Padgham; James Harland; John Thangarajah (KR, 2002)

Language Design Issues for Agents based on Linear Logic (Extended Abstract). - James Harland; Michael Winikoff (CLIMA, 2002)

Comparing Agent-Oriented Methodologies. - Khanh Hoa Dam; Michael Winikoff (AOIS, 2003)

An evolving multi agent system for meteorological alerts. - Sandy Dance; Malcolm Gorman; Lin Padgham; Michael Winikoff (AAMAS, 2003)

Detecting & exploiting positive goal interaction in intelligent agents. - John Thangarajah; Lin Padgham; Michael Winikoff (AAMAS, 2003)

Detecting & Avoiding Interference Between Goals in Intelligent Agents. - John Thangarajah; Lin Padgham; Michael Winikoff (IJCAI, 2003)

An Exploration of Bugs and Debugging in Multi-agent Systems. - David Poutakidis; Lin Padgham; Michael Winikoff (ISMIS, 2003)

Developing intelligent agent systems - a practical guide. - Lin Padgham; Michael Winikoff (Wiley, 2004)

Enhancing Commitment Machines. - Michael Winikoff; Wei Liu 006; James Harland (DALT, 2004)

Exact functional context matching for web services. - Islam Elgedawy; Zahir Tari; Michael Winikoff (ICSOC, 2004)

Towards a Component-Based Development Framework for Agents. - Gaya Buddhinath Jayatilleke; Lin Padgham; Michael Winikoff (MATES, 2004)

Scenario Matching Using Functional Substitutability in Web Services. - Islam Elgedawy; Zahir Tari; Michael Winikoff (WISE, 2004)

Agents via Mixed-Mode Computation in Linear Logic. - James Harland; Michael Winikoff (Ann. Math. Artif. Intell., 2004)

JACKTM Intelligent Agents: An Industrial Strength Platform. - Michael Winikoff (Multi-Agent Programming, 2005)

Design Options for Subscription Managers. - Aloys Mbala; Lin Padgham; Michael Winikoff (AOIS, 2005)

Hermes: Designing Goal-Oriented Agent Interactions. - Christopher Cheong; Michael Winikoff (AOSE, 2005)

Hermes: a methodology for goal oriented agent interactions. - Christopher Cheong; Michael Winikoff (AAMAS, 2005)

Learning Within the BDI Framework: An Empirical Analysis. - Bao Toan Phung; Michael Winikoff; Lin Padgham (KES (3), 2005)

Hermes: Implementing Goal-Oriented Agent Interactions. - Christopher Cheong; Michael Winikoff (PROMAS, 2005)

An AgentSpeak Meta-interpreter and Its Applications. - Michael Winikoff (PROMAS, 2005)

Towards Goal-Oriented Design of Agent Systems. - Jason Khallouf; Michael Winikoff (QSIC, 2005)

Tool Support for Agent Development using the Prometheus Methodology. - Lin Padgham; John Thangarajah; Michael Winikoff (QSIC, 2005)

Towards Making Agent UML Practical: A Textual Notation and a Tool. - Michael Winikoff (QSIC, 2005)

Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. - Christopher Cheong; Michael Winikoff (SELMAS (LNCS), 2005)

A model driven component-based development framework for agents. - Gaya Buddhinath Jayatilleke; Lin Padgham; Michael Winikoff (Comput. Syst. Sci. Eng., 2005)

Adding debugging support to the Prometheus methodology. - Lin Padgham; Michael Winikoff; David Poutakidis (Eng. Appl. Artif. Intell., 2005)

Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. - Gaya Buddhinath Jayatilleke; Lin Padgham; Michael Winikoff (AOSE, 2006)

Designing Institutional Multi-Agent Systems. - Carles Sierra; John Thangarajah; Lin Padgham; Michael Winikoff (AOSE, 2006)

An agent-oriented approach to change propagation in software evolution. - Khanh Hoa Dam; Michael Winikoff; Lin Padgham (ASWEC, 2006)

Component Agent Framework for domain-Experts (CAFnE) toolkit. - Gaya Buddhinath Jayatilleke; John Thangarajah; Lin Padgham; Michael Winikoff (AAMAS, 2006)

Current Issues in Multi-Agent Systems Development. - Rafael H. Bordini; Mehdi Dastani; Michael Winikoff (ESAW, 2006)

Designing Commitment-Based Agent Interactions. - Michael Winikoff (IAT, 2006)

Implementing flexible and robust agent interactions using Distributed Commitment Machines. - Michael Winikoff (Multiagent Grid Syst., 2006)

Generation of Repair Plans for Change Propagation. - Khanh Hoa Dam; Michael Winikoff (AOSE, 2007)

Open Agent Systems??? - Frank Dignum; Virginia Dignum; John Thangarajah; Lin Padgham; Michael Winikoff (AOSE, 2007)

The Prometheus Design Tool - A Conference Management System Case Study. - Lin Padgham; John Thangarajah; Michael Winikoff (AOSE, 2007)

AUML protocols and code generation in the Prometheus design tool. - Lin Padgham; John Thangarajah; Michael Winikoff (AAMAS, 2007)

Implementing commitment-based interactions. - Michael Winikoff (AAMAS, 2007)

Modeling Agents' Choices in Temporal Linear Logic. - Duc Quang Pham; James Harland; Michael Winikoff (DALT, 2007)

Defining syntax and providing tool support for Agent UML using a textual notation. - Michael Winikoff (Int. J. Agent Oriented Softw. Eng., 2007)

Prometheus Design Tool. - Lin Padgham; John Thangarajah; Michael Winikoff (AAAI, 2008)

Evaluating an Agent-Oriented Approach for Change Propagation. - Khanh Hoa Dam; Michael Winikoff (AOSE, 2008)

A Unified Graphical Notation for AOSE. - Lin Padgham; Michael Winikoff; Scott A. DeLoach; Massimo Cossentino (AOSE, 2008)

Cost-based BDI plan selection for change propagation. - Khanh Hoa Dam; Michael Winikoff (AAMAS (1), 2008)

Goals in agent systems: a unifying framework. - M. Birna van Riemsdijk; Mehdi Dastani; Michael Winikoff (AAMAS (2), 2008)

Eliciting Expectations for Monitoring Social Interactions. - Michael Winikoff; Stephen Cranefield (ICCNSM, 2008)

Hermes: Designing Flexible and Robust Agent Interactions. - Christopher Cheong; Michael Winikoff (Handbook of Research on Multi-Agent Systems, 2009)

Debugging and Testing of Multi-Agent Systems using Design Artefacts. - David Poutakidis; Michael Winikoff; Lin Padgham; Zhiyong Zhang (Multi-Agent Programming, Languages, Tools and Applications, 2009)

Change Propagation Analysis Using Domain Information. - Amir Aryani; Ian D. Peake; Margaret Hamilton 001; Heinz W. Schmidt; Michael Winikoff (Australian Software Engineering Conference, 2009)

The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. - Jason Khallouf; Michael Winikoff (Int. J. Agent Oriented Softw. Eng., 2009)

Future directions for agent-based software engineering. - Michael Winikoff (Int. J. Agent Oriented Softw. Eng., 2009)

A unified interaction-aware goal framework. - Michael Winikoff; Mehdi Dastani; M. Birna van Riemsdijk (ECAI, 2010)

Supporting change propagation in UML models. - Hoa Khanh Dam; Michael Winikoff (ICSM, 2010)

Modelling and Monitoring Interdependent Expectations. - Stephen Cranefield; Michael Winikoff; Wamberto Weber Vasconcelos (COIN@AAMAS&WI-IAT, 2011)

Rich goal types in agent programming. - Mehdi Dastani; M. Birna van Riemsdijk; Michael Winikoff (AAMAS, 2011)

A formal framework for reasoning about goal interactions. - Michael Winikoff (AAMAS, 2011)

An Integrated Formal Framework for Reasoning about Goal Interactions. - Michael Winikoff (DALT, 2011)

Agent-Based Container Terminal Optimisation. - Michael Winikoff; Hanno-Felix Wagner; Thomas Young; Stephen Cranefield; Roger Jarquin; Guannan Li; Brent Martin; Rainer Unland (MATES, 2011)

An agent-oriented approach to change propagation in software maintenance. - Hoa Khanh Dam; Michael Winikoff (Auton. Agents Multi Agent Syst., 2011)

SimPharm: How pharmacy students made meaning of a clinical case differently in paper- and simulation-based workshops. - Swee-Kin Loke; June Tordoff; Michael Winikoff; Jenny McDonald; Peter Vlugter; Stephen B. Duffull (Br. J. Educ. Technol., 2011)

Verifying social expectations by model checking truncated paths. - Stephen Cranefield; Michael Winikoff (J. Log. Comput., 2011)

Commitment Protocol Generation. - Akin Günay; Michael Winikoff; Pinar Yolum (DALT, 2012)

Challenges and Directions for Engineering Multi-agent Systems - Michael Winikoff (CoRR, 2012)

Principles and Practice of Multi-Agent Systems. - Michael Winikoff; Nirmit Desai; Alan Liu (Multiagent Grid Syst., 2012)

A process for novice programming using goals and plans. - Minjie Hu; Michael Winikoff; Stephen Cranefield (ACE, 2013)

Generating and ranking commitment protocols. - Akin Günay; Michael Winikoff; Pinar Yolum (AAMAS, 2013)

Mutation operators for cognitive agent programs. - Sharmila Savarimuthu; Michael Winikoff (AAMAS, 2013)

Mutation Operators for the Goal Agent Language. - Sharmila Savarimuthu; Michael Winikoff (EMAS@AAMAS, 2013)

A comparison of two agent interaction design approaches. - Christopher Cheong; Michael Winikoff (Multiagent Grid Syst., 2013)

Towards a next-generation AOSE methodology. - Hoa Khanh Dam; Michael Winikoff (Sci. Comput. Program., 2013)

Prometheus Research Directions. - Lin Padgham; John Thangarajah; Michael Winikoff (Agent-Oriented Software Engineering, 2014)

Novice programmers' faults & failures in GOAL programs. - Michael Winikoff (AAMAS, 2014)

Checking The Correctness of Agent Designs Against Model-Based Requirements. - Yoosef B. Abushark; Michael Winikoff; Tim Miller 001; James Harland; John Thangarajah (ECAI, 2014)

Towards Energy-aware Optimisation of Business Processes. - Beatriz López 001; Aditya K. Ghose; Bastin Tony Roy Savarimuthu; Mariusz Nowostawski; Michael Winikoff; Stephen Cranefield (SMARTGREENS, 2014)

Extending Agents by Transmitting Protocols in Open Systems. - Lavindra de Silva; Michael Winikoff; Wei Liu 006 (CoRR, 2014)

On the Testability of BDI Agent Systems. - Michael Winikoff; Stephen Cranefield (J. Artif. Intell. Res., 2014)

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; James Harland; Michael Winikoff (AAMAS, 2015)

A Tool for Defining Agent Protocols in HAPN: (Demonstration). - Nitin Yadav; Lin Padgham; Michael Winikoff (AAMAS, 2015)

On the Testability of BDI Agent Systems (Extended Abstract). - Michael Winikoff; Stephen Cranefield (IJCAI, 2015)

Dynamically generated commitment protocols in open systems. - Akin Günay; Michael Winikoff; Pinar Yolum (Auton. Agents Multi Agent Syst., 2015)

Requirements Specification in The Prometheus Methodology via Activity Diagrams. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; Michael Winikoff; James Harland (AAMAS, 2016)

Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract. - Akin Günay; Michael Winikoff; Pinar Yolum (AAMAS, 2016)

How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract). - Michael Winikoff (AAMAS, 2016)

How Testable Are BDI Agents? An Analysis of Branch Coverage. - Michael Winikoff (AAMAS Workshops (Selected Papers), 2016)

Consistent merging of model versions. - Hoa Khanh Dam; Alexander Egyed; Michael Winikoff; Alexander Reder; Roberto E. Lopez-Herrejon (J. Syst. Softw., 2016)

Patient Information Model to Support Population-level Workload Analysis. - Manjula Devananda; Stephen Cranefield; Hywel Lloyd; Michael Winikoff (ACIS, 2017)

Debugging Agent Programs with Why?: Questions. - Michael Winikoff (AAMAS, 2017)

BDI Agent Testability Revisited (JAAMAS Extended Abstract). - Michael Winikoff (AAMAS, 2017)

Towards Trusting Autonomous Systems. - Michael Winikoff (EMAS@AAMAS, 2017)

Workload Prediction Model of a Primary Health Centre. - Manjula Devananda; Stephen Cranefield; Michael Winikoff; Hywel Lloyd (ECIS, 2017)

No Pizza for You: Value-based Plan Selection in BDI Agents. - Stephen Cranefield; Michael Winikoff; Virginia Dignum; Frank Dignum (IJCAI, 2017)

Requirements specification via activity diagrams for agent-based systems. - Yoosef B. Abushark; Tim Miller 001; John Thangarajah; Michael Winikoff; James Harland (Auton. Agents Multi Agent Syst., 2017)

BDI agent testability revisited. - Michael Winikoff (Auton. Agents Multi Agent Syst., 2017)

Slicing Agent Programs for More Efficient Verification. - Michael Winikoff; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2018)

Why Bad Coffee? Explaining Agent Plans with Valuings. - Michael Winikoff; Virginia Dignum; Frank Dignum (SAFECOMP Workshops, 2018)

A new Hierarchical Agent Protocol Notation. - Michael Winikoff; Nitin Yadav; Lin Padgham (Auton. Agents Multi Agent Syst., 2018)

Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation. - Tobias Ahlbrecht; Michael Winikoff (EXTRAAMAS@AAMAS, 2019)

On Enactability of Agent Interaction Protocols: Towards a Unified Approach. - Angelo Ferrando 001; Michael Winikoff; Stephen Cranefield; Frank Dignum; Viviana Mascardi (AAMAS, 2019)

On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. - Angelo Ferrando 001; Michael Winikoff; Stephen Cranefield; Frank Dignum; Viviana Mascardi (CoRR, 2019)

Towards Deriving Verification Properties. - Michael Winikoff (CoRR, 2019)

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). - Jürgen Dix; Brian Logan 001; Michael Winikoff (Dagstuhl Reports, 2019)

Summarising a Framework for the Certification of Reliable Autonomous Systems. - Michael Fisher 001; Viviana Mascardi; Kristin Y. Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith (AAMAS, 2021)

User and System Stories: An Agile Approach for Managing Requirements in AOSE. - Sebastian Rodriguez; John Thangarajah; Michael Winikoff (AAMAS, 2021)

The Advent of Digital Productivity Assistants: The Case of Microsoft MyAnalytics. - Michael Winikoff; Jocelyn Cranefield; Jane Li; Cathal Doyle; Alexander Richter (HICSS, 2021)

Preface to the Special Issue on engineering reliable multi-agent systems. - Jürgen Dix; Brian Logan 001; Michael Winikoff (Auton. Agents Multi Agent Syst., 2021)

Towards a framework for certification of reliable autonomous systems. - Michael Fisher 001; Viviana Mascardi; Kristin Yvonne Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith (Auton. Agents Multi Agent Syst., 2021)

Why bad coffee? Explaining BDI agent behaviour with valuings. - Michael Winikoff; Galina Sidorenko; Virginia Dignum; Frank Dignum (Artif. Intell., 2021)

Artificial Intelligence and the Right to Explanation as a Human Right. - Michael Winikoff; Julija Sardelic (IEEE Internet Comput., 2021)

Testing Requirements via User and System Stories in Agent Systems. - Sebastian Rodriguez; John Thangarajah; Michael Winikoff; Dhirendra Singh (AAMAS, 2022)

Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). - Michael Winikoff; Galina Sidorenko; Virginia Dignum; Frank Dignum (IJCAI, 2022)

A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems. - Sebastian Rodriguez; John Thangarajah; Michael Winikoff (AAMAS, 2023)

Evaluating a Mechanism for Explaining BDI Agent Behaviour. - Michael Winikoff; Galina Sidorenko (EXTRAAMAS, 2023)

What Can I Do to Help You? - Myrthe L. Tielman; M. Birna van Riemsdijk; Michael Winikoff (HHAI, 2023)

30 Years of Engineering Multi-Agent Systems: What and Why? - Michael Winikoff (AAMAS, 2024)

Towards Engineering Explainable Autonomous Systems. - Michael Winikoff (EMAS, 2024)

Requirements-based Explainability for Multi Agent Systems. - Sebastian Rodriguez; John Thangarajah; Michael Winikoff (AAMAS, 2025)

A Scoresheet for Explainable AI. - Michael Winikoff; John Thangarajah; Sebastian Rodriguez (AAMAS, 2025)