Foto del docente

Davide Sangiorgi

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Sangiorgi, Davide*, Bisimilarity via unique-solution techniques, in: CEUR Workshop Proceedings, CEUR-WS, 2018, 2243, pp. 7 - 11 (atti di: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, Urbino, 2018) [Contributo in Atti di convegno]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Eager functions as processes, in: Proceedings - Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers Inc., 2018, pp. 364 - 373 (atti di: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, oxford, 2018) [Contributo in Atti di convegno]

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

Tian, Chun; Sangiorgi, Davide, Unique solutions of contractions, CCS, and their HOL formalisation, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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

Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide, Session types revisited, «INFORMATION AND COMPUTATION», 2017, 256, pp. 253 - 286 [articolo]

Sangiorgi, Davide; Vignudelli, Valeria, Environmental bisimulations for probabilistic higher-order languages, in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2016, 51, pp. 595 - 607 (atti di: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg (USA), 20-22 Gennaio 2016) [Contributo in Atti di convegno]

Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [articolo]

Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Name-passing calculi: From fusions to preorders and types, «INFORMATION AND COMPUTATION», 2016, 251, pp. 335 - 360 [articolo]

Sangiorgi, Davide, Equations, contractions, and unique solutions, in: S. K. Rajamani, D. Walker, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Association for Computing Machinery, 2015, 50, pp. 421 - 432 (atti di: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15-17 Gennaio 2015) [Contributo in Atti di convegno]

Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria, On Applicative Similarity, Sequentiality, and Full Abstraction, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Meyer, Roland; Platzer, André; Wehrheim, Heike, 2015, pp. 65 - 82 [capitolo di libro]

Sangiorgi, Davide, The proof technique of unique solutions of contractions, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2015, 9399, pp. 63 - 68 (atti di: 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, Cali, Colombia, 2015) [Contributo in Atti di convegno]

Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide, Bisimulations up-to: Beyond first-order transition systems, in: 25th International Conference on Concurrency Theory (CONCUR 2014), Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 93 - 108 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contributo in Atti di convegno]

Baeten, Jos C.M.; Sangiorgi, Davide, Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, in: Computational Logic, Amsterdam, Elsevier, 2014, pp. 399 - 442 [capitolo di libro]

Ultimi avvisi

Al momento non sono presenti avvisi.