Arjen Hommersom

	2009
12		Arjen Hommersom, Nivea de Carvalho Ferreira, Peter J. F. Lucas: Integrating Logical Reasoning and Probabilistic Chain Graphs. ECML/PKDD (1) 2009: 548-563
	2008
11		Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Checking the Quality of Clinical Guidelines using Automated Reasoning Tools CoRR abs/0806.0250: (2008)
10		Arjen 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
9		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
8		Arjen Hommersom, Peter J. F. Lucas: Actions with Failures in Interval Temporal Logic. CLIMA VIII 2007: 22-41
7		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		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		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		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		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

Coauthor Index

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

Colors in the list of coauthors