Emilio Tuosto

Cited by

	All	Since 2019
Citations	2830	1155
h-index	27	16
i10-index	61	27

220

110

165

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 29 80 66 75 138 96 105 84 99 102 103 158 141 153 133 183 204 163 215 220 161

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
Roberto GuancialeKTHVerified email at kth.se
Laura BocchiUniversity of KentVerified email at kent.ac.uk
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
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
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.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	293	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	194	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	171	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	151	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	135	2015
Synchronised hyperedge replacement as a model for service oriented computing GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006	76	2006
Semantics of global view of choreographies E Tuosto, R Guanciale Journal of logical and algebraic methods in programming 95, 17-40, 2018	71	2018
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	70	2012
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto Coordination Models and Languages: 10th International Conference …, 2008	64	2008
Style-based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European association for theoretical computer science 94 …, 2008	62	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	61	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	52	2005
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
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	46	2003
Choreography automata F Barbanera, I Lanese, E Tuosto International Conference on Coordination Languages and Models, 86-106, 2020	44	2020
Service oriented architectural design R Bruni, A Lluch Lafuente, U Montanari, E Tuosto Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008	44	2008
Shreq: Coordinating application level qos D Hirsch, E Tuosto Third IEEE International Conference on Software Engineering and Formal …, 2005	41	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
On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino International Conference on Coordination Languages and Models, 245-260, 2012	35	2012

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