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

Education

Research

Publications
  • From model completeness to verification of data aware processes / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN COMPUTER SCIENCE). - In: Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / [a cura di] C. Lutz, U. Sattler, C. Tinelli, A. Turhan, F. Wolter. - [s.l] : Springer, 2019 Jun. - ISBN 9783030221010. - pp. 212-239 (( convegno Essays Dedicated to Franz Baader on the occasion oh his 60th Birthday tenutosi a Dresden nel 2019.
  • Modularity results for interpolation, amalgamation and superamalgamation / S. Ghilardi, A. Gianola. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 169:8(2018 Aug), pp. 731-754.
  • Model Checking: Teoria ed Applicazioni / A. Cimatti, S. Ghilardi, S. Ranise - In: Le direzioni della ricerca logica in Italia 2 / [a cura di] H. Hosni, G. Lolli, C. Toffalori. - [s.l] : Edizioni ETS, 2018. - ISBN 9788846752987. - pp. 141-194
  • Ruitenburg's Theorem via Duality and Bounded Bisimulations / S. Ghilardi, L. Santocanale - In: Advances in Modal Logic / [a cura di] G. Bezhanishviii, G. D'Agostino, G. Metcalfe, T. Studer. - [s.l] : College Publications, 2018. - ISBN 9781848902558. - pp. 277-290
  • Second Order Quantifier Elimination: Towards Verification Applications / S. Ghilardi, E. Pagani - In: Second-Order Quantifier Elimination and Related Topics : SOQE 2017 / [a cura di] P. Koopmann, S. Rudolph, R. A. Schmidt, C. Wernhard. - Prima edizione. - [s.l] : CEUR, 2017 Dec. - pp. 36-50 (( convegno Second-Order Quantifier Elimination and Related Topics tenutosi a Dresden nel 2017.