| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chiaki Sakama, Sebastian Sardiña, Wamberto Vasconcelos, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers  |
DALT  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirmit Desai, Alan Liu, Michael Winikoff (eds.) |
Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers |
PRIMA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Cranefield, Michael Winikoff |
Verifying social expectations by model checking truncated paths. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoa Khanh Dam, Michael Winikoff |
An agent-oriented approach to change propagation in software maintenance. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
An Integrated Formal Framework for Reasoning about Goal Interactions. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff, Hanno-Felix Wagner, Thomas Young, Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland |
Agent-Based Container Terminal Optimisation. |
MATES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Cranefield, Roger Jarquin, Guannan Li, Brent Martin, Rainer Unland, Hanno-Felix Wagner, Michael Winikoff, Thomas Young |
Agent-based container terminal optimisation. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff |
A formal framework for reasoning about goal interactions. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Dastani, M. Birna van Riemsdijk, Michael Winikoff |
Rich goal types in agent programming. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk |
A unified interaction-aware goal framework. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoa Khanh Dam, Michael Winikoff |
Supporting change propagation in UML models. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Khallouf, Michael Winikoff |
The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. |
IJAOSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
Future directions for agent-based software engineering. |
IJAOSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff |
Change Propagation Analysis Using Domain Information. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers |
DALT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff, Stephen Cranefield |
Eliciting Expectations for Monitoring Social Interactions. |
ICCNSM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Amal El Fallah-Seghrouchni, Alessandro Ricci, Michael Winikoff (eds.) |
Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers |
ProMAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino |
A Unified Graphical Notation for AOSE. |
AOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Khanh Hoa Dam, Michael Winikoff |
Evaluating an Agent-Oriented Approach for Change Propagation. |
AOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff |
Goals in agent systems: a unifying framework. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Cranefield, Michael Winikoff |
Verifying Social Expectations by Model Checking Truncated Paths. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Khanh Hoa Dam, Michael Winikoff |
Cost-based BDI plan selection for change propagation. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Padgham, John Thangarajah, Michael Winikoff |
Prometheus Design Tool. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff |
Defining syntax and providing tool support for Agent UML using a textual notation. |
IJAOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc Quang Pham, James Harland, Michael Winikoff |
Modeling Agents' Choices in Temporal Linear Logic. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Padgham, John Thangarajah, Michael Winikoff |
The Prometheus Design Tool - A Conference Management System Case Study. |
AOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff |
Open Agent Systems??? |
AOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Khanh Hoa Dam, Michael Winikoff |
Generation of Repair Plans for Change Propagation. |
AOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
Implementing commitment-based interactions. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
agent oriented programming languages, belief desire intention (BDI), commitment machines, agent interaction |
| 1 | Lin Padgham, John Thangarajah, Michael Winikoff |
AUML protocols and code generation in the Prometheus design tool. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
agent UML, agent oriented software engineering, design tools |
| 1 | Michael Winikoff |
Implementing flexible and robust agent interactions using Distributed Commitment Machines. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Khanh Hoa Dam, Michael Winikoff, Lin Padgham |
An agent-oriented approach to change propagation in software evolution. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Michael Winikoff |
Current Issues in Multi-Agent Systems Development. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
Designing Commitment-Based Agent Interactions. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff (eds.) |
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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff |
Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. |
AOSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff |
Designing Institutional Multi-Agent Systems. |
AOSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff |
Component Agent Framework for domain-Experts (CAFnE) toolkit. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
agent software engineering, methodologies, tool support |
| 1 | Lin Padgham, Michael Winikoff, David Poutakidis |
Adding debugging support to the Prometheus methodology. |
Eng. Appl. of AI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff |
A model driven component-based development framework for agents. |
Comput. Syst. Sci. Eng. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff |
JACK Intelligent Agents: An Industrial Strength Platform. |
Multi-Agent Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Toan Phung, Michael Winikoff, Lin Padgham |
Learning Within the BDI Framework: An Empirical Analysis. |
KES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
An AgentSpeak Meta-interpreter and Its Applications. |
PROMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Cheong, Michael Winikoff |
Hermes: Implementing Goal-Oriented Agent Interactions. |
PROMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Cheong, Michael Winikoff |
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes. |
SELMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff (eds.) |
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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Aloys Mbala, Lin Padgham, Michael Winikoff |
Design Options for Subscription Managers. |
AOIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Padgham, John Thangarajah, Michael Winikoff |
Tool Support for Agent Development using the Prometheus Methodology. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
Towards Making Agent UML Practical: A Textual Notation and a Tool. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Khallouf, Michael Winikoff |
Towards Goal-Oriented Design of Agent Systems. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Cheong, Michael Winikoff |
Hermes: Designing Goal-Oriented Agent Interactions. |
AOSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Thangarajah, Lin Padgham, Michael Winikoff |
Prometheus design tool. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
agent software engineering, methodologies, tool support |
| 1 | Christopher Cheong, Michael Winikoff |
Hermes: a methodology for goal oriented agent interactions. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
agent-oriented software engineering, interaction protocol, goal-oriented |
| 1 | James Harland, Michael Winikoff |
Agents via Mixed-Mode Computation in Linear Logic. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
mixed-mode computation, Belief Desire Intention (BDI), intelligent agents, linear logic |
| 1 | Michael Winikoff, Wei Liu, James Harland |
Enhancing Commitment Machines. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Elgedawy, Zahir Tari, Michael Winikoff |
Exact functional context matching for web services. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
context matching, functional matching, web services, service discovery, service matching |
| 1 | Islam Elgedawy, Zahir Tari, Michael Winikoff |
Scenario Matching Using Functional Substitutability in Web Services. |
WISE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff |
Towards a Component-Based Development Framework for Agents. |
MATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff (eds.) |
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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Thangarajah, Lin Padgham, Michael Winikoff |
Detecting & Avoiding Interference Between Goals in Intelligent Agents. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Poutakidis, Lin Padgham, Michael Winikoff |
An Exploration of Bugs and Debugging in Multi-agent Systems. |
ISMIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Khanh Hoa Dam, Michael Winikoff |
Comparing Agent-Oriented Methodologies. |
AOIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Thangarajah, Lin Padgham, Michael Winikoff |
Detecting & exploiting positive goal interaction in intelligent agents. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
co-ordinating plans, goal interactions, rational agents |
| 1 | David Poutakidis, Lin Padgham, Michael Winikoff |
An exploration of bugs and debugging in multi-agent systems. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
agent oriented design, multi-agent systems, debugging, interaction protocols |
| 1 | Sandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff |
An evolving multi agent system for meteorological alerts. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
XML, agents, BDI, alerts, meteorology |
| 1 | James Harland, Michael Winikoff |
Language Design Issues for Agents based on Linear Logic (Extended Abstract). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, Michael Winikoff |
Language Design Issues for Agents based on Linear Logic (Extended Abstract). |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer |
Avoiding Resource Conflicts in Intelligent Agents. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
Declarative & Procedural Goals in Intelligent Agent Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lin Padgham, Michael Winikoff |
Prometheus: A Methodology for Developing Intelligent Agents. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Juan, Leon Sterling, Michael Winikoff |
Assembling Agent Oriented Software Engineering Methodologies from Features. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Poutakidis, Lin Padgham, Michael Winikoff |
Debugging multi-agent systems using design artifacts: the case of interaction protocols. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lin Padgham, Michael Winikoff |
Prometheus: a methodology for developing intelligent agents. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, Michael Winikoff |
Agent negotiation as proof search in linear logic. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland |
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. |
ACSC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Winikoff, Lin Padgham, James Harland |
Simplifying the Development of Intelligent Agents. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
AI Architectures, multiagent systems, software agents, distributed AI, reactive control |
| 1 | Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff |
Verifying Requirements Through Mathematical Modelling and Animation. |
International Journal of Software Engineering and Knowledge Engineering |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, David J. Pym, Michael Winikoff |
Forward and Backward Chaining in Linear Logic. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah-Al Amin, Michael Winikoff, James Harland |
Agent-Oriented Programming in Linear Logic: An Example. |
PRICAI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, Tatjana Lutovac, Michael Winikoff |
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund Kazmierczak, Michael Winikoff, Philip W. Dart |
Verifying Model Oriented Specifications through Animation. (PDF / PS) |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: An Overview. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: A System Demonstration. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff, James Harland |
Implementing the Linear Logic Programming Language Lygon. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: A Brief Overview. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")