Emilio Tuosto

Cited by

	All	Since 2020
Citations	2921	1044
h-index	27	15
i10-index	66	26

220

110

165

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 29 88 58 77 136 100 101 85 98 102 105 158 145 153 132 186 203 164 218 220 198 34

Public access

View all

39 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Ivan LaneseUniversity of BolognaVerified email at unibo.it
Laura BocchiUniversity of KentVerified email at kent.ac.uk
Roberto GuancialeKTHVerified email at kth.se
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Julien LangeDepartment of Computer Science, Royal Holloway, University of LondonVerified email at rhul.ac.uk
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Andrea BraccialiAssociate Professor, Computer Science, University of Turin, ITVerified email at unito.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Alexander KurzChapman UniversityVerified email at chapman.edu
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt

Emilio Tuosto

Gran Sasso Science Institute

Verified email at gssi.it - Homepage

Concurrent and distributed systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	306	2016
A theory of design-by-contract for distributed multiparty interactions L Bocchi, K Honda, E Tuosto, N Yoshida CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	200	2010
From communicating machines to graphical choreographies J Lange, E Tuosto, N Yoshida Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	176	2015
The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... Global Computing. Programming Environments, Languages, Security, and …, 2003	153	2003
Validation of decentralised smart contracts through game theory and formal methods G Bigi, A Bracciali, G Meacci, E Tuosto Programming Languages with Applications to Biology and Security: Essays …, 2015	139	2015
Synchronised hyperedge replacement as a model for service oriented computing GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto International Symposium on Formal Methods for Components and Objects, 22-43, 2005	77	2005
Semantics of global view of choreographies E Tuosto, R Guanciale Journal of logical and algebraic methods in programming 95, 17-40, 2018	74	2018
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	70	2012
Style-based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European association for theoretical computer science 94 …, 2008	64	2008
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
A LTS semantics of ambients via graph synchronization with mobility A Restivo, SR Della Rocca, L Roversi, GL Ferrari, U Montanari, E Tuosto Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	62	2001
A process calculus for QoS-aware applications R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto International Conference on Coordination Languages and Models, 33-48, 2005	53	2005
Choreography automata F Barbanera, I Lanese, E Tuosto International Conference on Coordination Languages and Models, 86-106, 2020	48	2020
A formal basis for reasoning on programmable qos R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003	47	2003
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types G Ferrari, U Montanari, E Tuosto Theoretical Computer Science 331 (2-3), 325-365, 2005	46	2005
Service oriented architectural design R Bruni, A Lluch Lafuente, U Montanari, E Tuosto International Symposium on Trustworthy Global Computing, 186-203, 2007	44	2007
Shreq: Coordinating application level qos D Hirsch, E Tuosto Third IEEE International Conference on Software Engineering and Formal …, 2005	42	2005
On nominal regular languages with binders A Kurz, T Suzuki, E Tuosto Foundations of Software Science and Computational Structures: 15th …, 2012	40	2012
Contract-oriented computing in CO2 M Bartoletti, E Tuosto, R Zunino Scientific Annals of Computer Science 22 (1), 5-60, 2012	39	2012
Composition and decomposition of multiparty sessions F Barbanera, M Dezani-Ciancaglini, I Lanese, E Tuosto Journal of Logical and Algebraic Methods in Programming 119, 100620, 2021	36	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors