Declarative Modelling and Safe Distribution of Healthcare Workflows[PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Tijs Slaats.
Accepted for post-event proceedings of FHIES-11 in LNCS volume 7151.
Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services[PDF]
S¿ren Debois, Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Francesco Zanitti.
Accepted for 23rd Nordic Workshop on Programming Theory (NWPT'11), October 2011, Vasteras, Sweden.
Declarative Modelling and Safe Distribution of Healthcare Workflows[PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Tijs Slaats.
Accepted for International Symposium on Foundations of Health Information Engineering and Systems (FHIES'11), August 2011, Johannesburg, South Africa.
Safe Distribution of Declarative Processes[PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Tijs Slaats.
Accepted for International Conference on Software Engineering and Formal Methods (SEFM'11), November 2011, Montevideo, Uruguay.
Designing a Cross-organizational Case Management System using Dynamic
Condition Response Graphs[PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Tijs Slaats.
Accepted for IEEE International EDOC Conference (EDOC'11), 2011, Helsinki, Finland.
Nested Dynamic Condition Response Graphs[PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala
and Tijs Slaats.
Accepted for international conference on Fundamentals of Software Engineering (FSEN'11), 2011, Tehran,
Iran
Declarative Event-Based Workflow as Distributed Dynamic Condition Response
Graphs [PDF] Thomas T. Hildebrandt and
Raghava Rao Mukkamala.
Accepted for post proceedings of International Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus.
From Dynamic Condition Response Structures to Buchi Automata. [PDF] Raghava Rao Mukkamala
and Thomas T. Hildebrandt.
Extended abstract accepted for 4th IEEE International Symposium on Theoretical
Aspects of Software Engineering (Tase 2010),2010, Taipei, Taiwan.
Distributed Dynamic Condition Response Structures. [PDF] Thomas T. Hildebrandt and
Raghava Rao Mukkamala.
Accepted for International Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software (PLACES
2010) affiliated to ETAPS 2010, Paphos, Cyprus.
The Resultmaker Online Consultant: From Declarative Workflow Management
in Practice to LTL. [PDF] Raghava Rao Mukkamala,
Thomas T. Hildebrandt, and
Janus Boris Tøth.
Accepted for First International Workshop on Dynamic and Declarative Business Processes
(DDBP 2008),2008, Munich, Germany.
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management.
[PDF]
Karen Marie Lyng, Thomas T. Hildebrandt,
and Raghava Rao Mukkamala.
Accepted for 2nd International Workshop on Process-oriented information systems
in healthcare (ProHealth
'08), 2008, Milan, Italy.
Designing a Cross-organizational Case Management System using Nested Dynamic Condition Response Graphs [PDF] Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
Techinical Report for IT University of Copenhagen, Denmark
Dynamic Condition Response Graphs:
A Formal Model For Declarative Workflows
[PDF]
Talk at IBM Research
, Hawthorne, New York, USA, 2011.
Declarative Flexible Workflows for Trustworthy Pervasive Healthcare Services
[PDF]
Talk at Doctoral Consortium, BPM Conference, Hoboken, New Jersey, USA, 2010.
Declarative Flexible Workflows for Trustworthy Pervasive Healthcare Services
[PDF]
Talk at Microsoft Research Lab, Bangalore,(MSRI), India, 2010.
Distributed Dynamic Condition Response Structures: A formal model for declarative
workflows [PDF]
Talk at IIIT Hyderabad , India,
2010.
Distributed Dynamic Condition Response Structures for Infinite Runs.
[PDF]
Talk at Workshop
on Timed and Infinite Systems, University of Warwick, United Kingdom, March
2010.
Distributed Dynamic Condition Response Structures. [PDF]
Talk at Workshop on Programming Language Approaches to Concurrency and Communication-cEntric
Software (PLACES 2010)
affiliated to ETAPS 2010, Paphos, Cyprus, March 2010.
Declarative Workflow as Dynamic Condition-Response Structures and the Resultmaker
Process Matrix [PDF]
Talk at Seminar on Process-Oriented IT (Process-Oriented IT) , IT University of Copenhagen, Denmark,
December 2009.
Resultmaker Process Matrix - Declarative process model [PDF]
Talk at Phd Seminar at IT University of Copenhagen, Denmark, April 2008.