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) [Contribution to conference proceedings]Open Access
Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [Scientific article]
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Name-passing calculi: From fusions to preorders and types, «INFORMATION AND COMPUTATION», 2016, 251, pp. 335 - 360 [Scientific article]
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, «ACM SIGPLAN NOTICES», 2015, 50, pp. 421 - 432 (atti di: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15-17 Gennaio 2015) [Contribution to conference proceedings]
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 [Chapter or essay]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2015, 9399, pp. 63 - 68 (atti di: 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, Cali, Colombia, 2015) [Contribution to conference proceedings]
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, 2014, 8704, pp. 93 - 108 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contribution to conference proceedings]
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 [Chapter or essay]
Sangiorgi, Davide, Higher-order languages: Bisimulation and coinductive equivalences (extended abstract), in: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Berlino, Springer Verlag, 2014, 8446, pp. 3 - 9 (atti di: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Grenoble, fra, 2014) [Contribution to conference proceedings]
Dal Lago, U.; Sangiorgi, D.; Alberti, M., On coinductive equivalences for higher-order probabilistic functional programs, in: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, 2014, pp. 297 - 308 (atti di: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, San Diego, California, USA, January 22-24, 2014) [Contribution to conference proceedings]
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria, On the discriminating power of passivation and higher-order interaction, in: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, aut, 2014) [Contribution to conference proceedings]
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria, On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems, in: Proc. 11th Int. Conference on Quantitative Evaluation of Systems, Berlino, Springer Verlag, 2014, 8657, pp. 281 - 296 (atti di: 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, Florence, ita, 2014) [Contribution to conference proceedings]
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Symmetries and dualities in name-passing process calculi, in: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, Berlino, Springer Verlag, 2014, pp. 307 - 322 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, in: 25th International Conference on Concurrency Theory, (CONCUR'14), Berlino, Springer Verlag, 2014, 8704, pp. 78 - 92 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contribution to conference proceedings]
Reiner Hähnle;Michiel Helvensteijn;Einar Broch Johnsen;Michael Lienhardt;Davide Sangiorgi;Ina Schaefer;Peter Y. H. Wong, HATS Abstract Behavioral Specification: The Architectural View, in: Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011: Revised Selected Papers, Berlino, Springer, 2013, 7542, pp. 109 - 132 (atti di: 10th International Symposium, FMCO 2011, Torino, October 3-5, 2012) [Contribution to conference proceedings]
