Concepedia

Luca Padovani

LP

27

Publications

1.2K

Citations

18

H-Index

2007

Active since

Affiliations

University of Turin(Current)

University of Urbino

Université Paris Cité

University of Bologna

Centre National de la Recherche Scientifique

Luca Padovani is an author at University of Turin specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationFormal SpecificationSystem Software

Publications per year

2007–2021

27

Publications

27

A theory of contracts for Web services

Giuseppe Castagna, Nils Gesbert, Luca Padovani · ACM Transactions on Programming Languages and Systems · 2009 · 201 citations · Full text

Web Service Specification, Engineering, Deduction System +20

Global progress for dynamically interleaved multiparty sessions

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida et al. · Mathematical Structures in Computer Science · 2014 · 124 citations · Full text

Cluster Computing, Engineering, Concurrent System +19

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

On Global Types and Multi-Party Session

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani · Logical Methods in Computer Science · 2012 · 99 citations · Full text

Engineering, Verification, Software Engineering +17

A theory of contracts for web services

Giuseppe Castagna, Nils Gesbert, Luca Padovani · 2008 · 84 citations

Web Service Specification, Engineering, Behavioural Descriptions +16

Rows per page

1–5 of 27