Emilio Tuosto

Cited by

	All	Since 2018
Citations	2557	986
h-index	25	14
i10-index	57	21

240

120

180

20032004200520062007200820092010201120122013201420152016201720182019202020212022202323 27 75 61 75 127 101 105 86 105 105 103 158 159 158 109 189 208 161 227 87

Public access

View all

25 articles

3 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
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Roberto BruniUniversity of PisaVerified email at di.unipi.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
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.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	249	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	186	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	166	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	145	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	121	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	75	2006
Synthesising Choreographies from Local Session Types. J Lange, E Tuosto CONCUR 12, 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 Università di Pisa, 2007	61	2007
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	59	2001
Semantics of global view of choreographies E Tuosto, R Guanciale Journal of logical and algebraic methods in programming 95, 17-40, 2018	55	2018
A process calculus for QoS-aware applications R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto Coordination Models and Languages: 7th International Conference …, 2005	50	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	47	2005
A formal basis for reasoning on programmable qos R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto International Symposium on Verification–Theory and Practice–Honoring Zohar …, 2004	45	2004
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
Contract-Oriented Computing in CO2. M Bartoletti, E Tuosto, R Zunino Sci. Ann. Comput. Sci. 22 (1), 5-60, 2012	42	2012
On nominal regular languages with binders A Kurz, T Suzuki, E Tuosto Foundations of Software Science and Computational Structures: 15th …, 2012	39	2012
On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino Coordination Models and Languages: 14th International Conference …, 2012	37	2012
Shreq: Coordinating application level qos D Hirsch, E Tuosto Third IEEE International Conference on Software Engineering and Formal …, 2005	37	2005
From theory to practice in transactional composition of web services R Bruni, G Ferrari, H Melgratti, U Montanari, D Strollo, E Tuosto Formal Techniques for Computer Systems and Business Processes: European …, 2005	33	2005

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