| 2009 | ICWE | RESTful Transactions Supported by the Isolation Theorems. | Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause |
| 2009 | ICWS | RETRO: A Consistent and Recoverable RESTful Transaction Model. | Alexandros Marinos, Amir Reza Razavi, Sotiris Moschoyiannis, Paul J. Krause |
| 2009 | MEDES | Towards a RESTful infrastructure for digital ecosystems. | Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause |
| 2006 | COMMA | Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications. | Daniel Bryant, Paul J. Krause, Gerard Vreeswijk |
| 2006 | JELIA | An Implementation of a Lightweight Argumentation Engine for Agent Applications. | Daniel Bryant, Paul J. Krause |
| 2006 | JELIA | A Tool to Facilitate Agent Deliberation. | Daniel Bryant, Paul J. Krause, Sotiris Moschoyiannis |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 1995 | UAI | Is There a Role for Qualitative Risk Assessment? | Paul J. Krause, John Fox, Philip N. Judson |
| 1993 | ECSQARU | Acceptability of arguments as 'logical uncertainty'. | Morten Elvang-Gransson, Paul J. Krause, John Fox |
| 1993 | UAI | Dialectic reasoning with inconsistent information. | Morten Elvang-Gransson, Paul J. Krause, John Fox |
| 1993 | UAI | Argumentation as a General Framework for Uncertain Reasoning. | John Fox, Paul J. Krause, Morten Elvang-Gransson |
| 1992 | ECAI | Arguments, Contradicitions and Practical Reasoning. | John Fox, Paul J. Krause, Simon Ambler |
| 1992 | IPMU | The Development of a "Logic of Argumentation". | Paul J. Krause, Simon Ambler, John Fox |
| 1991 | ECSQARU | An Extended Logic Language For Representing Belief. | John Fox, Paul J. Krause, Mirko Dohnal |
| 1991 | UAI | Decision Theory and Autonomous Systems. | John Fox, Paul J. Krause |