Emilio Tuosto

Cited by

	All	Since 2016
Citations	2083	849
h-index	23	13
i10-index	48	21

220

110

165

200320042005200620072008200920102011201220132014201520162017201820192020202123 33 96 58 77 133 87 95 93 109 90 107 172 141 162 109 197 209 30

Co-authors

Laura BocchiUniversity of KentVerified email at kent.ac.uk
Roberto GuancialeKTHVerified email at kth.se
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
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
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Andrea BraccialiSICSA Lecturer, Stirling UniversityVerified email at cs.stir.ac.uk
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Alexander KurzChapman UniversityVerified email at chapman.edu
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
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	163	2016
A theory of design-by-contract for distributed multiparty interactions L Bocchi, K Honda, E Tuosto, N Yoshida International Conference on Concurrency Theory, 162-176, 2010	156	2010
The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003	137	2003
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	129	2015
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, 142-161, 2015	73	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	72	2005
Multiparty sessions in SOC R Bruni, I Lanese, H Melgratti, E Tuosto International Conference on Coordination Languages and Models, 67-82, 2008	64	2008
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	61	2012
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 GL Ferrari, U Montanari, E Tuosto Italian Conference on Theoretical Computer Science, 1-16, 2001	59	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	50	2005
A formal basis for reasoning on programmable qos R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto Verification: Theory and Practice, 436-479, 2003	46	2003
Service oriented architectural design R Bruni, AL Lafuente, U Montanari, E Tuosto International Symposium on Trustworthy Global Computing, 186-203, 2007	45	2007
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	43	2005
Contract-Oriented Computing in CO2. M Bartoletti, E Tuosto, R Zunino Sci. Ann. Comp. Sci. 22 (1), 5-60, 2012	42	2012
Shreq: Coordinating application level qos D Hirsch, E Tuosto Third IEEE International Conference on Software Engineering and Formal …, 2005	38	2005
On the realizability of contracts in dishonest systems M Bartoletti, E Tuosto, R Zunino International Conference on Coordination Languages and Models, 245-260, 2012	37	2012
On nominal regular languages with binders A Kurz, T Suzuki, E Tuosto International Conference on Foundations of Software Science and …, 2012	34	2012
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, 272-286, 2005	32	2005
Non-functional aspects of wide area network programming E Tuosto SEU, 2003	29	2003

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

Upload PDF

Follow this author

Cited by

Co-authors