Ghilardi Silvio

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

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
Ricerca

Pubblicazioni

Pubblicazioni
  • Interpolation and Amalgamation for Arrays with MaxDiff / S. Ghilardi, A. Gianola, D. Kapur (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Foundations of Software Science and Computation Structures / [a cura di] S. Kiefer, C. Tasson. - [s.l] : Springer, 2021. - ISBN 9783030719944. - pp. 268-288 (( convegno 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 tenutosi a Luxembourg City nel 2021.
  • 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]
  • Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems / S. Ghilardi, E. Pagani. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 2020(2020). [Epub ahead of print]
  • 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