dblp.uni-trier.dewww.uni-trier.de

Michael Winikoff Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
72EEMatteo 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
71EEAmir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff: Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43
70EEJason Khallouf, Michael Winikoff: The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation. IJAOSE 3(1): 88-112 (2009)
69EEMichael Winikoff: Future directions for agent-based software engineering. IJAOSE 3(4): 402-410 (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
65EEKhanh Hoa Dam, Michael Winikoff: Cost-based BDI plan selection for change propagation. AAMAS (1) 2008: 217-224
64EEM. Birna van Riemsdijk, Mehdi Dastani, Michael Winikoff: Goals in agent systems: a unifying framework. AAMAS (2) 2008: 713-720
63EELin Padgham, Michael Winikoff, Scott A. DeLoach, Massimo Cossentino: A Unified Graphical Notation for AOSE. AOSE 2008: 116-130
62EEKhanh Hoa Dam, Michael Winikoff: Evaluating an Agent-Oriented Approach for Change Propagation. AOSE 2008: 159-172
2007
61EEMichael Winikoff: Implementing commitment-based interactions. AAMAS 2007: 128
60EELin Padgham, John Thangarajah, Michael Winikoff: AUML protocols and code generation in the Prometheus design tool. AAMAS 2007: 270
59EEKhanh Hoa Dam, Michael Winikoff: Generation of Repair Plans for Change Propagation. AOSE 2007: 132-146
58EELin Padgham, John Thangarajah, Michael Winikoff: The Prometheus Design Tool - A Conference Management System Case Study. AOSE 2007: 197-211
57EEFrank Dignum, Virginia Dignum, John Thangarajah, Lin Padgham, Michael Winikoff: Open Agent Systems??? AOSE 2007: 73-87
56EEDuc Quang Pham, James Harland, Michael Winikoff: Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157
55EEMichael 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
53EEGaya Buddhinath Jayatilleke, John Thangarajah, Lin Padgham, Michael Winikoff: Component Agent Framework for domain-Experts (CAFnE) toolkit. AAMAS 2006: 1465-1466
52EEGaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff: Evaluating a Model Driven Development Toolkit for Domain Experts to Modify Agent Based Systems. AOSE 2006: 190-207
51EECarles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff: Designing Institutional Multi-Agent Systems. AOSE 2006: 84-103
50EEKhanh Hoa Dam, Michael Winikoff, Lin Padgham: An agent-oriented approach to change propagation in software evolution. ASWEC 2006: 309-318
49EERafael H. Bordini, Mehdi Dastani, Michael Winikoff: Current Issues in Multi-Agent Systems Development. ESAW 2006: 38-61
48EEMichael Winikoff: Designing Commitment-Based Agent Interactions. IAT 2006: 363-370
47EEMichael 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
45EEChristopher Cheong, Michael Winikoff: Hermes: a methodology for goal oriented agent interactions. AAMAS 2005: 1121-1122
44EEJohn Thangarajah, Lin Padgham, Michael Winikoff: Prometheus design tool. AAMAS 2005: 127-128
43EEAloys Mbala, Lin Padgham, Michael Winikoff: Design Options for Subscription Managers. AOIS 2005: 259-274
42EEChristopher Cheong, Michael Winikoff: Hermes: Designing Goal-Oriented Agent Interactions. AOSE 2005: 16-27
41EEToan Phung, Michael Winikoff, Lin Padgham: Learning Within the BDI Framework: An Empirical Analysis. KES (3) 2005: 282-288
40EEMichael Winikoff: An AgentSpeak Meta-interpreter and Its Applications. PROMAS 2005: 123-138
39EEChristopher Cheong, Michael Winikoff: Hermes: Implementing Goal-Oriented Agent Interactions. PROMAS 2005: 168-183
38EELin Padgham, John Thangarajah, Michael Winikoff: Tool Support for Agent Development using the Prometheus Methodology. QSIC 2005: 383-388
37EEJason Khallouf, Michael Winikoff: Towards Goal-Oriented Design of Agent Systems. QSIC 2005: 389-394
36EEMichael Winikoff: Towards Making Agent UML Practical: A Textual Notation and a Tool. QSIC 2005: 401-412
35EEChristopher 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
31EEMichael Winikoff, Wei Liu, James Harland: Enhancing Commitment Machines. DALT 2004: 198-220
30EEIslam Elgedawy, Zahir Tari, Michael Winikoff: Exact functional context matching for web services. ICSOC 2004: 143-152
29EEGaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff: Towards a Component-Based Development Framework for Agents. MATES 2004: 183-197
28EEIslam Elgedawy, Zahir Tari, Michael Winikoff: Scenario Matching Using Functional Substitutability in Web Services. WISE 2004: 59-65
27EEJames Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004)
2003
26EEDavid Poutakidis, Lin Padgham, Michael Winikoff: An exploration of bugs and debugging in multi-agent systems. AAMAS 2003: 1100-1101
25EEJohn Thangarajah, Lin Padgham, Michael Winikoff: Detecting & exploiting positive goal interaction in intelligent agents. AAMAS 2003: 401-408
24EESandy Dance, Malcolm Gorman, Lin Padgham, Michael Winikoff: An evolving multi agent system for meteorological alerts. AAMAS 2003: 966-967
23EEKhanh 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
21EEDavid Poutakidis, Lin Padgham, Michael Winikoff: An Exploration of Bugs and Debugging in Multi-agent Systems. ISMIS 2003: 628-632
2002
20EELin Padgham, Michael Winikoff: Prometheus: a methodology for developing intelligent agents. AAMAS 2002: 37-38
19EEJames Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939
18EEDavid Poutakidis, Lin Padgham, Michael Winikoff: Debugging multi-agent systems using design artifacts: the case of interaction protocols. AAMAS 2002: 960-967
17EEOmer 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
16EELin Padgham, Michael Winikoff: Prometheus: A Methodology for Developing Intelligent Agents. AOSE 2002: 174-185
15EEThomas 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
11EEJames Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
10EEMichael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568
2000
9EEJames 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
7EEJames 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
5EEEdmund 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

