-
2
-
-
0033852784
-
Evidence-Based Medicine and Practice Guidelines: An Overview
-
S.H. Woolf, "Evidence-Based Medicine and Practice Guidelines: An Overview," Cancer Control, vol. 7, pp. 362-367, 2000.
-
(2000)
Cancer Control
, vol.7
, pp. 362-367
-
-
Woolf, S.H.1
-
3
-
-
0037732628
-
Evidence-Based Medicine and Quality of Care
-
D. Dickenson and P. Vineis, "Evidence-Based Medicine and Quality of Care," Health Care Analysis, vol. 10, pp. 243-259, 2002.
-
(2002)
Health Care Analysis
, vol.10
, pp. 243-259
-
-
Dickenson, D.1
Vineis, P.2
-
4
-
-
0033585883
-
Potential Benefits, Limitations, and Harms of Clinical Guidelines
-
S. Woolf, R. Grol, A. Hutchinson, M. Eccles, and J. Grimshaw, "Potential Benefits, Limitations, and Harms of Clinical Guidelines," British Medical J., vol. 318, pp. 527-530, 1999.
-
(1999)
British Medical J
, vol.318
, pp. 527-530
-
-
Woolf, S.1
Grol, R.2
Hutchinson, A.3
Eccles, M.4
Grimshaw, J.5
-
6
-
-
2942617072
-
Approaches for Creating Computer-Interpretable Guidelines That Facilitate Decision Support
-
P.A. de Clercq, J.A. Blom, H.H.M. Korsten, and A. Hasman, "Approaches for Creating Computer-Interpretable Guidelines That Facilitate Decision Support," Artificial Intelligence in Medicine, vol. 31, no. 1, pp. 1-27, 2004.
-
(2004)
Artificial Intelligence in Medicine
, vol.31
, Issue.1
, pp. 1-27
-
-
de Clercq, P.A.1
Blom, J.A.2
Korsten, H.H.M.3
Hasman, A.4
-
7
-
-
0037246265
-
Comparing Computer-Interpretable Guideline Models: A Case-Study Approach
-
M. Peleg, S. Tu, J. Bury, P. Ciccarese, J. Fox, R.A. Greenes, R. Hall, P.D. Johnson, N. Jones, A. Kumar, S. Miksch, S. Quaglini, A. Seyfang, E.H. Shortliffe, and M. Stefanelli, "Comparing Computer-Interpretable Guideline Models: A Case-Study Approach," J. Am. Medical Informatics Assoc., vol. 10, no. 1, pp. 52-68, 2003.
-
(2003)
J. Am. Medical Informatics Assoc
, vol.10
, Issue.1
, pp. 52-68
-
-
Peleg, M.1
Tu, S.2
Bury, J.3
Ciccarese, P.4
Fox, J.5
Greenes, R.A.6
Hall, R.7
Johnson, P.D.8
Jones, N.9
Kumar, A.10
Miksch, S.11
Quaglini, S.12
Seyfang, A.13
Shortliffe, E.H.14
Stefanelli, M.15
-
9
-
-
0034567519
-
GLIF3: The Evolution of a Guideline Representation Format
-
M. Peleg, A. Boxwala, O. Ogunyemi, P. Zeng, S. Tu, R. Lacson, E. Begnstam, and N. Ash, "GLIF3: The Evolution of a Guideline Representation Format," Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '00), pp. 645-649, 2000.
-
(2000)
Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '00)
, pp. 645-649
-
-
Peleg, M.1
Boxwala, A.2
Ogunyemi, O.3
Zeng, P.4
Tu, S.5
Lacson, R.6
Begnstam, E.7
Ash, N.8
-
10
-
-
0343342322
-
-
J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, PROforma: A Method and Language for Specifying Clinical Guidelines and Protocols, Proc. 13th Medical Informatics Europe Int'l Congress (MIE '96), J. Brender, J. Christensen, S.J.R., and P. McNair, eds., pp. 516-520, 1996.
-
J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, "PROforma: A Method and Language for Specifying Clinical Guidelines and Protocols," Proc. 13th Medical Informatics Europe Int'l Congress (MIE '96), J. Brender, J. Christensen, S.J.R., and P. McNair, eds., pp. 516-520, 1996.
-
-
-
-
11
-
-
0031238767
-
PROforma: A General Technology for Clinical Decision Support Systems
-
J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, "PROforma: A General Technology for Clinical Decision Support Systems," Computer Methods and Programs in Biomedicine, vol. 54, pp. 59-67, 1997.
-
(1997)
Computer Methods and Programs in Biomedicine
, vol.54
, pp. 59-67
-
-
Fox, J.1
Johns, N.2
Rahmanzadeh, A.3
Thomson, R.4
-
12
-
-
26944499606
-
Asbru's Reference Manual, Asbru Version 7.3
-
Technical Report Asgaard-TR-20002-1, Inst. of Software Technology, Vienna Univ. of Technology
-
A. Seyfang, R. Kosara, and S. Misch, "Asbru's Reference Manual, Asbru Version 7.3," Technical Report Asgaard-TR-20002-1, Inst. of Software Technology, Vienna Univ. of Technology, 2002.
-
(2002)
-
-
Seyfang, A.1
Kosara, R.2
Misch, S.3
-
13
-
-
0032168169
-
The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines
-
Y. Shahar, S. Miksch, and P. Johnson, "The Asgaard Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines," Artificial Intelligence in Medicine, vol. 14, pp. 29-51, 1998.
-
(1998)
Artificial Intelligence in Medicine
, vol.14
, pp. 29-51
-
-
Shahar, Y.1
Miksch, S.2
Johnson, P.3
-
15
-
-
0034577047
-
From Guideline Modeling to Guideline Execution: Defining Guideline-Based Decision-Support Services
-
S. Tu and M. Musen, "From Guideline Modeling to Guideline Execution: Defining Guideline-Based Decision-Support Services," Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '99), pp. 863-867, 1999.
-
(1999)
Proc. Am. Medical Informatics Assoc. Ann. Symp. (AMIA '99)
, pp. 863-867
-
-
Tu, S.1
Musen, M.2
-
16
-
-
33644955795
-
Interpreting Procedures from Descriptive Guidelines
-
M. Peleg, L. Gutnik, V. Snow, and V.L. Patel, "Interpreting Procedures from Descriptive Guidelines," J. Biomedical Informatics, vol. 39, no. 2, pp. 184-195, 2006.
-
(2006)
J. Biomedical Informatics
, vol.39
, Issue.2
, pp. 184-195
-
-
Peleg, M.1
Gutnik, L.2
Snow, V.3
Patel, V.L.4
-
17
-
-
22944442141
-
Quality Checking of Medical Guidelines through Logical Abduction
-
F. Coenen, A. Preece, and A. Mackintosh, eds, pp
-
P.J.F. Lucas, "Quality Checking of Medical Guidelines through Logical Abduction," Proc. 23rd SGAI Int'l Conf. Innovative Techniques and Applications of Artificial Intelligence (AI '03), F. Coenen, A. Preece, and A. Mackintosh, eds., pp. 309-321, 2003.
-
(2003)
Proc. 23rd SGAI Int'l Conf. Innovative Techniques and Applications of Artificial Intelligence (AI '03)
, pp. 309-321
-
-
Lucas, P.J.F.1
-
18
-
-
53249136825
-
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols
-
M. Marcos, M. Baiser, A. ten Teije, and F. van Harmelen, "From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols," Proc. 13th Int'l Conf. Knowledge Eng. and Knowledge Management (EKAW '02), pp. 49-64, 2002.
-
(2002)
Proc. 13th Int'l Conf. Knowledge Eng. and Knowledge Management (EKAW '02)
, pp. 49-64
-
-
Marcos, M.1
Baiser, M.2
ten Teije, A.3
van Harmelen, F.4
-
19
-
-
22944491484
-
Meta-Level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving
-
Sept
-
A.J. Hommersom, P.J.F. Lucas, and M. Balser, "Meta-Level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving," Proc. Ninth European Conf. Logics in Artificial Intelligence (JELIA '04), pp. 654-666, Sept. 2004.
-
(2004)
Proc. Ninth European Conf. Logics in Artificial Intelligence (JELIA '04)
, pp. 654-666
-
-
Hommersom, A.J.1
Lucas, P.J.F.2
Balser, M.3
-
20
-
-
0005584324
-
Formal System Development with KIV
-
T. Maibaum, ed
-
M. Baiser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums, "Formal System Development with KIV," Proc. Third Int'l Conf. Fundamental Approaches to Software Eng. (FASE '00), T. Maibaum, ed., 2000.
-
(2000)
Proc. Third Int'l Conf. Fundamental Approaches to Software Eng. (FASE '00)
-
-
Baiser, M.1
Reif, W.2
Schellhorn, G.3
Stenzel, K.4
Thums, A.5
-
22
-
-
0033324496
-
Plan Management in the Medical Domain
-
S. Miksch, "Plan Management in the Medical Domain," AI Comm., vol. 12, no. 4, pp. 209-235, 1999.
-
(1999)
AI Comm
, vol.12
, Issue.4
, pp. 209-235
-
-
Miksch, S.1
-
23
-
-
0000886644
-
NHG-Standard Diabetes Mellitus Type 2 (eerste herziening)
-
G.E.H.M. Rutten, S. Verhoeven, R.J. Heine, W.J.C. de Grauw, P.V.M. Cromme, and K. Reenders, "NHG-Standard Diabetes Mellitus Type 2 (eerste herziening)," Huisarts Wet, vol. 42, pp. 67-84, 1999.
-
(1999)
Huisarts Wet
, vol.42
, pp. 67-84
-
-
Rutten, G.E.H.M.1
Verhoeven, S.2
Heine, R.J.3
de Grauw, W.J.C.4
Cromme, P.V.M.5
Reenders, K.6
-
25
-
-
0019004898
-
Equality and Domain Closure in First-Order Data-bases
-
R. Reiter, "Equality and Domain Closure in First-Order Data-bases," J. ACM, vol. 27, pp. 235-249, 1980.
-
(1980)
J. ACM
, vol.27
, pp. 235-249
-
-
Reiter, R.1
-
26
-
-
0034230481
-
Bayesian Identification of a Population Compartmental Model of C-Peptide Kinetics
-
P. Magni, R. Bellazzi, G. Sparacino, and C. Cobelli, "Bayesian Identification of a Population Compartmental Model of C-Peptide Kinetics," Annals of Biomedical Eng., vol. 28, pp. 812-823, 2000.
-
(2000)
Annals of Biomedical Eng
, vol.28
, pp. 812-823
-
-
Magni, P.1
Bellazzi, R.2
Sparacino, G.3
Cobelli, C.4
-
27
-
-
34247629165
-
Formal Semantics of Asbru-v2.12
-
Univ. of Augsburg, June
-
M. Balser, C. Duelli, W. Reif, and J. Schmitt, "Formal Semantics of Asbru-v2.12," technical report, Univ. of Augsburg, June 2006, http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/publications/.
-
(2006)
technical report
-
-
Balser, M.1
Duelli, C.2
Reif, W.3
Schmitt, J.4
-
29
-
-
0001672032
-
Reasoning about Abstract State Machines: The WAM Case Study
-
G. Schellhorn and W. Ahrendt, "Reasoning about Abstract State Machines: The WAM Case Study," J. Universal Computer Science, vol. 3, no. 4, pp. 377-413, http://hyperg.iicm.tu-graz.ac.at/jucs/, 1997.
-
(1997)
J. Universal Computer Science
, vol.3
, Issue.4
, pp. 377-413
-
-
Schellhorn, G.1
Ahrendt, W.2
-
30
-
-
33749384522
-
The Mondex Challenge: Machine-Checked Proofs for an Electronic Purse
-
J. Misra, T. Nipkow, and E. Sekerinski, eds, pp
-
G. Schellhorn, H. Grandy, D. Haneberg, and W. Reif, "The Mondex Challenge: Machine-Checked Proofs for an Electronic Purse," Proc. 14th Int'l Symp. Formal Methods (FM '06), J. Misra, T. Nipkow, and E. Sekerinski, eds., pp. 16-31, 2006.
-
(2006)
Proc. 14th Int'l Symp. Formal Methods (FM '06)
, pp. 16-31
-
-
Schellhorn, G.1
Grandy, H.2
Haneberg, D.3
Reif, W.4
-
31
-
-
33749388023
-
Verifying Concurrent Systems with Symbolic Execution-Temporal Reasoning Is Symbolic Execution with a Little Induction,
-
PhD dissertation, Univ. of Augsburg, Augsburg, Germany
-
M. Balser, "Verifying Concurrent Systems with Symbolic Execution-Temporal Reasoning Is Symbolic Execution with a Little Induction," PhD dissertation, Univ. of Augsburg, Augsburg, Germany, 2005.
-
(2005)
-
-
Balser, M.1
-
32
-
-
0036679049
-
Verifying Concurrent Systems with Symbolic Execution
-
M. Baiser, C. Duelli, W. Reif, and G. Schellhorn, "Verifying Concurrent Systems with Symbolic Execution," J. Logic and Computation, vol. 12, no. 4, pp. 549-560, 2002.
-
(2002)
J. Logic and Computation
, vol.12
, Issue.4
, pp. 549-560
-
-
Baiser, M.1
Duelli, C.2
Reif, W.3
Schellhorn, G.4
-
33
-
-
34247638694
-
Support for Interactive Verification of Asbru in KIV
-
Technical Report 2006-16, Inst. of Informatics, Univ. of Augsburg, June
-
J. Schmitt, M. Baiser, and W. Reif, "Support for Interactive Verification of Asbru in KIV," Technical Report 2006-16, Inst. of Informatics, Univ. of Augsburg, June 2006.
-
(2006)
-
-
Schmitt, J.1
Baiser, M.2
Reif, W.3
|