| 2007 |
|---|
| 8 | EE | Perry Groot,
Arjen Hommersom,
Peter J. F. Lucas,
Radu Serban,
Annette ten Teije,
Frank van Harmelen:
The Role of Model Checking in Critiquing Based on Clinical Guidelines.
AIME 2007: 411-420 |
| 7 | EE | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Verification of Medical Guidelines Using Background Knowledge in Task Networks.
IEEE Trans. Knowl. Data Eng. 19(6): 832-846 (2007) |
| 6 | EE | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Combining task execution and background knowledge for the verification of medical guidelines.
Knowl.-Based Syst. 20(2): 113-119 (2007) |
| 2006 |
|---|
| 5 | | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
ECAI 2006: 835-836 |
| 2005 |
|---|
| 4 | EE | Arjen Hommersom,
Peter J. F. Lucas,
Patrick van Bommel,
Theo P. van der Weide:
A History-Based Algebra for Quality-Checking Medical Guidelines.
AIME 2005: 161-165 |
| 3 | | Arjen Hommersom,
Peter J. F. Lucas,
Patrick van Bommel:
Argumentation Systems for History-Based Construction of Medical Guidelines.
BNAIC 2005: 135-142 |
| 2 | EE | Arjen Hommersom,
John-Jules Ch. Meyer,
Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach.
Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005) |
| 2004 |
|---|
| 1 | EE | Arjen Hommersom,
Peter J. F. Lucas,
Michael Balser:
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.
JELIA 2004: 654-666 |
