|
Search the dblp DataBase
Christoph Duelli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
Experiences in the Formalisation and Verification of Medical Protocols. [Citation Graph (0, 0)][DBLP] AIME, 2003, pp:132-141 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Artificial Intelligence in Medicine, 2006, v:36, n:3, pp:193-209 [Journal]
- Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
Verifying Concurrent Systems with Symbolic Execution. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:4, pp:549-560 [Journal]
Search in 0.001secs, Finished in 0.001secs
|