VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Ait-Mokhtar, Salah	Semantic Representation of Evidence-based Clinical Guidelines
Alonso, Jose-Ramon	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables
B
Beyan, Oya	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
Bottrighi, Alessio	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
Breathnach, Ciara	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
Bucur, Anca	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
C
Collins, Sandra	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
D
Da Silveira, Marcos	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity
De Bra, Paul	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Debruyne, Christophe	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
Decker, Stefan	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
G
Giordano, Laura	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Grant, Dolores	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
Grant, Rebecca	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
Gurrin, Brian	Towards Linked Vital Registration Data for Reconstituting Families and Creating Longitudinal Health Histories
H
Hewelt, Marcin	Process Information and Guidance Systems in the Hospital
Huang, Zhisheng	Semantic Representation of Evidence-based Clinical Guidelines
L
Le, Xuan Hung	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
Lovotti, Irene	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
Luque, Amneris	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
M
Maghsoodi, Aisan	A Process-oriented Methodology for Modelling Cancer Treatment Trial Protocols
Marcos, Mar	Assessment of Clinical Guideline Models Based on Metrics for Business Process Models An Algorithm for Guideline Transformation: from BPMN to PROforma
Martínez-Salvador, Begoña	Assessment of Clinical Guideline Models Based on Metrics for Business Process Models An Algorithm for Guideline Transformation: from BPMN to PROforma
Miao, Daniela	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
Michalowski, Martin	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Michalowski, Wojtek	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Montani, Stefania	Knowledge-Intensive Medical Process Similarity
P
Pruski, Cédric	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity
R
Real, Francis	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables
Riaño, David	Training residents in the application of clinical guidelines for differential diagnosis of the most frequent causes of arterial hypertension with decision tables Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
Rubrichi, Stefania	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
S
Solanas, Agusti	Exploiting the Relation between Environmental Factors and Diseases: A Case Study on COPD
Spiotta, Matteo	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Sánchez, Anderson	An Algorithm for Guideline Transformation: from BPMN to PROforma
T
Tan, Xing	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Ten Teije, Annette	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity Semantic Representation of Evidence-based Clinical Guidelines
Terenziani, Paolo	META-GLARE: a meta-system for defining your own CIG system: Architecture and Acquisition
Theseider Dupre', Daniele	Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Torres-Sospedra, Joaquín	Assessment of Clinical Guideline Models Based on Metrics for Business Process Models
V
Van Harmelen, Frank	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity Semantic Representation of Evidence-based Clinical Guidelines
Vetterlein, Thomas	A Logic-Based Framework for Medical Assessment Questionnaires
W
Wang, Dongwen	Development of Digital Repositories of Multimedia Learning Modules and Guideline-Driven Interactive Case Simulation Tools for New York State HIV/HCV/STD Clinical Education Initiative
Waterman, K. Krasnow	Real Rules, Real Data -- Addressing Challenges of Reasoning HIPAA Privacy Rule in Health Information Exchange (HIE)
Wilk, Szymon	Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions
Z
Zamansky, Anna	A Logic-Based Framework for Medical Assessment Questionnaires
Zamborlini, Veruska	Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity
Zhang, Yuanlin	Preliminary Result on Finding Treatments for Patients with Comorbidity
Zhang, Zhizheng	Preliminary Result on Finding Treatments for Patients with Comorbidity

Disclaimer | Powered by EasyChair Smart Program