silvio ghilardi
Università degli Studi di Milano
H-index: 39
Europe-Italy
Top articles of silvio ghilardi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A calculus for modal compact Hausdorff spaces | arXiv preprint arXiv:2402.00528 | Nick Bezhanishvili Luca Carai Silvio Ghilardi Zhiguang Zhao | 2024/2/1 |
Profiniteness, Monadicity and Universal Models in Modal Logic | Annals of Pure and Applied Logic | Matteo De Berardinis Silvio Ghilardi | 2024/4/15 |
Formal Verification of Storm Topologies-Supplementary Material | E Pagani Marcello Maria Bersani M Erascu F Marconi S Ghilardi | 2024/4/10 | |
Milan, Italy June 5–June 9, 2023 | The Bulletin of Symbolic Logic | Luigi Vanvitelli Greta Coraglia Aguzzoli Esther Corsi Marcello D’Agostino Francesca Doneda | 2024/3 |
Interpolation Results for Arrays with Length and MaxDiff | ACM Transactions on Computational Logic | Silvio Ghilardi Alessandro Gianola Deepak Kapur Chiara Naso | 2023/6/9 |
THE REVIEW OF SYMBOLIC LOGIC | Reproduction | Sean Walsh Walter Dean Fernando Ferreira Salvatore Florio Silvio Ghilardi | 2020/3 |
Safety verification and universal invariants for relational action bases | Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin | 2023 | |
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras | Annals of Pure and Applied Logic | Nick Bezhanishvili Luca Carai Silvio Ghilardi Lucia Landi | 2023/1/1 |
Unification in lax logic | Journal of Algebraic Hyperstructures and Logical Algebras | Silvio Ghilardi Giacomo Lenzi | 2022/2/1 |
The Invariance Modality | Silvio Ghilardi | 2022/11/9 | |
Interpolation and uniform interpolation in quantifier-free fragments of combined first-order theories | Mathematics | Silvio Ghilardi Alessandro Gianola | 2022/1/31 |
Relational action bases: Formalization, effective safety verification, and invariants (extended version) | arXiv preprint arXiv:2208.06377 | Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin | 2022/8/12 |
Combination of uniform interpolants via Beth definability | Journal of Automated Reasoning | Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin | 2022/8 |
General interpolation and strong amalgamation for contiguous arrays | arXiv preprint arXiv:2204.11771 | Silvio Ghilardi Alessandro Gianola Deepak Kapur Chiara Naso | 2022/4/25 |
Petri net-based object-centric processes with read-only data | Information Systems | Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin | 2022/7/1 |
Uniform Interpolants in EUF: Algorithms using DAG-representations | Logical Methods in Computer Science | Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2022/4/14 |
Interpolation and Amalgamation for Arrays with MaxDiff. | Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2021/3/23 | |
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems | Journal of Automated Reasoning | Silvio Ghilardi Elena Pagani | 2021/3 |
A formal verification of ArpON–a tool for avoiding Man-in-the-Middle attacks in Ethernet networks | IEEE Transactions on Dependable and Secure Computing | Danilo Bruschi Andrea Di Pasquale Silvio Ghilardi Andrea Lanzi Elena Pagani | 2021/10/7 |
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif | CEUR WORKSHOP PROCEEDINGS | J Castellanos Joo Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2021 |