Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Christoph Duelli

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/artmed/TeijeMBCDHLMRRS06
- ask others
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
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aime/MarcosBTHD03
- ask others
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
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/BalserDRS02
- ask others
Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)