SANGIORGI, DAVIDE
SANGIORGI, DAVIDE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Unique-Solution of Equations in Higher-Order Process Calculi with Passivation
2026 Sangiorgi, Davide
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
2025 Sangiorgi, Davide
Extensional and Non-extensional Functions as Processes
2025 Sakayori, Ken; Sangiorgi, Davide
First-Order Store and Visibility in Name-Passing Calculi
2025 Hirschkoff, Daniel; Quémerais, Iwan; Sangiorgi, Davide
Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations
2025 Durier, Adrien; Hirschkoff, Daniel; 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.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Unique-Solution of Equations in Higher-Order Process Calculi with Passivation | Sangiorgi, Davide | 2026-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| 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 | sangiorgi_Isola_2024.pdf |
| Extensional and Non-extensional Functions as Processes | Sakayori, Ken; Sangiorgi, Davide | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| First-Order Store and Visibility in Name-Passing Calculi | Hirschkoff, Daniel; Quémerais, Iwan; Sangiorgi, Davide | 2025-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations | Durier, Adrien; Hirschkoff, Daniel; 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 |