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

Teaching

Research

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]
  • Combined Covers and Beth Definability / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Reasoning / [a cura di] N. Peltier, V. Sofronie-Stokkermans. - [s.l] : Springer, 2020. - ISBN 9783030510732. - pp. 181-200 (( Intervento presentato al 10. convegno IJCAR tenutosi a Paris nel 2020.
  • EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES / L. Carai, GHILARDI SILVIO. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 84:4(2019 Dec), pp. PII S0022481219000719.1544-PII S0022481219000719.1575.
  • Verification of data-aware processes : challenges and opportunities for automated reasoning / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 311(2019 Dec), pp. 53-58. ((Intervento presentato al 2. convegno International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE) tenutosi a Natal (Brazil) nel 2019.