PROTOCURE

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
PROTOCURE
 
Project Title (de) Projekttitel (de)
PROTOCURE
 
Project Title (en) Projekttitel (en)
PROTOCURE: Integrating formal methods in the development process of medical guidelines and protocols
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
IST-FP6-508794
 

Publications

Results 1-6 of 6 (Search time: 0.316 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Seyfang, Andreas ; Kaiser, Katharina ; Miksch, Silvia ; Adlassnig, Klaus-Peter Modelling Clinical Guidelines and Protocols for the Prevention of Risks Against Patient SafetyKonferenzbeitrag Inproceedings 2009
2Votruba, Peter ; Seyfang, Andreas ; Paesold, Michael ; Miksch, Silvia ; Brewka, Gerd ; Coradeschi, Silvia ; Perini, Anna ; Traverso, Paolo Environment-Driven Skeletal Plan Execution for the Medical DomainKonferenzbeitrag Inproceedings2006
3Schmitt, Jonathan ; Reif, Wolfgang ; Seyfang, Andreas ; Miksch, Silvia ; ten Teije, Annette ; Miksch, Silvia ; Lucas, Peter Temporal Dimension of Medical Guidelines: The Semantics of Asbru Time AnnotationsKonferenzbeitrag Inproceedings2006
4Votruba, Peter ; Seyfang, Andreas ; Paesold, Michael ; Miksch, Silvia ; ten Teije, Annette ; Miksch, Silvia ; Lucas, Peter Improving the Execution of Clinical Guidelines and Temporal Data Abstraction in High-Frequency DomainsKonferenzbeitrag Inproceedings2006
5Seyfang, Andreas ; Miksch, Silvia ; Marcos, Mar ; Wittenberg, Jolanda ; Polo-Conde, Cristina ; Rosenbrand, Kitty ; Brewka, Gerd ; Coradeschi, Silvia ; Perini, Anna ; Traverso, Paolo Bridging the Gap between Informal and Formal Guideline RepresentationsKonferenzbeitrag Inproceedings2006
6ten Teije, Annette ; Marcos, Mar ; Balser, Michael ; van Croonenborg, Joyce ; Duelli, Christoph ; van Harmelen, Frank ; Lucas, Peter ; Miksch, Silvia ; Reif, Wolfgang ; Rosenbrand, Kitty ; Seyfang, Andreas Improving medical protocols by formal methodsArtikel Article2006