Silvio Ghilardi

Silvio Ghilardi publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Silvio Ghilardi sits on this spectrum.

Silvio Ghilardi D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Silvio Ghilardi sits on this spectrum.

Best Publications

• Did I damage my ontology? A case for conservative extensions in description logic

  Silvio Ghilardi;Carsten Lutz;Frank Wolter

  282
  Citations

• Unification in Intuitionistic Logic

  Silvio Ghilardi

  256
  Citations

• LTL over description logic axioms

  Franz Baader;Silvio Ghilardi;Carsten Lutz

  200
  Citations

• Best solving modal equations

  Silvio Ghilardi

  175
  Citations

• MCMT: a model checker modulo theories

  Silvio Ghilardi;Silvio Ranise

  159
  Citations

• Unification through Projectivity

  Silvio Ghilardi

  143
  Citations

• Model-Theoretic Methods in Combined Constraint Satisfiability

  Silvio Ghilardi

  117
  Citations

• An algebraic theory of normal forms

  Silvio Ghilardi

  108
  Citations

• Unification in modal and description logics

  Franz Baader;Silvio Ghilardi

  101
  Citations

• Towards SMT Model Checking of Array-Based Systems

  Silvio Ghilardi;Enrica Nicolini;Silvio Ranise;Daniele Zucchelli

  96
  Citations

• Undefinability of propositional quantifiers in the modal system S4

  Silvio Ghilardi;Marek W. Zawadowski

  86
  Citations

• Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics

  Silvio Ghilardi;M. Zawadowski

  79
  Citations

• Incompleteness results in Kripke semantics

  Silvio Ghilardi

  76
  Citations

• Constructive canonicity in non-classical logics

  Silvio Ghilardi;Giancarlo Meloni

  76
  Citations

• Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures

  Maria Paola Bonacina;Silvio Ghilardi;Enrica Nicolini;Silvio Ranise

  72
  Citations

• Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures

  Maria Paola Bonacina;Silvio Ghilardi;Enrica Nicolini;Silvio Ranise

  72
  Citations

• Decision procedures for extensions of the theory of arrays

  Silvio Ghilardi;Enrica Nicolini;Silvio Ranise;Daniele Zucchelli

  67
  Citations

• SAFARI: SMT-based abstraction for arrays with interpolants

  Francesco Alberti;Roberto Bruttomesso;Silvio Ghilardi;Silvio Ranise

  66
  Citations

• Lazy abstraction with interpolants for arrays

  Francesco Alberti;Roberto Bruttomesso;Silvio Ghilardi;Silvio Ranise

  65
  Citations

• An algebraic approach to subframe logics. Intuitionistic case

  Guram Bezhanishvili;Silvio Ghilardi

  64
  Citations