Luca Padovani

Cited by

	All	Since 2016
Citations	2539	1138
h-index	25	16
i10-index	50	28

280

140

210

20012002200320042005200620072008200920102011201220132014201520162017201820192020202112 20 47 21 17 28 74 99 151 110 115 127 154 152 225 263 206 161 256 242 7

Co-authors

Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
aspertiUniversity of BolognaVerified email at cs.unibo.it
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ferruccio GuidiUniversity of BolognaVerified email at cs.unibo.it
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt

Luca Padovani

Dipartimento di Informatica, Università degli Studi di Torino

Verified email at unito.it - Homepage

programming languages types concurrency theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-61, 2009	208	2009
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	161	2016
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	138	2008
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani Formal Techniques for Distributed Systems, 1-28, 2011	128	2011
The Must Preorder Revisited C Laneve, L Padovani International Conference on Concurrency Theory, 212-225, 2007	124	2007
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani International Workshop on Web Services and Formal Methods, 148-162, 2006	119	2006
Global progress for dynamically interleaved multiparty sessions. M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani Math. Struct. Comput. Sci. 26 (2), 238-302, 2016	116	2016
Behavioral types in programming languages N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ... Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016	113	2016
Foundations of session types G Castagna, M Dezani-Ciancaglini, E Giachino, L Padovani Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	95	2009
Mathematical knowledge management in HELM A Asperti, L Padovani, CS Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38 (1-3), 27-46, 2003	91	2003
Contracts for mobile processes G Castagna, L Padovani International Conference on Concurrency Theory, 211-228, 2009	80	2009
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena International Conference on Theorem Proving in Higher Order Logics, 59-74, 2001	69	2001
Deadlock and lock freedom in the linear π-calculus L Padovani Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	62	2014
A simple library implementation of binary sessions L Padovani	52	2015
A gentle introduction to multiparty asynchronous session types M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida International School on Formal Methods for the Design of Computer …, 2015	48	2015
Contract-based discovery of web services modulo simple orchestrators L Padovani Theoretical Computer Science 411 (37), 3328-3347, 2010	46	2010
Inference of global progress properties for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida International Conference on Coordination Languages and Models, 45-59, 2013	41	2013
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	40	2014
The pairing of contracts and session types C Laneve, L Padovani Concurrency, Graphs and Models, 681-700, 2008	40	2008
Contract-based discovery and adaptation of web services L Padovani International School on Formal Methods for the Design of Computer …, 2009	32	2009

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