2026 Publications

• 2026
  • M. Campion, M. Dalla Preda, R. Giacobazzi, A. Miné, C. Urban : “Generator-Dense Galois Connections”, SAS 2026 - 33^rd Static Analysis Symposium, Oakland, CA, United States (2026)
  • M. Campion, I. Mastroeni, M. Pasqua, C. Urban : “Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations”, FoSSaCS 2026 - Foundations of Software Science and Computation Structures, vol. 16503, Lecture Notes in Computer Science, Turin, Italy, pp. 153-177, (Springer Nature Switzerland) (2026)