Concepedia

Davide Sangiorgi

DS

Statistics

Publications

59

Citations

4.3K

H-Index

35

Active since

1993

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Bologna

École Normale Supérieure de Lyon

Laboratoire de l'Informatique du Parallélisme

Centre National de la Recherche Scientifique

Davide Sangiorgi is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1993–2019

59

Publications

59

Typing and subtyping for mobile processes

Benjamin C. Pierce, Davide Sangiorgi · Mathematical Structures in Computer Science · 1996 · 318 citations

, , +11

Introduction to Bisimulation and Coinduction

Davide Sangiorgi · Cambridge University Press eBooks · 2011 · 308 citations

, , +14

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi · Theoretical Computer Science · 1998 · 255 citations

, , +4

A theory of bisimulation for the π-calculus

Davide Sangiorgi · Acta Informatica · 1996 · 235 citations

, , +3

On the bisimulation proof method

Davide Sangiorgi · Mathematical Structures in Computer Science · 1998 · 221 citations

, , +10

1–5 of 59