|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Aigner, Wolfgang ; Miksch, Silvia ; Zvárová, Jana ; Hanzlicek, Petr ; Peleska, Jana ; Precková, Petra ; Svátek, Vojtech ; Valenta, Zdenek | Communicating the Logic of a Treatment Plan Formulated in Asbru to Domain Experts | Konferenzbeitrag Inproceedings | 2004 |
| 2 | | Kaiser, Katharina ; Miksch, Silvia ; Zvárová, Jana ; Hanzlicek, Petr ; Peleska, Jana ; Precková, Petra ; Svátek, Vojtech ; Valenta, Zdenek | TimeWrap - A Method for Automatic Transformation of Structured Guideline Components into Formal Process-Representations | Konferenzbeitrag Inproceedings | 2004 |
| 3 | | Seyfang, Andreas ; Miksch, Silvia ; Zvárová, Jana ; Hanzlicek, Petr ; Peleska, Jana ; Precková, Petra ; Svátek, Vojtech ; Valenta, Zdenek | Advanced Temporal Data Abstraction for Guideline Execution | Konferenzbeitrag Inproceedings | 2004 |
| 4 | | Balser, Michael ; Coltell, Oscar ; van Croonenborg, Joyce ; Duelli, Christoph ; van Harmelen, Frank ; Jovell, Albert ; Lucas, Peter ; Marcos, Mar ; Miksch, Silvia ; Reif, Wolfgang ; Rosenbrand, Kitty ; Seyfang, Andreas ; ten Teije, Annette ; Zvárová, Jana ; Hanzlicek, Petr ; Peleska, Jana ; Precková, Petra ; Svátek, Vojtech ; Valenta, Zdenek | Protocure: Supporting the Development of Medical Protocols Through Formal Methods | Konferenzbeitrag Inproceedings | 2004 |
