Christoph Duelli

According to our database, Christoph Duelli authored at least 5 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Enabling Flexible Laboratory Processes: Designing the Laboratory Information System of the Future.

Christoph Duelli, Robert Keller, Jonas Manderscheid, Andreas Manntz, Maximilian Röglinger, Marco Schmidt

Proceedings of the Business Process Management Cases, 2018

2006

Improving medical protocols by formal methods.

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

Artif. Intell. Medicine, 2006

2004

Protocure: Supporting the Development of Medical Protocols through Formal Methods.

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

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2003

Experiences in the Formalisation and Verification of Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli

Proceedings of the Artificial Intelligence in Medicine, 2003

2002

Verifying Concurrent Systems with Symbolic Execution.

Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn

J. Log. Comput., 2002