Publications for User 99

Annette Teije, Mar Marcos, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, "{Improving Medical Protocols by Formal Methods}", Artifical Intelligence in Medicine (AIIM), vol. 36, pp. 193–209, 2006. paper
Jonathan Schmitt, Wolfgang Reif, Andreas Seyfang, Silvia Miksch, "{Temporal Dimension of Medical Guidelines: The Semantics of Asbru Time Annotations}", Workshop on AI Techniques in Healthcare: Evidence-based Guidelines and Protocols held in conjunction with European Conference on Artificial Intelligence (ECAI-2006), pp. 68–73, 2006. paper
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "{Protocure: Supporting the Development of Medical Protocols through Formal Methods}", Proceedings of the International Joint Meeting EuroMISE 2004, pp. 81, 2004. paper
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "{Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}", Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004), vol. 101, pp. 103–107, 2004.