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

Arjen Hommersom

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEArjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Checking the Quality of Clinical Guidelines using Automated Reasoning Tools CoRR abs/0806.0250: (2008)
10EEArjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Checking the quality of clinical guidelines using automated reasoning tools. TPLP 8(5-6): 611-641 (2008)
2007
9EEPerry 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
8EEArjen Hommersom, Peter J. F. Lucas: Actions with Failures in Interval Temporal Logic. CLIMA VIII 2007: 22-41
7EEArjen 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)
6EEArjen 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
4EEArjen 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
2EEArjen 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
1EEArjen Hommersom, Peter J. F. Lucas, Michael Balser: Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. JELIA 2004: 654-666

Coauthor Index

1Michael Balser [1] [5] [6] [7]
2Patrick van Bommel [3] [4] [10] [11]
3Perry Groot [5] [6] [7] [9]
4Frank van Harmelen [9]
5Peter J. F. Lucas [1] [3] [4] [5] [6] [7] [8] [9] [10] [11]
6John-Jules Ch. Meyer [2]
7Jonathan Schmitt [5] [6] [7]
8Radu Serban [9]
9Annette ten Teije [9]
10Erik P. de Vink [2]
11Theo P. van der Weide [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)