The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Silvio Ghilardi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    Conservative extensions in modal logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:187-207 [Conf]
  2. Silvio Ghilardi, Marek W. Zawadowski
    From Bisimulation Quantifiers to Classifying Toposes. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2000, pp:193-220 [Conf]
  3. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:183-197 [Conf]
  4. Franz Baader, Silvio Ghilardi
    Connecting Many-Sorted Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:278-294 [Conf]
  5. Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:513-527 [Conf]
  6. Franz Baader, Silvio Ghilardi
    Connecting Many-Sorted Structures and Theories Through Adjoint Functions. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:31-47 [Conf]
  7. Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
    A Comprehensive Framework for Combined Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:1-30 [Conf]
  8. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:177-189 [Conf]
  9. Silvio Ghilardi, Carsten Lutz, Frank Wolter
    Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:187-197 [Conf]
  10. Silvio Ghilardi, Luigi Santocanale
    Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:152-166 [Conf]
  11. Silvio Ghilardi
    Best Solving Modal Equations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:102, n:3, pp:183-198 [Journal]
  12. Silvio Ghilardi
    Unification, finite duality and projectivity in varieties of Heyting algebras. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:99-115 [Journal]
  13. Silvio Ghilardi
    An Algebraic Theory of Normal Forms. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:71, n:3, pp:189-245 [Journal]
  14. Silvio Ghilardi, Giancarlo Meloni
    Constructive Canonicity in Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:86, n:1, pp:1-32 [Journal]
  15. Silvio Ghilardi, Marek W. Zawadowski
    Model Completions, r-Heyting Categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:88, n:1, pp:27-46 [Journal]
  16. Silvio Ghilardi
    Quantifier Elimination and Provers Integration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  17. Franz Baader, Silvio Ghilardi, Cesare Tinelli
    A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1413-1452 [Journal]
  18. Silvio Ghilardi
    A Resolution/Tableaux Algorithm for Projective Approximations in IPC. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:3, pp:229-243 [Journal]
  19. Silvio Ghilardi
    Model-Theoretic Methods in Combined Constraint Satisfiability. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:3-4, pp:221-249 [Journal]
  20. Silvio Ghilardi
    Incompleteness Results in Kripke Semantics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:517-538 [Journal]
  21. Silvio Ghilardi
    Unification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:859-880 [Journal]
  22. Silvio Ghilardi, Giancarlo Meloni
    Relational and Partial Variable Sets and Basic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:843-872 [Journal]
  23. Silvio Ghilardi, Marek W. Zawadowski
    A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:911-939 [Journal]
  24. Silvio Ghilardi
    Unification Through Projectivity. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:6, pp:733-752 [Journal]
  25. Silvio Ghilardi
    Quantified Extensions of Canonical Propositional Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1992, v:51, n:2, pp:195-214 [Journal]
  26. Silvio Ghilardi, Daniele Mundici
    Foreword. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:73, n:1, pp:3- [Journal]
  27. Silvio Ghilardi, Pierangelo Miglioli
    On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:3, pp:353-385 [Journal]
  28. Silvio Ghilardi, Marek W. Zawadowski
    Undefinability of propositional quantifiers in the modal system S4. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:2, pp:259-271 [Journal]
  29. Camillo Fiorentini, Silvio Ghilardi
    Combining word problems through rewriting in categories with products. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:1/2, pp:103-149 [Journal]
  30. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:362-378 [Conf]
  31. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Noetherianity and Combination Problems. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:206-220 [Conf]
  32. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Decision procedures for extensions of the theory of arrays. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:231-254 [Journal]
  33. Guram Bezhanishvili, Silvio Ghilardi
    An algebraic approach to subframe logics. Intuitionistic case. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:147, n:1-2, pp:84-100 [Journal]

  34. Towards SMT Model Checking of Array-Based Systems. [Citation Graph (, )][DBLP]


  35. MCMT: A Model Checker Modulo Theories. [Citation Graph (, )][DBLP]


  36. From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. [Citation Graph (, )][DBLP]


  37. LTL over Description Logic Axioms. [Citation Graph (, )][DBLP]


  38. LTL over Description Logic Axioms. [Citation Graph (, )][DBLP]


  39. Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. [Citation Graph (, )][DBLP]


  40. Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. [Citation Graph (, )][DBLP]


  41. Light-Weight SMT-based Model Checking. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002