2007 |
6 | EE | 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): 832-846 (2007) |
5 | EE | 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): 113-119 (2007) |
2006 |
4 | | Arjen Hommersom,
Perry Groot,
Peter J. F. Lucas,
Michael Balser,
Jonathan Schmitt:
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
ECAI 2006: 835-836 |
3 | EE | Jonathan Schmitt,
Alwin Hoffmann,
Michael Balser,
Wolfgang Reif,
Mar Marcos:
Interactive Verification of Medical Guidelines.
FM 2006: 32-47 |
2 | EE | Simon Bäumler,
Michael Balser,
Andriy Dunets,
Wolfgang Reif,
Jonathan Schmitt:
Verification of Medical Guidelines by Model Checking - A Case Study.
SPIN 2006: 219-233 |
1994 |
1 | | David J. Lilja,
Jonathan Schmitt:
A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks.
EUROSIM 1994: 355-362 |