Proceedings of the International Joint Meeting EuroMISE 2004

Book title Buchtitel

Editor Herausgeber_in

Zvárová, Jana
Hanzlicek, Petr
Peleska, Jana
Precková, Petra
Svátek, Vojtech
Valenta, Zdenek

Publisher Herausgeber

EuroMISE

Results 1-4 of 4 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	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
2	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
3	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
4	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