ITU
Mikkel Bundgaard

Mikkel Bundgaard

(Former)

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2009
  2. Published

    Computer Supported Mobile Adaptive Business Processes for 3gERP Systems

    Hildebrandt, T., Glenstrup, A. J., Bundgaard, M., Højsgaard, E., Hallwyl, T., Slaats, T., Nilsson, M. & Schmidt, K., 2009, Pre-proceedings of the 2nd Workshop on 3rd Generation Enterprise Resource Planning Systems. 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearch

  3. Published

    Decidable Fragments of a Higher Order Calculus with Locations

    Bundgaard, M., Godskesen, J. C., Huttel, H. & Haagensen, B., 2009, In: Electronical Notes in Theoretical Computer Science. p. 113-138 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  4. Published

    Higher-Order Contexts via Games and the Int-Construction

    Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, IT-Universitetet i København. (ITU Technical Report Series).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  5. 2008
  6. Published

    Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, In: Lecture Notes in Computer Science. p. 83-99 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 p. (IT University Technical Report Series; No. TR-2008-103).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  8. Published

    On Encoding the Pi-calculus in Higher-Order Calculi

    Bundgaard, M., Hildebrandt, T. & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 p. (IT University Technical Report Series).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  9. Published

    Seamlessly Distributed and Mobile Workflow: or The right processes at the right places

    Bundgaard, M., Hildebrandt, T. & Højsgaard, E., 2008, Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software:  DI-FCUL TR–08–14. Vasconcelos, V. T. & Yoshida, N. (eds.). Departamento de Informatica, Universidade de Lisboa, Vol. TR–08–14. p. 64-69 5 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 263366