Michael Winikoff

According to our database, Michael Winikoff authored at least 131 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Engineering Explainable Autonomous Systems.

Michael Winikoff

Proceedings of the Engineering Multi-Agent Systems - 12th International Workshop, 2024

30 Years of Engineering Multi-Agent Systems: What and Why?

Michael Winikoff

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

What Can I Do to Help You?

Myrthe L. Tielman, M. Birna van Riemsdijk, Michael Winikoff

Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023

Evaluating a Mechanism for Explaining BDI Agent Behaviour.

Michael Winikoff, Galina Sidorenko

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems.

Sebastian Rodriguez, John Thangarajah, Michael Winikoff

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract).

Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Testing Requirements via User and System Stories in Agent Systems.

Sebastian Rodriguez, John Thangarajah, Michael Winikoff, Dhirendra Singh

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Artificial Intelligence and the Right to Explanation as a Human Right.

Michael Winikoff, Julija Sardelic

IEEE Internet Comput., 2021

Why bad coffee? Explaining BDI agent behaviour with valuings.

Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum

Artif. Intell., 2021

Towards a framework for certification of reliable autonomous systems.

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

Auton. Agents Multi Agent Syst., 2021

Preface to the Special Issue on engineering reliable multi-agent systems.

Jürgen Dix, Brian Logan, Michael Winikoff

Auton. Agents Multi Agent Syst., 2021

The Advent of Digital Productivity Assistants: The Case of Microsoft MyAnalytics.

Michael Winikoff, Jocelyn Cranefield, Jane Li, Cathal Doyle, Alexander Richter

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

User and System Stories: An Agile Approach for Managing Requirements in AOSE.

Sebastian Rodriguez, John Thangarajah, Michael Winikoff

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Summarising a Framework for the Certification of Reliable Autonomous Systems.

Michael Fisher, Viviana Mascardi, Kristin Y. Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112).

Jürgen Dix, Brian Logan, Michael Winikoff

Dagstuhl Reports, 2019

Towards Deriving Verification Properties.

Michael Winikoff

CoRR, 2019

On the Enactability of Agent Interaction Protocols: Toward a Unified Approach.

Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi

CoRR, 2019

On Enactability of Agent Interaction Protocols: Towards a Unified Approach.

Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Explaining Aggregate Behaviour in Cognitive Agent Simulations Using Explanation.

Tobias Ahlbrecht, Michael Winikoff

Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2019

2018

A new Hierarchical Agent Protocol Notation.

Michael Winikoff, Nitin Yadav, Lin Padgham

Auton. Agents Multi Agent Syst., 2018

Why Bad Coffee? Explaining Agent Plans with Valuings.

Michael Winikoff, Virginia Dignum, Frank Dignum

Proceedings of the Computer Safety, Reliability, and Security, 2018

Slicing Agent Programs for More Efficient Verification.

Michael Winikoff, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

2017

BDI agent testability revisited.

Michael Winikoff

Auton. Agents Multi Agent Syst., 2017

Requirements specification via activity diagrams for agent-based systems.

Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland

Auton. Agents Multi Agent Syst., 2017

No Pizza for You: Value-based Plan Selection in BDI Agents.

Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Workload Prediction Model of a Primary Health Centre.

Manjula Devananda, Stephen Cranefield, Michael Winikoff, Hywel Lloyd

Proceedings of the 25th European Conference on Information Systems, 2017

Towards Trusting Autonomous Systems.

Michael Winikoff

Proceedings of the Engineering Multi-Agent Systems - 5th International Workshop, 2017

BDI Agent Testability Revisited (JAAMAS Extended Abstract).

Michael Winikoff

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Debugging Agent Programs with Why?: Questions.

Michael Winikoff

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Patient Information Model to Support Population-level Workload Analysis.

Manjula Devananda, Stephen Cranefield, Hywel Lloyd, Michael Winikoff

Proceedings of the Australasian Conference on Information Systems, 2017

2016

Consistent merging of model versions.

