Scholar
Emilio Tuosto
Google Scholar ID: Eigd9kAAAAAJ
Gran Sasso Science Institute
Formal Methods
Theoretical Computer Science
Behavioural Types
Provable Correctness of Software
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,970
H-index
28
i10-index
64
Publications
20
Co-authors
27
list available
Publications
4 items
Emergent Behaviour in Financial Markets
2026
Cited
0
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
Co-authors
14 total
Ivan Lanese
University of Bologna
Laura Bocchi
University of Kent
Roberto Guanciale
KTH
Hernán Melgratti
Universidad de Buenos Aires
Roberto Bruni
University of Pisa
Nobuko Yoshida
Department of Computer Science, University of Oxford
Roberto Zunino
Università degli Studi di Trento
Julien Lange
Department of Computer Science, Royal Holloway, University of London
