SANGIORGI, DAVIDE
SANGIORGI, DAVIDE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
2025 Sangiorgi, Davide
Enhanced Induction in Behavioural Relations
2023 Sangiorgi Davide
EXPRESSing Session Types
2023 Castellani I.; Dardha O.; Padovani L.; Sangiorgi D.
Extensional and Non-extensional Functions as Processes
2023 Sakayori K.; Sangiorgi D.
Eager functions as processes
2022 Durier, A; Hirschkoff, D; Sangiorgi, D
From Enhanced Coinduction towards Enhanced Induction
2022 Sangiorgi, D
Games, Mobile Processes, and Functions
2022 Jaber G.; Sangiorgi D.
Session Types Revisited: A Decade Later
2022 Dardha O.; Giachino E.; Sangiorgi D.
Modular coinduction up-to for higher-order languages via first-order transition systems
2021 Madiot J.-M.; Pous D.; Sangiorgi D.
On sequentiality and well-bracketing in the π-calculus
2021 Hirschkoff D.; Prebet E.; Sangiorgi D.
On the representation of references in the Pi-Calculus
2020 Hirschkoff D.; Prebet E.; Sangiorgi D.
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service
2020 Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
Towards ‘up to context’ reasoning about higher-order processes
2020 Durier A.; Hirschkoff D.; Sangiorgi D.
Unique solutions of contractions, CCS, and their HOL formalisation
2020 Tian C.; Sangiorgi D.
Asynchronous π -calculus at Work: The Call-by-Need Strategy
2019 Sangiorgi, D.
Bisimulation and Coinduction Enhancements: A Historical Perspective
2019 Pous, D.; Sangiorgi, D.
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS
2019 Durier, A; Hirschkoff, D; Sangiorgi, D
Environmental bisimulations for probabilistic higher-order languages
2019 Sangiorgi D.; Vignudelli V.
Playing with bisimulation in erlang
2019 Lanese, I.; Sangiorgi, D.; Zavattaro, G.
Bisimilarity via unique-solution techniques
2018 Sangiorgi, Davide*
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| An Abstract Account of Up-to Techniques for Inductive Behavioural Relations | Sangiorgi, Davide | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| Enhanced Induction in Behavioural Relations | Sangiorgi Davide | 2023-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.02 Riassunto (Abstract) | - |
| EXPRESSing Session Types | Castellani I.; Dardha O.; Padovani L.; Sangiorgi D. | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | paper.cgi.pdf |
| Extensional and Non-extensional Functions as Processes | Sakayori K.; Sangiorgi D. | 2023-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | main.pdf |
| Eager functions as processes | Durier, A; Hirschkoff, D; Sangiorgi, D | 2022-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | tcs_durier_iris.pdf |
| From Enhanced Coinduction towards Enhanced Induction | Sangiorgi, D | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | ACM | 4.01 Contributo in Atti di convegno | POPL22published_version.pdf |
| Games, Mobile Processes, and Functions | Jaber G.; Sangiorgi D. | 2022-01-01 | - | Florin Manea and Alex Simpson | 4.01 Contributo in Atti di convegno | LIPIcs-CSL-2022-25.pdf |
| Session Types Revisited: A Decade Later | Dardha O.; Giachino E.; Sangiorgi D. | 2022-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | PPDP_Ornela_Iris.pdf |
| Modular coinduction up-to for higher-order languages via first-order transition systems | Madiot J.-M.; Pous D.; Sangiorgi D. | 2021-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | lmcsMPS_21.pdf |
| On sequentiality and well-bracketing in the π-calculus | Hirschkoff D.; Prebet E.; Sangiorgi D. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | LICS_iris.pdf |
| On the representation of references in the Pi-Calculus | Hirschkoff D.; Prebet E.; Sangiorgi D. | 2020-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2020-34.pdf |
| The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service |
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik | 4.01 Contributo in Atti di convegno | dip2020.pdf |
| Towards ‘up to context’ reasoning about higher-order processes | Durier A.; Hirschkoff D.; Sangiorgi D. | 2020-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | DStcs.pdf |
| Unique solutions of contractions, CCS, and their HOL formalisation | Tian C.; Sangiorgi D. | 2020-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | HAL_final_main.pdf |
| Asynchronous π -calculus at Work: The Call-by-Need Strategy | Sangiorgi, D. | 2019-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | main.pdf |
| Bisimulation and Coinduction Enhancements: A Historical Perspective | Pous, D.; Sangiorgi, D. | 2019-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | finalDS.pdf |
| DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS | Durier, A; Hirschkoff, D; Sangiorgi, D | 2019-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 1806.11354.pdf |
| Environmental bisimulations for probabilistic higher-order languages | Sangiorgi D.; Vignudelli V. | 2019-01-01 | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - | 1.01 Articolo in rivista | toplas19_postprint.pdf |
| Playing with bisimulation in erlang | Lanese, I.; Sangiorgi, D.; Zavattaro, G. | 2019-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | main.pdf |
| Bisimilarity via unique-solution techniques | Sangiorgi, Davide* | 2018-01-01 | CEUR WORKSHOP PROCEEDINGS | CEUR-WS | 4.01 Contributo in Atti di convegno | CEURinvited2.pdf |