Christoph Duelli

	2006
3		Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang: Improving medical protocols by formal methods. Artificial Intelligence in Medicine 36(3): 193-209 (2006)
	2003
2		Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli: Experiences in the Formalisation and Verification of Medical Protocols. AIME 2003: 132-141
	2002
1		Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)

Coauthor Index

1	Michael Balser	[1] [2] [3]
2	Joyce van Croonenborg	[3]
3	Frank van Harmelen	[2] [3]
4	Peter J. F. Lucas	[3]
5	Mar Marcos	[2] [3]
6	Silvia Miksch	[3]
7	Wolfgang Reif	[1] [3]
8	Kitty Rosenbrand	[3]
9	Gerhard Schellhorn	[1]
10	Andreas Seyfang	[3]
11	Annette ten Teije	[2] [3]