Publications

Select Project:

Seyfang A, Martinez-Salvador B, Serban R, Wittenberg J, Miksch S, Marcos M, et al. {Maintaining Formal Models of Living Guidelines Efficiently}. In: Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME 2007). Springer; 2007. p. 441-5.
2007
Seyfang A, Miksch S, Marcos M, Wittenberg J, Polo-Conde C, Rosenbrand K. {Bridging the Gap between Informal and Formal Guideline Representations}. In: European Conference on Artificial Intelligence (ECAI-2006).; 2006. p. 447-51.
2006
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
Polo-Conde C, Marcos M, Seyfang A, Wittenberg J, Miksch S, Rosenbrand K. {Assessment of MHB: an Intermediate Language for the Representation of Medical Guidelines}. In: MarÌn R, Onaindia E, Bugarin A, Santos J, editors. Proceedings of the 10th Conference of the Spanish Association for Artificial Intelligence (CAEPIA-05).; 2005. I-19–I-28.application/pdf iconpaper
2005
Seyfang A, Miksch S, Polo-Conde C, Wittenberg J, Marcos M, Rosenbrand K. {MHB–A Many-Headed Bridge Between Informal and Formal Guideline Representations}. In: Miksch S, Hunter J, Keravnou E, editors. Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 2005). Springer; 2005. p. 146-50.
2005
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
2004