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
  • Fixed-point Elimination in the Intuitionistic Propositional Calculus / S. Ghilardi, M.J. Gouveia, L. Santocanale. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 21:1(2019 Oct), pp. 4.1-4.37.
  • Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Business Process Management / [a cura di] T. Hildebrandt, B.F. van Dongen, M. Röglinger, J. Mendling. - [s.l] : Springer, 2019 Sep. - ISBN 9783030266189. - pp. 157-175 (( Intervento presentato al 17. convegno BPM tenutosi a Wien nel 2019.
  • Model Completeness, Covers and Superposition / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Deduction – CADE 27 / [a cura di] P. Fontaine. - [s.l] : Springer, 2019 Aug. - ISBN 9783030294359. - pp. 142-160 (( Intervento presentato al 27. convegno International Conference on Automated Deduction tenutosi a Natal nel 2019.
  • 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.