Search the dblp DataBase
Jonathan Schmitt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Task Execution with Background Knowledge. [Citation Graph (0, 0)][DBLP]
ECAI, 2006, pp:835-836 [Conf] - David J. Lilja, Jonathan Schmitt
A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks. [Citation Graph (0, 0)][DBLP]
EUROSIM, 1994, pp:355-362 [Conf] - Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
Interactive Verification of Medical Guidelines. [Citation Graph (0, 0)][DBLP]
FM, 2006, pp:32-47 [Conf] - Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
Verification of Medical Guidelines by Model Checking - A Case Study. [Citation Graph (0, 0)][DBLP]
SPIN, 2006, pp:219-233 [Conf] - Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Combining task execution and background knowledge for the verification of medical guidelines. [Citation Graph (0, 0)][DBLP]
Knowl.-Based Syst., 2007, v:20, n:2, pp:113-119 [Journal] - Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Background Knowledge in Task Networks. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Knowl. Data Eng., 2007, v:19, n:6, pp:832-846 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002