Hoa Khanh Dam, Alexander Egyed, Michael Winikoff, Alexander Reder, Roberto E. Lopez-Herrejon

J. Syst. Softw., 2016

How Testable Are BDI Agents? An Analysis of Branch Coverage.

Michael Winikoff

Proceedings of the Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Best Papers, 2016

How Testable are BDI Agents?: An Analysis of Branch Coverage (Extended Abstract).

Michael Winikoff

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Dynamically Generated Commitment Protocols in Open Systems: JAAMAS Extended Abstract.

Akin Günay, Michael Winikoff, Pinar Yolum

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Requirements Specification in The Prometheus Methodology via Activity Diagrams.

Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Dynamically generated commitment protocols in open systems.

Akin Günay, Michael Winikoff, Pinar Yolum

Auton. Agents Multi Agent Syst., 2015

On the Testability of BDI Agent Systems (Extended Abstract).

Michael Winikoff, Stephen Cranefield

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Tool for Defining Agent Protocols in HAPN: (Demonstration).

Nitin Yadav, Lin Padgham, Michael Winikoff

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models.

Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

On the Testability of BDI Agent Systems.

Michael Winikoff, Stephen Cranefield

J. Artif. Intell. Res., 2014

Extending Agents by Transmitting Protocols in Open Systems.

Lavindra de Silva, Michael Winikoff, Wei Liu

CoRR, 2014

Towards Energy-aware Optimisation of Business Processes.

Beatriz López, Aditya K. Ghose, Bastin Tony Roy Savarimuthu, Mariusz Nowostawski, Michael Winikoff, Stephen Cranefield

Proceedings of the SMARTGREENS 2014, 2014

Checking The Correctness of Agent Designs Against Model-Based Requirements.

Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Novice programmers' faults & failures in GOAL programs.

Michael Winikoff

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Prometheus Research Directions.

Lin Padgham, John Thangarajah, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering, 2014

2013

Towards a next-generation AOSE methodology.

Hoa Khanh Dam, Michael Winikoff

Sci. Comput. Program., 2013

A comparison of two agent interaction design approaches.

Christopher Cheong, Michael Winikoff

Multiagent Grid Syst., 2013

Mutation Operators for the Goal Agent Language.

Sharmila Savarimuthu, Michael Winikoff

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Mutation operators for cognitive agent programs.

Sharmila Savarimuthu, Michael Winikoff

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Generating and ranking commitment protocols.

Akin Günay, Michael Winikoff, Pinar Yolum

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

A process for novice programming using goals and plans.

Minjie Hu, Michael Winikoff, Stephen Cranefield

Proceedings of the Fifteenth Australasian Computing Education Conference, 2013

2012

Principles and Practice of Multi-Agent Systems.

Michael Winikoff, Nirmit Desai, Alan Liu

Multiagent Grid Syst., 2012

Challenges and Directions for Engineering Multi-agent Systems

Michael Winikoff

CoRR, 2012

Commitment Protocol Generation.

Akin Günay, Michael Winikoff, Pinar Yolum

Proceedings of the Declarative Agent Languages and Technologies X, 2012

2011

Verifying social expectations by model checking truncated paths.

Stephen Cranefield, Michael Winikoff

J. Log. Comput., 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

An agent-oriented approach to change propagation in software maintenance.

Hoa Khanh Dam, Michael Winikoff

Auton. Agents Multi Agent Syst., 2011

Agent-Based Container Terminal Optimisation.

Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland

Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

An Integrated Formal Framework for Reasoning about Goal Interactions.

Michael Winikoff

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

A formal framework for reasoning about goal interactions.

Michael Winikoff

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Rich goal types in agent programming.

Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Modelling and Monitoring Interdependent Expectations.

Stephen Cranefield, Michael Winikoff, Wamberto Weber Vasconcelos

Proceedings of the Coordination, 2011

2010

Supporting change propagation in UML models.

Hoa Khanh Dam, Michael Winikoff

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

A unified interaction-aware goal framework.

Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk

Proceedings of the ECAI 2010, 2010

