Author of the publication

Using Constraint Logic Programming for the Verification of Customized Decision Models for Clinical Guidelines.

, , , , and . AIME, volume 10259 of Lecture Notes in Computer Science, page 37-47. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How to Detect and Exploit Non-Adherence to Guidelines?, , , and . MedInfo, volume 192 of Studies in Health Technology and Informatics, page 1239. IOS Press, (2013)Executable Knowledge., and . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Workflow Management Systems.. Encyclopedia of Database Systems (2nd ed.), Springer, (2018)From Object-Process Diagrams to a Natural Object-Process Language., and . NGITS, volume 1649 of Lecture Notes in Computer Science, page 221-228. Springer, (1999)Lessons Learned from Adapting a Generic Narrative Diabetic-Foot Guideline to an Institutional Decision-Support System., , , , and . Computer-based Medical Guidelines and Protocols, volume 139 of Studies in Health Technology and Informatics, IOS Press, (2008)Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues., , , and . Business Process Management Workshops, volume 4928 of Lecture Notes in Computer Science, page 335-346. Springer, (2007)Learning Business Process Models: A Case Study., , and . Business Process Management Workshops, volume 4928 of Lecture Notes in Computer Science, page 383-394. Springer, (2007)Sharable Appropriateness Criteria in GLIF3 Using Standards and the Knowledge-Data Ontology Mapper.. KR4HC, volume 5943 of Lecture Notes in Computer Science, page 64-75. Springer, (2009)Using OWL and SWRL to represent and reason with situation-based access control policies., and . Data Knowl. Eng., 70 (6): 596-615 (2011)Representing Control Flow Constructs in Object-Process Diagrams., and . JOOP, 11 (3): 58-66, 71 (1998)