| 2009 |
|---|
| 70 | EE | Matteo Baldoni,
Tran Cao Son,
M. Birna van Riemsdijk,
Michael Winikoff:
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Springer 2009 |
| 69 | EE | Jason Khallouf,
Michael Winikoff:
The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation.
IJAOSE 3(1): 88-112 (2009) |
| 2008 |
|---|
| 68 | | Matteo Baldoni,
Tran Cao Son,
M. Birna van Riemsdijk,
Michael Winikoff:
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Springer 2008 |
| 67 | | Mehdi Dastani,
Amal El Fallah-Seghrouchni,
Alessandro Ricci,
Michael Winikoff:
Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers
Springer 2008 |
| 66 | | Lin Padgham,
John Thangarajah,
Michael Winikoff:
Prometheus Design Tool.
AAAI 2008: 1882-1883 |
| 65 | EE | Khanh Hoa Dam,
Michael Winikoff:
Cost-based BDI plan selection for change propagation.
AAMAS (1) 2008: 217-224 |
| 64 | EE | M. Birna van Riemsdijk,
Mehdi Dastani,
Michael Winikoff:
Goals in agent systems: a unifying framework.
AAMAS (2) 2008: 713-720 |
| 63 | EE | Lin Padgham,
Michael Winikoff,
Scott A. DeLoach,
Massimo Cossentino:
A Unified Graphical Notation for AOSE.
AOSE 2008: 116-130 |
| 62 | EE | Khanh Hoa Dam,
Michael Winikoff:
Evaluating an Agent-Oriented Approach for Change Propagation.
AOSE 2008: 159-172 |
| 2007 |
|---|
| 61 | EE | Michael Winikoff:
Implementing commitment-based interactions.
AAMAS 2007: 128 |
| 60 | EE | Lin Padgham,
John Thangarajah,
Michael Winikoff:
AUML protocols and code generation in the Prometheus design tool.
AAMAS 2007: 270 |
| 59 | EE | Khanh Hoa Dam,
Michael Winikoff:
Generation of Repair Plans for Change Propagation.
AOSE 2007: 132-146 |
| 58 | EE | Lin Padgham,
John Thangarajah,
Michael Winikoff:
The Prometheus Design Tool - A Conference Management System Case Study.
AOSE 2007: 197-211 |
| 57 | EE | Frank Dignum,
Virginia Dignum,
John Thangarajah,
Lin Padgham,
Michael Winikoff:
Open Agent Systems???
AOSE 2007: 73-87 |
| 56 | EE | Duc Quang Pham,
James Harland,
Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic.
DALT 2007: 140-157 |
| 55 | EE | Michael Winikoff:
Defining syntax and providing tool support for Agent UML using a textual notation.
IJAOSE 1(2): 123-144 (2007) |
| 2006 |
|---|
| 54 | | Manuel Kolp,
Paolo Bresciani,
Brian Henderson-Sellers,
Michael Winikoff:
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
Springer 2006 |
| 53 | EE | Gaya Buddhinath Jayatilleke,
John Thangarajah,
Lin Padgham,
Michael Winikoff:
Component Agent Framework for domain-Experts (CAFnE) toolkit.
AAMAS 2006: 1465-1466 |
| 52 | EE | Gaya Buddhinath Jayatilleke,
Lin Padgham,
Michael Winikoff:
Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems.
AOSE 2006: 190-207 |
| 51 | EE | Carles Sierra,
John Thangarajah,
Lin Padgham,
Michael Winikoff:
Designing Institutional Multi-Agent Systems.
AOSE 2006: 84-103 |
| 50 | EE | Khanh Hoa Dam,
Michael Winikoff,
Lin Padgham:
An agent-oriented approach to change propagation in software evolution.
ASWEC 2006: 309-318 |
| 49 | EE | Rafael H. Bordini,
Mehdi Dastani,
Michael Winikoff:
Current Issues in Multi-Agent Systems Development.
ESAW 2006: 38-61 |
| 48 | EE | Michael Winikoff:
Designing Commitment-Based Agent Interactions.
IAT 2006: 363-370 |
| 47 | EE | Michael Winikoff:
Implementing flexible and robust agent interactions using Distributed Commitment Machines.
Multiagent and Grid Systems 2(4): 365-381 (2006) |
| 2005 |
|---|
| 46 | | Paolo Bresciani,
Paolo Giorgini,
Brian Henderson-Sellers,
Graham Low,
Michael Winikoff:
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
Springer 2005 |
| 45 | EE | Christopher Cheong,
Michael Winikoff:
Hermes: a methodology for goal oriented agent interactions.
AAMAS 2005: 1121-1122 |
| 44 | EE | John Thangarajah,
Lin Padgham,
Michael Winikoff:
Prometheus design tool.
AAMAS 2005: 127-128 |
| 43 | EE | Aloys Mbala,
Lin Padgham,
Michael Winikoff:
Design Options for Subscription Managers.
AOIS 2005: 259-274 |
| 42 | EE | Christopher Cheong,
Michael Winikoff:
Hermes: Designing Goal-Oriented Agent Interactions.
AOSE 2005: 16-27 |
| 41 | EE | Toan Phung,
Michael Winikoff,
Lin Padgham:
Learning Within the BDI Framework: An Empirical Analysis.
KES (3) 2005: 282-288 |
| 40 | EE | Michael Winikoff:
An AgentSpeak Meta-interpreter and Its Applications.
PROMAS 2005: 123-138 |
| 39 | EE | Christopher Cheong,
Michael Winikoff:
Hermes: Implementing Goal-Oriented Agent Interactions.
PROMAS 2005: 168-183 |
| 38 | EE | Lin Padgham,
John Thangarajah,
Michael Winikoff:
Tool Support for Agent Development using the Prometheus Methodology.
QSIC 2005: 383-388 |
| 37 | EE | Jason Khallouf,
Michael Winikoff:
Towards Goal-Oriented Design of Agent Systems.
QSIC 2005: 389-394 |
| 36 | EE | Michael Winikoff:
Towards Making Agent UML Practical: A Textual Notation and a Tool.
QSIC 2005: 401-412 |
| 35 | EE | Christopher Cheong,
Michael Winikoff:
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes.
SELMAS 2005: 189-206 |
| 34 | | Michael Winikoff:
JACK™ Intelligent Agents: An Industrial Strength Platform.
Multi-Agent Programming 2005: 175-193 |
| 33 | | Gaya Buddhinath Jayatilleke,
Lin Padgham,
Michael Winikoff:
A model driven component-based development framework for agents.
Comput. Syst. Sci. Eng. 20(4): (2005) |
| 2004 |
|---|
| 32 | | Paolo Giorgini,
Brian Henderson-Sellers,
Michael Winikoff:
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
Springer 2004 |
| 31 | EE | Michael Winikoff,
Wei Liu,
James Harland:
Enhancing Commitment Machines.
DALT 2004: 198-220 |
| 30 | EE | Islam Elgedawy,
Zahir Tari,
Michael Winikoff:
Exact functional context matching for web services.
ICSOC 2004: 143-152 |
| 29 | EE | Gaya Buddhinath Jayatilleke,
Lin Padgham,
Michael Winikoff:
Towards a Component-Based Development Framework for Agents.
MATES 2004: 183-197 |
| 28 | EE | Islam Elgedawy,
Zahir Tari,
Michael Winikoff:
Scenario Matching Using Functional Substitutability in Web Services.
WISE 2004: 59-65 |
| 27 | EE | James Harland,
Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic.
Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004) |
| 2003 |
|---|
| 26 | EE | David Poutakidis,
Lin Padgham,
Michael Winikoff:
An exploration of bugs and debugging in multi-agent systems.
AAMAS 2003: 1100-1101 |
| 25 | EE | John Thangarajah,
Lin Padgham,
Michael Winikoff:
Detecting & exploiting positive goal interaction in intelligent agents.
AAMAS 2003: 401-408 |
| 24 | EE | Sandy Dance,
Malcolm Gorman,
Lin Padgham,
Michael Winikoff:
An evolving multi agent system for meteorological alerts.
AAMAS 2003: 966-967 |
| 23 | EE | Khanh Hoa Dam,
Michael Winikoff:
Comparing Agent-Oriented Methodologies.
AOIS 2003: 78-93 |
| 22 | | John Thangarajah,
Lin Padgham,
Michael Winikoff:
Detecting & Avoiding Interference Between Goals in Intelligent Agents.
IJCAI 2003: 721-726 |
| 21 | EE | David Poutakidis,
Lin Padgham,
Michael Winikoff:
An Exploration of Bugs and Debugging in Multi-agent Systems.
ISMIS 2003: 628-632 |
| 2002 |
|---|
| 20 | EE | Lin Padgham,
Michael Winikoff:
Prometheus: a methodology for developing intelligent agents.
AAMAS 2002: 37-38 |
| 19 | EE | James Harland,
Michael Winikoff:
Agent negotiation as proof search in linear logic.
AAMAS 2002: 938-939 |
| 18 | EE | David Poutakidis,
Lin Padgham,
Michael Winikoff:
Debugging multi-agent systems using design artifacts: the case of interaction protocols.
AAMAS 2002: 960-967 |
| 17 | EE | Omer F. Rana,
Michael Winikoff,
Lin Padgham,
James Harland:
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids.
ACSC 2002: 205-214 |
| 16 | EE | Lin Padgham,
Michael Winikoff:
Prometheus: A Methodology for Developing Intelligent Agents.
AOSE 2002: 174-185 |
| 15 | EE | Thomas Juan,
Leon Sterling,
Michael Winikoff:
Assembling Agent Oriented Software Engineering Methodologies from Features.
AOSE 2002: 198-209 |
| 14 | | James Harland,
Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract).
CLIMA III 2002: 79-93 |
| 13 | | John Thangarajah,
Michael Winikoff,
Lin Padgham,
Klaus Fischer:
Avoiding Resource Conflicts in Intelligent Agents.
ECAI 2002: 18-22 |
| 12 | | Michael Winikoff,
Lin Padgham,
James Harland,
John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems.
KR 2002: 470-481 |
| 11 | EE | James Harland,
Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 10 | EE | Michael Winikoff,
Lin Padgham,
James Harland:
Simplifying the Development of Intelligent Agents.
Australian Joint Conference on Artificial Intelligence 2001: 557-568 |
| 2000 |
|---|
| 9 | EE | James Harland,
Tatjana Lutovac,
Michael Winikoff:
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic.
Computational Logic 2000: 254-268 |
| 8 | | Abdullah-Al Amin,
Michael Winikoff,
James Harland:
Agent-Oriented Programming in Linear Logic: An Example.
PRICAI 2000: 817 |
| 7 | EE | James Harland,
David J. Pym,
Michael Winikoff:
Forward and Backward Chaining in Linear Logic.
Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 6 | | Edmund Kazmierczak,
Philip W. Dart,
Leon Sterling,
Michael Winikoff:
Verifying Requirements Through Mathematical Modelling and Animation.
International Journal of Software Engineering and Knowledge Engineering 10(2): 251-273 (2000) |
| 1998 |
|---|
| 5 | EE | Edmund Kazmierczak,
Michael Winikoff,
Philip W. Dart:
Verifying Model Oriented Specifications through Animation.
APSEC 1998: 254-261 |
| 1996 |
|---|
| 4 | | James Harland,
David J. Pym,
Michael Winikoff:
Programming in Lygon: An Overview.
AMAST 1996: 391-405 |
| 3 | | James Harland,
David J. Pym,
Michael Winikoff:
Programming in Lygon: A System Demonstration.
AMAST 1996: 599 |
| 1995 |
|---|
| 2 | | James Harland,
David J. Pym,
Michael Winikoff:
Programming in Lygon: A Brief Overview.
ILPS 1995: 636 |
| 1 | | Michael Winikoff,
James Harland:
Implementing the Linear Logic Programming Language Lygon.
ILPS 1995: 66-80 |