2009

Future directions for agent-based software engineering.

Michael Winikoff

Int. J. Agent Oriented Softw. Eng., 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

Change Propagation Analysis Using Domain Information.

Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

Debugging and Testing of Multi-Agent Systems using Design Artefacts.

David Poutakidis, Michael Winikoff, Lin Padgham, Zhiyong Zhang

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

Hermes: Designing Flexible and Robust Agent Interactions.

Christopher Cheong, Michael Winikoff

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Eliciting Expectations for Monitoring Social Interactions.

Michael Winikoff, Stephen Cranefield

Proceedings of the Computer-Mediated Social Networking, 2008

Goals in agent systems: a unifying framework.

M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Cost-based BDI plan selection for change propagation.

Khanh Hoa Dam, Michael Winikoff

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

A Unified Graphical Notation for AOSE.

Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino

Proceedings of the Agent-Oriented Software Engineering IX, 9th International Workshop, 2008

Evaluating an Agent-Oriented Approach for Change Propagation.

Khanh Hoa Dam, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering IX, 9th International Workshop, 2008

Prometheus Design Tool.

Lin Padgham, John Thangarajah, Michael Winikoff

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Defining syntax and providing tool support for Agent UML using a textual notation.

Michael Winikoff

Int. J. Agent Oriented Softw. Eng., 2007

Modeling Agents' Choices in Temporal Linear Logic.

Duc Quang Pham, James Harland, Michael Winikoff

Proceedings of the Declarative Agent Languages and Technologies V, 2007

Implementing commitment-based interactions.

Michael Winikoff

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

AUML protocols and code generation in the Prometheus design tool.

Lin Padgham, John Thangarajah, Michael Winikoff

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

The Prometheus Design Tool - A Conference Management System Case Study.

Lin Padgham, John Thangarajah, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

Open Agent Systems???

Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

Generation of Repair Plans for Change Propagation.

Khanh Hoa Dam, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

2006

Implementing flexible and robust agent interactions using Distributed Commitment Machines.

Michael Winikoff

Multiagent Grid Syst., 2006

Designing Commitment-Based Agent Interactions.

Michael Winikoff

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Current Issues in Multi-Agent Systems Development.

Rafael H. Bordini, Mehdi Dastani, Michael Winikoff

Proceedings of the Engineering Societies in the Agents World VII, 2006

Component Agent Framework for domain-Experts (CAFnE) toolkit.

Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

An agent-oriented approach to change propagation in software evolution.

Khanh Hoa Dam, Michael Winikoff, Lin Padgham

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

Designing Institutional Multi-Agent Systems.

Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems.

Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005

Adding debugging support to the Prometheus methodology.

Lin Padgham, Michael Winikoff, David Poutakidis

Eng. Appl. Artif. Intell., 2005

A model driven component-based development framework for agents.

Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff

Comput. Syst. Sci. Eng., 2005

Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes.

Christopher Cheong, Michael Winikoff

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Towards Making Agent UML Practical: A Textual Notation and a Tool.

Michael Winikoff

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Tool Support for Agent Development using the Prometheus Methodology.

Lin Padgham, John Thangarajah, Michael Winikoff

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Towards Goal-Oriented Design of Agent Systems.

Jason Khallouf, Michael Winikoff

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

An AgentSpeak Meta-interpreter and Its Applications.

Michael Winikoff

Proceedings of the Programming Multi-Agent Systems, 2005

Hermes: Implementing Goal-Oriented Agent Interactions.

Christopher Cheong, Michael Winikoff

Proceedings of the Programming Multi-Agent Systems, 2005

Learning Within the BDI Framework: An Empirical Analysis.

Bao Toan Phung, Michael Winikoff, Lin Padgham

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Hermes: a methodology for goal oriented agent interactions.

Christopher Cheong, Michael Winikoff

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Hermes: Designing Goal-Oriented Agent Interactions.

Christopher Cheong, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

Design Options for Subscription Managers.

