Name Card

Full name Familienname, Vorname
van Harmelen, Frank
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1ten 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
2Balser, 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 Protocure: Supporting the Development of Medical Protocols Through Formal MethodsKonferenzbeitrag Inproceedings2004
3Balser, 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 Protocure: Supporting the Development of Medical Protocols Through Formal MethodsKonferenzbeitrag Inproceedings2004

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Werthner, Hannes ; van Harmelen, Frank Informatics in the FutureBuch Book2017
2Linsbichler, Thomas ; Puehrer, Joerg ; Strass, Hannes A uniform account of realizability in abstract argumentationKonferenzbeitrag Inproceedings 2016
3Brewka, Gerd ; Mailly, Jean-Guy ; Woltran, Stefan Translation-Based Revision and Merging for Minimal Horn ReasoningKonferenzbeitrag Inproceedings 2016
4Haret, Adrian ; Pfandler, Andreas ; Woltran, Stefan Beyond IC Postulates: Classification Criteria for Merging OperatorsKonferenzbeitrag Inproceedings 2016
5Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan Clique-Width and Directed Width Measures for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2016
6Frank, Andrew U. Why Is Cartographic Generalization so Hard?Konferenzbeitrag Inproceedings2009