A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks. - David J. Lilja; Jonathan Schmitt (EUROSIM, 1994)

Verification of Medical Guidelines Using Task Execution with Background Knowledge. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (ECAI, 2006)

Interactive Verification of Medical Guidelines. - Jonathan Schmitt; Alwin Hoffmann; Michael Balser; Wolfgang Reif; Mar Marcos (FM, 2006)

Verification of Medical Guidelines by Model Checking - A Case Study. - Simon Bäumler; Michael Balser; Andriy Dunets; Wolfgang Reif; Jonathan Schmitt (SPIN, 2006)

Combining task execution and background knowledge for the verification of medical guidelines. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (Knowl. Based Syst., 2007)

Verification of Medical Guidelines Using Background Knowledge in Task Networks. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (IEEE Trans. Knowl. Data Eng., 2007)

Verification of Medical Guidelines in KIV. - Jonathan Schmitt; Michael Balser; Wolfgang Reif (Computer-based Medical Guidelines and Protocols, 2008)

Modellierung und Verifikation medizinischer Leitlinien. - Jonathan Schmitt (Ausgezeichnete Informatikdissertationen, 2008)

Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines) - Jonathan Schmitt (2009)

Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines). - Jonathan Schmitt (it Inf. Technol., 2010)