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.
  • Petri Nets with Parameterised Data / S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Business Process Management[s.l] : Springer, 2020 Sep. - ISBN 978-3-030-58665-2. - pp. 55-74
  • 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.