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. Published

    DCR Event-reachability via Genetic Algorithms

    Högnasson, T. & Debois, S., 29 Jan 2019, Business Process Management Workshops: BPM 2018. Springer, Cham, Vol. 342. (Lecture Notes in Business Information Processing, Vol. 342).

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

  2. Published

    Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).

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

  3. Published

    Declarative Process Mining for DCR Graphs

    Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, p. 759-764 6 p.

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

  4. Published

    Deriving Consistent GSM Schemas from DCR Graphs

    Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, p. 467–482 (Lecture Notes in Computer Science, Vol. 9936).

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

  5. Published

    Dynamic Evaluation Forms using Declarative Modeling

    Strømsted, R., López-Acosta, H-A., Debois, S. & Marquard, M., 4 Sep 2018, 16th International Conference on Business Process Management (BPM'18). Weber, B., van der Aalst, W. M. P., Casati, F., Conforti, R. & Dumas, M. (eds.). Sydney, Australia: CEUR Workshop Proceedings, p. 172-179 7 p. (CEUR Workshop Proceedings, Vol. 2196).

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

  6. Published

    Entropy as a Measure of Log Variability

    Back, C. O., Debois, S. & Slaats, T., 14 Jun 2019, In: Journal on Data Semantics. p. 1-28

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

  7. Published

    Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

    Debois, S., Hildebrandt, T. & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300

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

  8. Published

    Hierarchical Declarative Modelling with Refinement and Sub-processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.

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

  9. 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

  10. Published

    Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 Aug 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Vol. 1439. p. 107-119 (CEUR Workshop Proceedings).

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

ID: 263576