Foto del docente

Davide Sangiorgi

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Publications

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]

Daniel Hirschkoff;Jean-Marie Madiot;Davide Sangiorgi, Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, in: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, NEW YORK, IEEE, 2013, pp. 378 - 387 (atti di: 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, New Orleans, USA, Giugno 25-28, 2013) [Contribution to conference proceedings]

M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contribution to conference proceedings]

Davide Sangiorgi;Jan Rutten, Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 340 . [Editorship]

Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi, An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Berlino, Springer, 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contribution to conference proceedings]

Davide Sangiorgi, Concurrency theory: timed automata, testing, program synthesis, «DISTRIBUTED COMPUTING», 2012, 25, pp. 3 - 4 [Abstract]

Latest news

At the moment no news are available.