Foto del docente

Davide Sangiorgi

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Coordinator of PhD Programme in Computer Science And Engineering

Publications

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, 2020, 171, pp. 1 - 20 (atti di: 31st International Conference on Concurrency Theory, CONCUR 2020, Vienna, 2020) [Contribution to conference proceedings]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, 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contribution to conference proceedings]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 [Scientific article]Open Access

Tian C.; Sangiorgi D., Unique solutions of contractions, CCS, and their HOL formalisation, «INFORMATION AND COMPUTATION», 2020, 275, pp. 1 - 32 [Scientific article]

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, 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) [Contribution to conference proceedings]Open Access

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

Durier, A; Hirschkoff, D; Sangiorgi, D, DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS, «LOGICAL METHODS IN COMPUTER SCIENCE», 2019, 15, pp. 12:1 - 12:34 [Scientific article]Open Access

Sangiorgi D.; Vignudelli V., Environmental bisimulations for probabilistic higher-order languages, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 64 [Scientific article]Open Access

Lanese I.; Sangiorgi D.; Zavattaro G., Playing with bisimulation in erlang, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cham, Springer Verlag, 2019, pp. 71 - 91 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Chapter or essay]

Sangiorgi, Davide*, Bisimilarity via unique-solution techniques, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2018, 2243, pp. 7 - 11 (atti di: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, Urbino, 2018) [Contribution to conference proceedings]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Eager functions as processes, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), N.Y., Association for Computing Machinery, 2018, pp. 364 - 373 (atti di: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, 2018) [Contribution to conference proceedings]Open Access

Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2018, 14, pp. 1 - 41 [Scientific article]Open Access

Tian, Chun; Sangiorgi, Davide, Unique solutions of contractions, CCS, and their HOL formalisation, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2018, 276, pp. 122 - 139 (atti di: Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, chn, 2018) [Contribution to conference proceedings]Open Access

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Divergence and unique solution of equations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017, 85, pp. 1 - 16 (atti di: 28th International Conference on Concurrency Theory, CONCUR 2017, Berlino, 2017) [Contribution to conference proceedings]Open Access

Sangiorgi, Davide, Equations, contractions, and unique solutions, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2017, 18, pp. 1 - 30 [Scientific article]

Latest news

At the moment no news are available.