CosmoBiz Publications

  • A Model Checker for Bigraphs. Gian Perrone, Søren Debois and Thomas T. Hildebrandt. In Proceedings of ACM Symposium of Applied Computing SVT, Trento, Italy, March 2012. (BIB)
  • Safe Distribution of Declarative Processes. Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats. In 9th International Conference on Software Engineering and Formal Methods (SEFM) 2011, 2011. (to appear). (BIB)
  • Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs. Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats. In Proceedings of IEEE International EDOC Conference, 2011. (URL) (BIB)
  • Declarative Modelling and Safe Distribution of Healthcare Workflows. Hildebrandt, Thomas, Mukkamala, Raghava Rao and Slaats, Tijs. In International Symposium onFoundations of Health Information Engineering and Systems, Johannesburg, South Africa, August 2011. (BIB)
  • Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. Thomas Hildebrandt and Raghava Rao Mukkamala. In Post-proceedings of PLACES 2010, 2010. (URL) (BIB)
  • A standard-driven implementation of WS-BPEL 2.0. Tim Hallwyl, Fritz Henglein and Thomas Hildebrandt. In Proceedings of the 25th Symposium on Applied Computing (SAC 2010), to be published, Sierre, Switzerland, March 2010. (BIB)
  • Asking for the moon - Or model-based coordination in distributed design. Kjeld Schmidt, Hilda Tellioglu and Ina Wagner. In Proceedings of the 11th European Conference on Computer- Supported Cooperative Work, Vienna, Austria, September 2009. (BIB)
  • Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. Thomas Hildebrandt and Hugo A. Lopez. 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)
  • An Extensible Formalization of WS-BPEL in Binding Bigraphs. Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt and Espen Højsgaard, 2008. (available upon request.). (BIB)
  • Decidable Fragments of a Higher Order Calculus with Locations. Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen and Hans Hüttel. In Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08), 2008. (BIB)
  • Computer Supported Mobile Adaptive Business Processes for 3gERP Systems. Thomas Hildebrandt, Arne J. Glenstrup, Mikkel Bundgaard, Espen Højsgaard, Tim Hallwyl, Tijs Slaats, Magnus Nilsson and Kjeld Schmidt. In 2nd Workshop on 3rd Generation Enterprise Resource Planning Systems, 2008. (BIB)
  • Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs. Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard and Henning Niss. In Proceedings of the 10th international conference on Coordination Models and Languages (Coordination'08), pages 83-99, 2008. (URL) (BIB)
  • Seamlessly Distributed and Mobile Workflow: or The right processes at the right places. Mikkel Bundgaard, Thomas Hildebrandt and Espen Højsgaard. In Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08), 2008. (BIB)
  • On Encoding the Pi-calculus in Higher-Order Calculi. Mikkel Bundgaard, Jens Chr. Godskesen and Thomas Hildebrandt. Technical report TR-2008-106, IT University of Copenhagen, 2008. (URL) (BIB)
  • Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool. Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard and Henning Niss. Technical report TR-2008-103, IT University of Copenhagen, 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)
  • Computer Supported Mobile Adaptive Business Processes: Position paper on the CosmoBiz research project (2007-2010). Thomas Hildebrandt, Henning Niss, Mikkel Bundgaard, Kjeld Schmidt and Thomas Jensen, 2007. (Project position paper). (URL) (BIB)
  • The Story of a Working Workflow Management System. Steen Brahe and Kjeld Schmidt. In International Conference on Supporting Group Work (GROUP 2007), USA, 2007. (URL) (BIB)
  • Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names. Mikkel Bundgaard, Thomas Hildebrandt and Jens Chr. Godskesen. Technical report TR-2007-97, IT University of Copenhagen, 2007. (URL) (BIB)
  • Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Mikkel Bundgaard, Thomas Hildebrandt and Jens Chr. Godskesen. In Proceedings of the 5th International Workshop on Security Issues in Concurrency (SecCo'07), pages 23-38, 2007. (URL) (BIB)