GHILARDI, SILVIO

GHILARDI, SILVIO  

Dipartimento di Matematica Federigo Enriques  

Mostra records
Risultati 1 - 20 di 107 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Formal Verification of Storm Topologies - Supplementary Material 2024 Elena PaganiSilvio Ghilardi + Dataset -
Profiniteness, monadicity and universal models in modal logic 2024 Ghilardi, Silvio + Article (author) -
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras 2023 Carai L.Ghilardi S. + Article (author) -
Safety Verification and Universal Invariants for Relational Action Bases 2023 Ghilardi, Silvio + Book Part (author) -
Interpolation Results for Arrays with Length and MaxDiff 2023 Silvio Ghilardi + Article (author) -
Combination of Uniform Interpolants via Beth Definability 2022 Ghilardi, S + Article (author) -
The Invariance Modality 2022 Ghilardi, Silvio Book Part (author) -
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories 2022 Ghilardi S. + Article (author) -
UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS 2022 Ghilardi S. + Article (author) -
Petri net-based object-centric processes with read-only data 2022 Ghilardi S. + Article (author) -
Unification in lax logic 2022 S. Ghilardi + Article (author) -
Interpolation and Amalgamation for Arrays with MaxDiff 2021 Ghilardi, Silvio + Book Part (author) -
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks 2021 Bruschi D.Ghilardi S.Lanzi A.Pagani E. + Article (author) -
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif 2021 S. Ghilardi + Book Part (author) -
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN 2021 Ghilardi, Silvio + Book Part (author) -
Model Completeness, Uniform Interpolants and Superposition Calculus (With Applications to Verification of Data-Aware Processes) 2021 Ghilardi, Silvio + Article (author) -
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 2020 S. Ghilardi + Book Part (author) -
Model Completeness and Π2 -rules: the case of Contact Algebras 2020 S. Ghilardi + Book Part (author) -
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond 2020 Ghilardi, Silvio + Article (author) -
Combined Covers and Beth Definability 2020 S. Ghilardi + Book Part (author) -