ITU
Søren Debois

Søren Debois

Associate Professor

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

Building: 4F25-4T91

Phone: +45 72185187

Information Desk: 72185000

View graph of relations

  1. 2010
  2. Published

    A Graphical Approach to Progress for Structured Communication in Web Services

    Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38

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

  3. 2009
  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

    Imperative-program transformation by instrumented-interpreter specialization

    Debois, S., 15 Apr 2008, In: Higher-Order and Symbolic Computation. 21, 1-2, p. 37-58 22 p.

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

  7. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

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

  8. Published

    Sortings and Bigraphs

    Debois, S., 2008, Copenhagen: IT-Universitetet i København. 156 p.

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

Previous 1 2 3 4 5 Next

ID: 263576