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