Emilio Tuosto

Identifiers

• name variant Emilio Tuosto 0.60 · backfill

Papers (10)

1. Automatic Code and Test Generation of Smart Contracts from Coordination Models cs.PL · 2026 · author #4
2. Compositional Design, Implementation, and Verification of Swarms (Technical Report) cs.DC · 2026 · author #6
3. Choreographies for Automatic Recovery cs.LO · 2017 · author #2
4. Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract cs.FL · 2013 · author #3
5. Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations cs.LO · 2012 · author #2
6. Honesty by Typing cs.PL · 2012 · author #3
7. Synthesising Choreographies from Local Session Types (extended version) cs.PL · 2012 · author #2
8. On the realizability of contracts in dishonest systems cs.PL · 2012 · author #2
9. Towards Nominal Formal Languages cs.FL · 2011 · author #3
10. Toward a Formal Semantics for Autonomic Components cs.DC · 2010 · author #2

Mentions

• 1002.2722 #2 · backfill · confidence 0.70 Emilio Tuosto

Frequent Coauthors

• Alceste Scalas 2 shared papers
• Alexander Kurz 2 shared papers
• Massimo Bartoletti 2 shared papers
• Roberto Zunino 2 shared papers
• Tomoyuki Suzuki 2 shared papers
• Ant\'onio Ravara 1 shared papers
• Claudio Antares Mezzina 1 shared papers
• Elvis Konjoh Selabi 1 shared papers
• Florian Furbach 1 shared papers
• Hern\'an Melgratti 1 shared papers
• Julien Lange 1 shared papers
• Kyriakos Poyias 1 shared papers
• Lucas Clorius 1 shared papers
• Marco Aldinucci 1 shared papers
• Maurizio Murgia 1 shared papers
• Roland Kuhn 1 shared papers