Jonathan Schmitt

According to our database, Jonathan Schmitt authored at least 10 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines).

Jonathan Schmitt

it Inf. Technol., 2010

2009

Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines)

Jonathan Schmitt

PhD thesis, 2009

2008

Modellierung und Verifikation medizinischer Leitlinien.

Jonathan Schmitt

Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008

Verification of Medical Guidelines in KIV.

Jonathan Schmitt, Michael Balser, Wolfgang Reif

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

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

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

2006

Verification of Medical Guidelines by Model Checking - A Case Study.

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Interactive Verification of Medical Guidelines.

Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos

Proceedings of the FM 2006: Formal Methods, 2006

Verification of Medical Guidelines Using Task Execution with Background Knowledge.

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

1994

A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks.

David J. Lilja, Jonathan Schmitt

Proceedings of the Massively Parallel Processing Applications and Develompent, 1994