Publications

Select Project:

Kaiser K, Miksch S. {Timewrap – A Method for Automatic Transformation of Structured Guideline Components into Formal Process Representations}. 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. 61-74. (Studies in Health Technology and Informatics; vol 101).application/pdf iconpaper
2004
Seyfang A, Miksch S. {Advanced Temporal Data Abstraction for Guideline Execution,}. 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. 88-103. (Studies in Health Technology and Informatics; vol 101).
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
Votruba P, Miksch S, Kosara R. {Tracing the Formalization Steps of Textual Guidelines}. 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 101. IOS Press; 2004. p. 172-6. (Studies in Health Technology and Informatics; vol 101 101).application/pdf iconpaper
2004
Aigner W, Miksch S. {Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts}. 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. 1-15. (Studies in Health Technology and Informatics; vol 101).application/pdf iconpaper
2004
Peleg M, Tu S, Bury J, Ciccarese P, Fox J, Greenes R, et al. {Comparing Computer-Interpretable Guideline Models: A Case-Study Approach, }. The Journal of the American Medical Informatics Association (JAMIA). 2003;10:52-68.application/pdf iconpaper
2003