Concepedia
Artificial Intelligence in Medicine · 2009 · 57 citations · 20 references
ComputingBiomedical InformaticsClinical Decision SupportFormal MethodsClinical Practice GuidelinesModel CheckingPatient VerificationVerificationAutomated Model CheckingModel VerificationModel-based Verification
20
Comparing Computer-interpretable Guideline Models: A Case-study Approach
Mor Peleg, Samson W. Tu, Jonathan Bury et al. · Journal of the American Medical Informatics Association · 2003 · 547 citations · Full text
Computing, Biomedical Informatics, Health Informatics +17
The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines
Yuval Shaḥar, Silvia Miksch, Peter D. Johnson · Artificial Intelligence in Medicine · 1998 · 452 citations
Computing, Biomedical Informatics, Health Informatics +16
A Randomized Trial of "Corollary Orders" to Prevent Errors of Omission
J. Marc Overhage, William M. Tierney, Xiao‐Hua Zhou et al. · Journal of the American Medical Informatics Association · 1997 · 380 citations · Full text
Health Professions, Health Informatics, Health Services Administration +11
EON: A Component-Based Approach to Automation of Protocol-Directed Therapy
Mark A. Musen, Samson W. Tu, Amar K. Das et al. · Journal of the American Medical Informatics Association · 1996 · 347 citations · Full text
Disseminating medical knowledge: the PROforma approach
John Fox, Nicky Johns, Ali Rahmanzadeh · Artificial Intelligence in Medicine · 1998 · 310 citations
Medicine, Knowledge Management, Medical Education +11