Luca Padovani

Cited by

	All	Since 2019
Citations	3257	1268
h-index	28	16
i10-index	63	30

280

140

210

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 21 48 18 17 32 79 99 138 118 110 127 151 139 198 259 192 166 248 209 180 211 279 139

Public access

View all

21 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 Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Luca CicconePhD Student, University of Turin, ITVerified email at unito.it
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Nicholas NgMonzoVerified email at monzo.com

Luca Padovani

Unknown affiliation

Verified email at unicam.it - Homepage

programming languages concurrency theory type theory formal verification


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	282	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	186	2016
On global types and multi-party session G Castagna, M Dezani-Ciancaglini, L Padovani Logical Methods in Computer Science 8, 2012	163	2012
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	162	2016
A theory of contracts for web services G Castagna, N Gesbert, L Padovani ACM SIGPLAN Notices 43 (1), 261-272, 2008	147	2008
The Must Preorder Revisited C Laneve, L Padovani International conference on concurrency theory, 212-225, 2007	123	2007
A formal account of contracts for web services S Carpineti, G Castagna, C Laneve, L Padovani Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	122	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	108	2009
Deadlock and lock freedom in the linear π-calculus L Padovani Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014	106	2014
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	102	2003
A simple library implementation of binary sessions L Padovani Journal of Functional Programming 27, e4, 2017	81	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	79	2015
Contracts for mobile processes G Castagna, L Padovani International Conference on Concurrency Theory, 211-228, 2009	76	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	72	2001
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	54	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	50	2013
Contract-based discovery of web services modulo simple orchestrators L Padovani Theoretical Computer Science 411 (37), 3328-3347, 2010	49	2010
The pairing of contracts and session types C Laneve, L Padovani Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008	42	2008
Typing liveness in multiparty communicating systems L Padovani, VT Vasconcelos, HT Vieira Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014	31	2014

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