Login / Signup
Marco Iannaccone
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Integrity Constraints
Workflow Processes
Decision Support
Temporal Constraints
Top Venues
KR4HC/ProHealth
KICSS
HAIS
</>
Publications
</>
Marco Iannaccone
,
Massimo Esposito
,
Giuseppe De Pietro
GLM-CDS: A Standards-Based Verifiable Guideline Model for Decision Support in Clinical Applications.
KR4HC/ProHealth
(2013)
Marco Iannaccone
,
Massimo Esposito
Formal Specification of Temporal Constraints in Clinical Practice Guidelines.
KICSS
(2013)
Marco Iannaccone
,
Massimo Esposito
,
Giuseppe De Pietro
A Hybrid Approach for the Verification of Integrity Constraints in Clinical Practice Guidelines.
HAIS
(2013)