Publications

Select Project:

ten Teije A, Marcos M, van Croonenborg J, Duelli C, van Harmelen F, Lucas P, et al. {Improving Medical Protocols by Formal Methods}. Artifical Intelligence in Medicine (AIIM). 2006;36:193-209.application/pdf iconpaper
2006
2004
Balser M, Coltell O, van Croonenborg J, Duelli C, van Harmelen F, Jovell A, et al. {Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}. In: Kaiser K, Miksch S, Tu S, editors. Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004). Vol 101. IOS Press; 2004. p. 103-7. (Studies in Health Technology and Informatics; vol 101).
2004
Horn W, Popow C, Miksch S, Seyfang A. {Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use}. In: van Harmelen F, editor. Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002).; 2002. p. 613-7.application/pdf iconpaper
2002
Marcos M, Berger G, van Harmelen F, ten Teije A, Roomans H, Miksch S. {Using Critiquing for Improving Medical Protocols: Harder than it Seems}. In: 13th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-01).; 2001. p. 191-2.
2001
Marcos M, Berger G, van Harmelen F, ten Teije A, Roomans H, Miksch S. {Using Critiquing for Improving Medical Protocols: Harder than it Seems}. In: Quaglini S, Barahona P, Andreassen S, editors. Proceedings of European Conference on Artificial Intelligence in Medicine (AIME 2001). Springer; 2001. p. 431-41.application/pdf iconpaper
2001
1997