Jonathan Schmitt

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Jonathan Schmitt
Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines). it Inf. Technol. 52 (4) (2010)
Jonathan Schmitt
Modellierung und Verifikation medizinischer Leitlinien. Ausgezeichnete Informatikdissertationen (2008)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Background Knowledge in Task Networks. IEEE Trans. Knowl. Data Eng. 19 (6) (2007)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Combining task execution and background knowledge for the verification of medical guidelines. Knowl. Based Syst. 20 (2) (2007)
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
Interactive Verification of Medical Guidelines. FM (2006)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Task Execution with Background Knowledge. ECAI (2006)
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
Verification of Medical Guidelines by Model Checking - A Case Study. SPIN (2006)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. SGAI Conf. (2006)
David J. Lilja, Jonathan Schmitt
A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks. EUROSIM (1994)