Ghilardi Silvio

Full professor
SSD
MAT/01 - MATHEMATICAL LOGIC
Competition sector
01/A1 - MATHEMATICAL LOGIC, MATHEMATICS EDUCATION AND HISTORY OF MATHEMATICS

Contacts

Workplace

Via Saldini, 50
20133 MILANO (MI)

Office phone number
02503 16142
University email address
Web site
Research

Publications

Publications
  • SMT-based verification of data-aware processes: a model-theoretic approach / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - 30:3(2020 Mar), pp. 271-313.
  • Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond / S. Ghilardi, L. Santocanale. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - (2020). [Epub ahead of print]
  • Model Completeness and Π2 -rules: the case of Contact Algebras / N. Bezhanishvili, S. Ghilardi, L. Landi (ADVANCES IN MODAL LOGIC). - In: Advances in Modal Logic / [a cura di] N. Olivetti, R. Verbrugge, S. Negri, G. Sandu. - [s.l] : College Publications, 2020. - ISBN 9781848903418. - pp. 115-132 (( convegno Advances in Modal Logic nel 2020.
  • Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems / S. Ghilardi, E. Pagani. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 2020(2020). [Epub ahead of print]
  • Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations / S. Ghilardi, A. Gianola, D. Kapur (CEUR WORKSHOP PROCEEDINGS). - In: Proceedings of CILC 2020 / [a cura di] F. Calimeri, S. Perri, E. Zumpano. - [s.l] : CEUR, 2020. - pp. 67-81 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic tenutosi a Rende nel 2020.