Foto del docente

Davide Sangiorgi

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Sangiorgi Davide, Enhanced Induction in Behavioural Relations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023, 252, pp. 1 - 6 (atti di: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland, February 13-16, 2023) [atti di convegno-abstract]

Castellani I.; Dardha O.; Padovani L.; Sangiorgi D., EXPRESSing Session Types, in: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, 2023, 387, pp. 8 - 25 (atti di: Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, Antwerp, Belgium, 18 September 2023) [Contributo in Atti di convegno]

Sakayori K.; Sangiorgi D., Extensional and Non-extensional Functions as Processes, in: Proceedings - Symposium on Logic in Computer Science, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2023, 2023-, pp. 1 - 13 (atti di: 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston University, usa, June 26-29, 2023) [Contributo in Atti di convegno]

Durier, A; Hirschkoff, D; Sangiorgi, D, Eager functions as processes, «THEORETICAL COMPUTER SCIENCE», 2022, 913, pp. 8 - 42 [articolo]Open Access

Sangiorgi, D, From Enhanced Coinduction towards Enhanced Induction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 29 [articolo]Open Access

Jaber G.; Sangiorgi D., Games, Mobile Processes, and Functions, in: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Schloss Dagstuhl, Florin Manea and Alex Simpson, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 216, pp. 1 - 18 (atti di: 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Gottingen, February 14-19, 2022) [Contributo in Atti di convegno]Open Access

Dardha O.; Giachino E.; Sangiorgi D., Session Types Revisited: A Decade Later, in: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2022, pp. 1 - 4 (atti di: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, September 20 - 22, 2022) [Contributo in Atti di convegno]Open Access

Madiot J.-M.; Pous D.; Sangiorgi D., Modular coinduction up-to for higher-order languages via first-order transition systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, pp. 1 - 39 [articolo]Open Access

Hirschkoff D.; Prebet E.; Sangiorgi D., On sequentiality and well-bracketing in the π-calculus, in: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21), N.Y., Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021-, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Roma, 2021) [Contributo in Atti di convegno]Open Access

Hirschkoff D.; Prebet E.; Sangiorgi D., On the representation of references in the Pi-Calculus, in: 31st International Conference on Concurrency Theory (CONCUR 2020), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2020, 171, pp. 1 - 20 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Vienna, 2020) [Contributo in Atti di convegno]Open Access

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro, The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contributo in Atti di convegno]Open Access

Durier A.; Hirschkoff D.; Sangiorgi D., Towards ‘up to context’ reasoning about higher-order processes, «THEORETICAL COMPUTER SCIENCE», 2020, 807, pp. 154 - 168 [articolo]Open Access

Tian C.; Sangiorgi D., Unique solutions of contractions, CCS, and their HOL formalisation, «INFORMATION AND COMPUTATION», 2020, 275, Article number: 104606, pp. 1 - 32 [articolo]Open Access

Sangiorgi D., Asynchronous π -calculus at Work: The Call-by-Need Strategy, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., Cham, Switzerland, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11760, pp. 33 - 49 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, 4 November 2019) [Contributo in Atti di convegno]Open Access

Pous D.; Sangiorgi D., Bisimulation and Coinduction Enhancements: A Historical Perspective, «FORMAL ASPECTS OF COMPUTING», 2019, 31, pp. 733 - 749 [articolo]Open Access

Ultimi avvisi

Al momento non sono presenti avvisi.