SANGIORGI, DAVIDE

SANGIORGI, DAVIDE  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.034 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 - 1.01 Articolo in rivista 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
Eager functions as processes Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2018-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics_final_IRIS.pdf