Aloys Mbala, Lin Padgham, Michael Winikoff

Proceedings of the Agent-Oriented Information Systems III, 2005

JACK^TM Intelligent Agents: An Industrial Strength Platform.

Michael Winikoff

Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004

Agents via Mixed-Mode Computation in Linear Logic.

James Harland, Michael Winikoff

Ann. Math. Artif. Intell., 2004

Scenario Matching Using Functional Substitutability in Web Services.

Islam Elgedawy, Zahir Tari, Michael Winikoff

Proceedings of the Web Information Systems, 2004

Towards a Component-Based Development Framework for Agents.

Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff

Proceedings of the Multiagent System Technologies, Second German Conference, 2004

Exact functional context matching for web services.

Islam Elgedawy, Zahir Tari, Michael Winikoff

Proceedings of the Service-Oriented Computing, 2004

Enhancing Commitment Machines.

Michael Winikoff, Wei Liu, James Harland

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Developing intelligent agent systems - a practical guide.

Lin Padgham, Michael Winikoff

Wiley series in agent technology, Wiley, ISBN: 978-0-470-86120-2, 2004

2003

An Exploration of Bugs and Debugging in Multi-agent Systems.

David Poutakidis, Lin Padgham, Michael Winikoff

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Detecting & Avoiding Interference Between Goals in Intelligent Agents.

John Thangarajah, Lin Padgham, Michael Winikoff

Proceedings of the IJCAI-03, 2003

Detecting & exploiting positive goal interaction in intelligent agents.

John Thangarajah, Lin Padgham, Michael Winikoff

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

An evolving multi agent system for meteorological alerts.

Sandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Comparing Agent-Oriented Methodologies.

Khanh Hoa Dam, Michael Winikoff

Proceedings of the Agent-Oriented Information Systems, 2003

2002

Language Design Issues for Agents based on Linear Logic (Extended Abstract).

James Harland, Michael Winikoff

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Declarative & Procedural Goals in Intelligent Agent Systems.

Michael Winikoff, Lin Padgham, James Harland, John Thangarajah

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Avoiding Resource Conflicts in Intelligent Agents.

John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Debugging multi-agent systems using design artifacts: the case of interaction protocols.

David Poutakidis, Lin Padgham, Michael Winikoff

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Agent negotiation as proof search in linear logic.

James Harland, Michael Winikoff

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Prometheus: A Methodology for Developing Intelligent Agents.

Lin Padgham, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Assembling Agent Oriented Software Engineering Methodologies from Features.

Thomas Juan, Leon Sterling, Michael Winikoff

Proceedings of the Agent-Oriented Software Engineering III, Third International Workshop, 2002

Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids.

Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland

Proceedings of the Computer Science 2002, 2002

2001

Simplifying the Development of Intelligent Agents.

Michael Winikoff, Lin Padgham, James Harland

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Verifying Requirements Through Mathematical Modelling and Animation.

Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff

Int. J. Softw. Eng. Knowl. Eng., 2000

Forward and Backward Chaining in Linear Logic.

James Harland, David J. Pym, Michael Winikoff

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000

Agent-Oriented Programming in Linear Logic: An Example.

Abdullah-Al Amin, Michael Winikoff, James Harland

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic.

James Harland, Tatjana Lutovac, Michael Winikoff

Proceedings of the Computational Logic, 2000

1998

Verifying Model Oriented Specifications through Animation.

Edmund Kazmierczak, Michael Winikoff, Philip W. Dart

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1996

Programming in Lygon: A System Demonstration.

James Harland, David J. Pym, Michael Winikoff

Proceedings of the Algebraic Methodology and Software Technology, 1996

Programming in Lygon: An Overview.

James Harland, David J. Pym, Michael Winikoff

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Implementing the Linear Logic Programming Language Lygon.

Michael Winikoff, James Harland

Proceedings of the Logic Programming, 1995

Programming in Lygon: A Brief Overview.

James Harland, David J. Pym, Michael Winikoff

Proceedings of the Logic Programming, 1995