Emilio Tuosto
Scholar

Emilio Tuosto

Google Scholar ID: Eigd9kAAAAAJ
Gran Sasso Science Institute
Formal MethodsTheoretical Computer ScienceBehavioural TypesProvable Correctness of Software
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,970
 
H-index
28
 
i10-index
64
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
Publications
3 items
Automatic Code and Test Generation of Smart Contracts from Coordination Models
2026
Cited
0
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
2026
Cited
0
JoinActors: A Modular Library for Actors with Join Patterns
The Art, Science, and Engineering of Programming · 2026
Cited
0
Resume (English only)
Co-authors
27 total
Ivan Lanese
Ivan Lanese
University of Bologna
Laura Bocchi
Laura Bocchi
University of Kent
Roberto Guanciale
Roberto Guanciale
KTH
Hernán Melgratti
Hernán Melgratti
Universidad de Buenos Aires
Roberto Bruni
Roberto Bruni
University of Pisa
Nobuko Yoshida
Nobuko Yoshida
Department of Computer Science, University of Oxford
Roberto Zunino
Roberto Zunino
Università degli Studi di Trento
Co-author 8
Co-author 8