No photo of Søren Debois

Søren Debois

 https://orcid.org/0000-0002-4385-1409
20042021

Research activity per year

Filter
Report

Search results

  • 2018

    The Process Highlighter: From Texts to Declarative Processes and Back

    López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sept 2018, TR-2018-204 ed. Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series; No. TR-2018-204).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  • 2011

    Calculation in the Informatic Jungle

    Debois, S., Dec 2011, TR-2011-147 ed. Copenhagen: IT University of Copenhagen. 28 p. (IT University Technical Report Series; No. TR-2011-147).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    Open Access
    File
  • 2009

    Higher-Order Contexts via Games and the Int-Construction

    Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, TR-2009-117 ed. Copenhagen: IT-Universitetet i København. (IT University Technical Report Series; No. TR-2009-117).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    Open Access
    File
  • 2006

    Sortings for Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., Mar 2006, TR-2006-84 ed. Copenhagen: IT-Universitetet i København. 25 p. (IT University Technical Report Series; No. TR-2006-84).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    Open Access
    File
  • 2005

    Bigraphical Models of Context-aware Systems

    Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T. & Niss, H., Nov 2005, TR-2005-74 ed. Copenhagen: IT-Universitetet i København. 24 p. (IT University Technical Report Series; No. TR-2005-74).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    Open Access
    File

  • Bigraphs by Example

    Damgaard, T. C. & Debois, S., Oct 2005, TR-2005-61 ed. Copenhagen: IT-Universitetet i København. 28 p. (IT University Technical Report Series; No. TR-2005-61).

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

    Open Access
    File