pith. sign in

Silvio Ghilardi

Identifiers

  • name variant Silvio Ghilardi 0.60 · backfill

Papers (13)

  1. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version) cs.LO · 2019 · author #2
  2. Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN cs.LO · 2019 · author #2
  3. Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond math.LO · 2019 · author #1
  4. Verification of Data-Aware Processes via Array-Based Systems (Extended Version) cs.LO · 2018 · author #2
  5. Quantifier Elimination for Database Driven Verification cs.LO · 2018 · author #2
  6. Ruitenburg's Theorem via Duality and Bounded Bisimulations math.LO · 2018 · author #2
  7. Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) math.LO · 2018 · author #1
  8. Monadic second order logic as the model companion of temporal logic math.LO · 2016 · author #1
  9. Counting Constraints in Flat Array Fragments cs.LO · 2016 · author #2
  10. Fixed-point elimination in the intuitionistic propositional calculus cs.LO · 2016 · author #1
  11. A model-theoretic characterization of monadic second order logic on infinite words math.LO · 2015 · author #1
  12. Abstraction and Acceleration in SMT-based Model-Checking for Array Programs cs.LO · 2013 · author #2
  13. From Strong Amalgamability to Modularity of Quantifier-Free Interpolation cs.LO · 2012 · author #2

Mentions

  • 1503.08936 #1 · backfill · confidence 0.70 Silvio Ghilardi
  • 1304.4499 #2 · backfill · confidence 0.70 Silvio Ghilardi
  • 1203.3730 #2 · backfill · confidence 0.70 Silvio Ghilardi

Frequent Coauthors