Davide Sangiorgi
Orcid: 0000-0001-5823-3235Affiliations:
- University of Bologna, Italy
According to our database1,
Davide Sangiorgi
authored at least 138 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on cs.unibo.it
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Modular coinduction up-to for higher-order languages via first-order transition systems.
Log. Methods Comput. Sci., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Theor. Comput. Sci., 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2019
ACM Trans. Program. Lang. Syst., 2019
Formal Aspects Comput., 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018
Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018
2017
2016
2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
Proceedings of the Correct System Design, 2015
2014
Proceedings of the Computational Logic, 2014
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract).
Proceedings of the Coalgebraic Methods in Computer Science, 2014
Proceedings of the Computing with New Resources, 2014
2013
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).
CoRR, 2013
2012
Distributed Comput., 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Origins of bisimulation and coinduction.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012
Enhancements of the bisimulation proof method.
Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012
2011
ACM Trans. Program. Lang. Syst., 2011
Inf. Comput., 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
ACM Trans. Program. Lang. Syst., 2010
Theor. Comput. Sci., 2010
J. Log. Algebraic Methods Program., 2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
ACM Trans. Program. Lang. Syst., 2009
On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the Semantics and Algebraic Specification, 2009
2008
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2007
J. Log. Algebraic Methods Program., 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007
2006
Sci. Comput. Program., 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
2003
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the CONCUR 2002, 2002
2001
Theor. Comput. Sci., 2001
Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
The Pi-Calculus - a theory of mobile processes.
Cambridge University Press, ISBN: 978-0-521-78177-0, 2001
2000
Review: Communicating and Mobile Systems: the -calculus, - Robin Milner, Cambridge University Press, Cambridge, 1999, 174 pages, ISBN 0-521-64320-1.
Sci. Comput. Program., 2000
Lazy functions and mobile processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects.
Theory Pract. Object Syst., 1999
Proceedings of the Foundations of Software Science and Computation Structure, 1999
Proceedings of the Foundations of Software Science and Computation Structure, 1999
1998
On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.
Math. Struct. Comput. Sci., 1998
Imperative objects and mobile processes.
Proceedings of the Programming Concepts and Methods, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the Proceedings, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1993
PhD thesis, 1993
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Acta Informatica, 1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
1991
Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata.
Theor. Comput. Sci., 1991
1990
Int. J. Found. Comput. Sci., 1990
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990