Ghilardi Silvio

PROFESSORE ORDINARIO
SSD
MAT/01 - LOGICA MATEMATICA
Settore concorsuale
01/A1 - LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI

Referenti e contatti

Sede di lavoro

Via Saldini, 50
20133 MILANO (MI)

Numero di telefono dell'ufficio
02503 16142
E-mail di ateneo
Sito web
Ricevimento
venerdì alle 11,30
Luogo di ricevimento
Dipartimento di Matematica, via C. Saldini 50

Didattica

Ricerca

Pubblicazioni
  • 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.
  • 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.