Christoph Duelli

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

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. Artif. Intell. Medicine 36 (3) (2006)
Michael Balser, Óscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter J. F. Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije
Protocure: Supporting the Development of Medical Protocols through Formal Methods. CGP (2004)
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
Experiences in the Formalisation and Verification of Medical Protocols. AIME (2003)
Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12 (4) (2002)