Luca Padovani

Cited by

	All	Since 2018
Citations	3048	1189
h-index	27	16
i10-index	61	27

280

140

210

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 16 50 16 16 32 74 90 145 113 115 133 151 148 214 262 200 162 258 220 199 238 112

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.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
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Luca CicconePhD Student, University of Turin, ITVerified email at unito.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
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Dimitris MostrousVerified email at di.fc.ul.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
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 contracts for web services G Castagna, N Gesbert, L Padovani ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-61, 2009	223	2009
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016	173	2016
Global progress for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, N Yoshida, L Padovani Mathematical Structures in Computer Science 26 (2), 238-302, 2016	155	2016
On global types and multi-party sessions G Castagna, M Dezani-Ciancaglini, L Padovani Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 …, 2011	147	2011
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	143	2008
The Must Preorder Revisited C Laneve, L Padovani CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007	128	2007
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani WS-FM 6, 148-162, 2006	124	2006
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	106	2009
Mathematical knowledge management in HELM A Asperti, L Padovani, C Sacerdoti Coen, F Guidi, I Schena Annals of Mathematics and Artificial Intelligence 38, 27-46, 2003	96	2003
Deadlock and lock freedom in the linear π-calculus L Padovani Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	93	2014
Contracts for mobile processes G Castagna, L Padovani CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	79	2009
A simple library implementation of binary sessions L Padovani Journal of Functional Programming 27, e4, 2017	75	2017
A gentle introduction to multiparty asynchronous session types M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida Formal Methods for Multicore Programming: 15th International School on …, 2015	70	2015
HELM and the semantic math-web A Asperti, L Padovani, CS Coen, I Schena Theorem Proving in Higher Order Logics: 14th International Conference …, 2001	69	2001
Contract-based discovery of web services modulo simple orchestrators L Padovani Theoretical Computer Science 411 (37), 3328-3347, 2010	51	2010
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	50	2014
Inference of global progress properties for dynamically interleaved multiparty sessions M Coppo, M Dezani-Ciancaglini, L Padovani, N Yoshida Coordination Models and Languages: 15th International Conference …, 2013	46	2013
The pairing of contracts and session types C Laneve, L Padovani Lecture Notes in Computer Science 5065, 681-700, 2008	41	2008
Contract-based discovery and adaptation of web services L Padovani Formal Methods for Web Services: 9th International School on Formal Methods …, 2009	33	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

Follow

Cited by

Co-authors