CosmoBiz Publications

  • 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. 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)
  • 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)
  • An Extensible Formalization of WS-BPEL in Binding Bigraphs. Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt and Espen Højsgaard, 2008. (Submitted for publication and available upon request.). (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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)
  • 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)