S{\o}ren Debois (IT University of Copenhagen)

Identifiers

• name variant S{\o}ren Debois (IT University of Copenhagen) 0.60 · backfill

Papers (3)

1. Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion cs.LO · 2015 · author #1
2. Bigraphical Refinement cs.SE · 2011 · author #2
3. 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