Publications for User 35

David Riano, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette Teije, "Process Support and Knowledge Representation in Health Care", Lecture Notes in Artificial Intelligence, pp. 159, 2013. paper
Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, David Riano, Annette Teije, "Process Support and Knowledge Representation in Health Care: BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012", Lecture Notes in Artificial Intelligence, 2013. paper
David Riano, Annette Teije, Silvia Miksch, "Knowledge Representation for Health-Care: AIME 2011 Workshop KR4HC 2011: Revised Selected Papers", Lecture Notes in Artificial Intelligence, vol. 6924, pp. 171, 2012. paper
David Riano, Annette Teije, Silvia Miksch, Mor Peleg, "Knowledge Representation for Health-Care", Lecture Notes in Artificial Intelligence, vol. 6512, pp. 153, 2011. paper
Annette Teije, Peter Lucas, Silvia Miksch, "{Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends}", Health Technology and Informatics, pp. v–vii, 2008.
Andreas Seyfang, Begona Martinez-Salvador, Radu Serban, Jolanda Wittenberg, Silvia Miksch, Mar Marcos, Annette Teije, Kitty Rosenbrand, "{Maintaining Formal Models of Living Guidelines Efficiently}", Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME 2007), pp. 441–445, 2007.
Annette Teije, Mar Marcos, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, "{Improving Medical Protocols by Formal Methods}", Artifical Intelligence in Medicine (AIIM), vol. 36, pp. 193–209, 2006. paper
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "{Protocure: Supporting the Development of Medical Protocols through Formal Methods}", Proceedings of the International Joint Meeting EuroMISE 2004, pp. 81, 2004. paper
Michael Balser, Oscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette Teije, "{Protocure: Integrating Formal Methods in the Development Process of Medical Guidelines and Protocols}", Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols (CGP 2004), vol. 101, pp. 103–107, 2004.
Mar Marcos, G Berger, Frank van Harmelen, Annette Teije, H Roomans, Silvia Miksch, "{Using Critiquing for Improving Medical Protocols: Harder than it Seems}", Proceedings of European Conference on Artificial Intelligence in Medicine (AIME 2001), pp. 431–441, 2001. paper
Mar Marcos, G Berger, Frank van Harmelen, Annette Teije, H Roomans, Silvia Miksch, "{Using Critiquing for Improving Medical Protocols: Harder than it Seems}", 13th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-01), pp. 191–192, 2001.