Michael Winikoff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
1998–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EUMAS | Engineering Multi-agent Systems and Generative AI: Report from the Agent Toolkits 2025 Community Session. | Andrei Ciortea, Katharine Beaumont, Gianluca Aguzzi, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Giovanni Ciatto, Rem W. Collier, Mehdi Dastani, Angelo Ferrando, Andrea Gatti, nder Grcan, Timotheus Kampik, Jrmy Leme, Somsakun Maneerat, Elisa Marengo, Viviana Mascardi, Simon Mayer, Roberto Micalizio, Guillaume Muller, Vivek Nallur, Richard Niamke, Andrei Olaru, Heloise Pajot, Chlo Petridis, I. S. W. B. Prasetya, Alessandro Ricci, Alexandru Sorici, Stefano Tedeschi, Michael Winikoff |
| 2024 | EMAS | Towards Engineering Explainable Autonomous Systems. | Michael Winikoff |
| 2022 | IJCAI | Why Bad Coffee? Explaining BDI Agent Behaviour with Valuings (Extended Abstract). | Michael Winikoff, Galina Sidorenko, Virginia Dignum, Frank Dignum |
| 2019 | EMAS | On Enactability of Agent Interaction Protocols: Towards a Unified Approach. | Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi |
| 2018 | EMAS | Slicing Agent Programs for More Efficient Verification. | Michael Winikoff, Louise A. Dennis, Michael Fisher |
| 2018 | SAFECOMP | Why Bad Coffee? Explaining Agent Plans with Valuings. | Michael Winikoff, Virginia Dignum, Frank Dignum |
| 2017 | IJCAI | No Pizza for You: Value-based Plan Selection in BDI Agents. | Stephen Cranefield, Michael Winikoff, Virginia Dignum, Frank Dignum |
| 2015 | IJCAI | On the Testability of BDI Agent Systems (Extended Abstract). | Michael Winikoff, Stephen Cranefield |
| 2014 | ECAI | Checking The Correctness of Agent Designs Against Model-Based Requirements. | Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah |
| 2013 | ACE | A process for novice programming using goals and plans. | Minjie Hu, Michael Winikoff, Stephen Cranefield |
| 2010 | ECAI | A unified interaction-aware goal framework. | Michael Winikoff, Mehdi Dastani, M. Birna van Riemsdijk |
| 2008 | AAAI | Prometheus Design Tool. | Lin Padgham, John Thangarajah, Michael Winikoff |
| 2005 | KES | Learning Within the BDI Framework: An Empirical Analysis. | Bao Toan Phung, Michael Winikoff, Lin Padgham |
| 2004 | ICSOC | Exact functional context matching for web services. | Islam Elgedawy, Zahir Tari, Michael Winikoff |
| 2004 | WISE | Scenario Matching Using Functional Substitutability in Web Services. | Islam Elgedawy, Zahir Tari, Michael Winikoff |
| 2003 | IJCAI | Detecting & Avoiding Interference Between Goals in Intelligent Agents. | John Thangarajah, Lin Padgham, Michael Winikoff |
| 2003 | ISMIS | An Exploration of Bugs and Debugging in Multi-agent Systems. | David Poutakidis, Lin Padgham, Michael Winikoff |
| 2002 | ECAI | Avoiding Resource Conflicts in Intelligent Agents. | John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer |
| 2002 | KR | Declarative & Procedural Goals in Intelligent Agent Systems. | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
| 2000 | PRICAI | Agent-Oriented Programming in Linear Logic: An Example. | Abdullah-Al Amin, Michael Winikoff, James Harland |
| 1998 | APSEC | Verifying Model Oriented Specifications through Animation. | Edmund Kazmierczak, Michael Winikoff, Philip W. Dart |