Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verification of Medical Guidelines Using Task Execution with Background Knowledge.

A. Hommersom, P. Groot, P. Lucas, M. Balser, and J. Schmitt. ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 835-836. IOS Press, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jonathan Böhm University of Stuttgart

Marvin Schmitt University of Stuttgart

Univ. -Prof. Dr. Syn Schmitt University of Stuttgart

Jonathan Eck University of Stuttgart

Jonathan Villing University of Stuttgart

Other publications of authors with the same name

A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks.D. Lilja, and J. Schmitt. EUROSIM, page 355-362. Elsevier, (1994)Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines).J. Schmitt. it - Information Technology, 52 (4): 229-231 (2010)Verification of Medical Guidelines Using Background Knowledge in Task Networks.A. Hommersom, P. Groot, P. Lucas, M. Balser, and J. Schmitt. IEEE Trans. Knowl. Data Eng., 19 (6): 832-846 (2007)Combining task execution and background knowledge for the verification of medical guidelines.A. Hommersom, P. Groot, P. Lucas, M. Balser, and J. Schmitt. Knowl.-Based Syst., 20 (2): 113-119 (2007)Verification of Medical Guidelines by Model Checking - A Case Study.S. Bäumler, M. Balser, A. Dunets, W. Reif, and J. Schmitt. SPIN, volume 3925 of Lecture Notes in Computer Science, page 219-233. Springer, (2006)Verification of Medical Guidelines Using Task Execution with Background Knowledge.A. Hommersom, P. Groot, P. Lucas, M. Balser, and J. Schmitt. ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 835-836. IOS Press, (2006)Interactive Verification of Medical Guidelines.J. Schmitt, A. Hoffmann, M. Balser, W. Reif, and M. Marcos. FM, volume 4085 of Lecture Notes in Computer Science, page 32-47. Springer, (2006)Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines.A. Hommersom, P. Groot, P. Lucas, M. Balser, and J. Schmitt. SGAI Conf., page 3-16. Springer, (2006)Modellierung und Verifikation medizinischer Leitlinien.J. Schmitt. Ausgezeichnete Informatikdissertationen, volume D-9 of LNI, GI, (2008)