Coauthor Index

1Abdullah-Al Amin [8]
2Amir Aryani [71]
3Matteo Baldoni [68] [72]
4Rafael H. Bordini [49]
5Paolo Bresciani [46] [54]
6Christopher Cheong [35] [39] [42] [45]
7Massimo Cossentino [63]
8Khanh Hoa Dam [23] [50] [59] [62] [65]
9Sandy Dance [24]
10Philip W. Dart [5] [6]
11Mehdi Dastani [49] [64] [67]
12Scott A. DeLoach [63]
13Frank Dignum (F. P. M. Dignum) [57]
14Virginia Dignum [57]
15Islam Elgedawy [28] [30]
16Amal El Fallah-Seghrouchni [67]
17Klaus Fischer [13]
18Paolo Giorgini [32] [46]
19Malcolm Gorman [24]
20Margaret Hamilton [71]
21James Harland [1] [2] [3] [4] [7] [8] [9] [10] [11] [12] [14] [17] [19] [27] [31] [56]
22Brian Henderson-Sellers [32] [46] [54]
23Gaya Buddhinath Jayatilleke [29] [33] [52] [53]
24Thomas Juan [15]
25Edmund Kazmierczak [5] [6]
26Jason Khallouf [37] [70]
27Manuel Kolp [54]
28Wei Liu [31]
29Graham C. Low (Graham Cedric Low, Graham Low) [46]
30Tatjana Lutovac [9]
31Aloys Mbala [43]
32Lin Padgham [10] [12] [13] [16] [17] [18] [20] [21] [22] [24] [25] [26] [29] [33] [38] [41] [43] [44] [50] [51] [52] [53] [57] [58] [60] [63] [66]
33Ian D. Peake [71]
34Duc Quang Pham [56]
35Toan Phung [41]
36David Poutakidis [18] [21] [26]
37David J. Pym [2] [3] [4] [7]
38Omer F. Rana [17]
39Alessandro Ricci [67]
40M. Birna van Riemsdijk (Birna van Riemsdijk) [64] [68] [72]
41Heinz W. Schmidt [71]
42Carles Sierra [51]
43Tran Cao Son [68] [72]
44Leon Sterling [6] [15]
45Zahir Tari [28] [30]
46John Thangarajah [12] [13] [22] [25] [38] [44] [51] [53] [57] [58] [60] [66]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)