Marco Carbone (IT University of Copenhagen)

Identifiers

• name variant Marco Carbone (IT University of Copenhagen) 0.60 · backfill

Papers (6)

1. Proceedings Third Workshop on Behavioural Types cs.PL · 2014 · author #1
2. Merging Multiparty Protocols in Multiparty Choreographies cs.PL · 2013 · author #1
3. A Logic for Choreographies cs.PL · 2011 · author #1
4. A Graphical Approach to Progress for Structured Communication in Web Services cs.PL · 2010 · author #1
5. Execution Models for Choreographies and Cryptoprotocols cs.LO · 2010 · author #1
6. Choreographies with Secure Boxes and Compromised Principals cs.CR · 2009 · author #1

Mentions

• 1408.5564 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)
• 1302.6331 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)
• 1110.4159 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)
• 1010.5566 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)
• 1002.0935 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)
• 0911.5444 #1 · backfill · confidence 0.70 Marco Carbone (IT University of Copenhagen)

Frequent Coauthors

• Joshua Guttman (Worcester Polytechnic Institute) 2 shared papers
• Davide Grohmann (IT University of Copenhagen) 1 shared papers
• Fabrizio Montesi (IT University of Copenhagen) 1 shared papers
• Hugo A. L\'opez (IT University of Copenhagen) 1 shared papers
• S{\o}ren Debois (IT University of Copenhagen) 1 shared papers
• Thomas T. Hildebrandt (IT University of Copenhagen) 1 shared papers