| 2007 |
|---|
| 5 | EE | Andreas Seyfang,
Begoña Martínez-Salvador,
Radu Serban,
Jolanda Wittenberg,
Silvia Miksch,
Mar Marcos,
Annette ten Teije,
Kitty Rosenbrand:
Maintaining Formal Models of Living Guidelines Efficiently.
AIME 2007: 441-445 |
| 2006 |
|---|
| 4 | | Andreas Seyfang,
Silvia Miksch,
Mar Marcos,
Jolanda Wittenberg,
Cristina Polo-Conde,
Kitty Rosenbrand:
Bridging the Gap Between Informal and Formal Guideline Representations.
ECAI 2006: 447-451 |
| 3 | EE | Annette ten Teije,
Mar Marcos,
Michael Balser,
Joyce van Croonenborg,
Christoph Duelli,
Frank van Harmelen,
Peter J. F. Lucas,
Silvia Miksch,
Wolfgang Reif,
Kitty Rosenbrand,
Andreas Seyfang:
Improving medical protocols by formal methods.
Artificial Intelligence in Medicine 36(3): 193-209 (2006) |
| 2005 |
|---|
| 2 | EE | Radu Serban,
Annette ten Teije,
Mar Marcos,
Cristina Polo-Conde,
Kitty Rosenbrand,
Jolanda Wittenberg,
Joyce van Croonenborg:
Design Patterns for Modelling Guidelines.
AIME 2005: 121-125 |
| 1 | EE | Andreas Seyfang,
Silvia Miksch,
Cristina Polo-Conde,
Jolanda Wittenberg,
Mar Marcos,
Kitty Rosenbrand:
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations.
AIME 2005: 146-150 |
