TrustCare Publications

• A Game-Theoretic Model for Distributed Programming byContract. Henriksen, Anders Starcke, Hvitved, Tom and Filinski,Andrzej. In Informatik 2009. Proceedings der 39. GI-Jahrestagung, pages 3473-3484, 2009. (PDF) (BIB)
• Using LJF as a Framework for Proof Systems. Anders Starcke Henriksen. Technical Report, University of Copenhagen, 2009. (PDF) (BIB)
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. Thomas Hildebrandt and Hugo A. López. In Proceedings of the 25th International Conference on Logic Program- ming (ICLP 2009), pages 417-431, Pasadena, California, USA, July 2009. (BIB)
• Games and Higher-Order Linear Dataflows. Lars Birkedal, Søren Debois and Thomas T. Hildebrandt, March 2009. (BIB)
• Type Systems for Bigraphs. Ebbe Elsborg, Thomas T. Hildebrandt and Davide Sangiorgi. In Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC’08). LNCS, Springer-Verlag, pages 126-140, 2008. (BIB)
• The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. Karen Marie Lyng, Thomas Hildebrandt and Raghava Rao Mukkamala. In In Proc. of 1st International Workshop on Dynamic and Declarative Business Processes (DDBP 2008), Munich, Germany, 2008. (URL) (BIB)
• From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Karen Marie Lyng, Thomas Hildebrandt and Raghava Rao Mukkamala. In 2nd International Workshop on Process-oriented information systems in health- care (ProHealth 08), pages 336-347, Milan, Italy, September 2008. (URL) (BIB)
• On the Construction of Sorted Reactive Systems. Lars Birkedal, Søren Debois and Thomas T. Hildebrandt. In 19th International Conference on Concurrency Theory, CONCUR 2008, pages 218-232, Toronto, Canada, August 2008. (BIB)
• Compositional Specification of Commercial Contracts. Andersen, J., Elsborg, Ebbe, Henglein, Fritz, Simonsen, J.G. and Stefansen, Christian. International Journal on Software Tools for Technology Transfer (STTT), 8(6):485-516, 2006. (Special Section on Leveraging Applications of Formal Methods). (BIB)