Publications

Select Project:

2008
2008
ten Teije A, Lucas P, Miksch S. {Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends}. In: ten Teije A, Lucas P, Miksch S, editors. Health Technology and Informatics. IOS Press; 2008. v–vii.
2008
Aigner W, Kaiser K, Miksch S. {Visualization Techniques to Support Authoring, Execution, and Maintenance of Clinical Guidelines}. In: ten Teije A, Lucas P, Miksch S, editors. Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Health Technology and Informatics; 2008. p. 140-59.application/pdf iconpaper
2008
ten Teije A, Lucas P, Miksch S. {Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends}. In: ten Teije A, Lucas P, Miksch S, editors. Health Technology and Informatics. IOS Press; 2008. v–vii.
2008
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