S{\o}ren Debois (IT University of Copenhagen)
Identifiers
- name variant S{\o}ren Debois (IT University of Copenhagen) 0.60 · backfill
Papers (3)
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion cs.LO · 2015 · author #1
- Bigraphical Refinement cs.SE · 2011 · author #2
- A Graphical Approach to Progress for Structured Communication in Web Services cs.PL · 2010 · author #2
Mentions
- 1510.06658 #1 · backfill · confidence 0.70 S{\o}ren Debois (IT University of Copenhagen)
- 1106.4091 #2 · backfill · confidence 0.70 S{\o}ren Debois (IT University of Copenhagen)
- 1010.5566 #2 · backfill · confidence 0.70 S{\o}ren Debois (IT University of Copenhagen)
Frequent Coauthors
- Thomas Hildebrandt (IT University of Copenhagen) 2 shared papers
- Department of Computing) 1 shared papers
- Exformatics A/S) 1 shared papers
- Gian Perrone (IT University of Copenhagen) 1 shared papers
- London 1 shared papers
- Marco Carbone (IT University of Copenhagen) 1 shared papers
- Nobuko Yoshida (Imperial College 1 shared papers
- Tijs Slaats (IT University of Copenhagen 1 shared papers