BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Estonia
1 × France
1 × Germany
1 × Ireland
1 × Serbia
2 × Australia
2 × USA
3 × United Kingdom
Collaborated with:
S.Ranise F.Alberti F.Baader N.Sharygina R.Bruttomesso E.Nicolini D.Zucchelli C.Lutz F.Wolter C.Tinelli E.Pagani M.P.Bonacina D.Calvanese A.Gianola M.Montali A.Rivkin
Talks about:
array (6) procedur (4) theori (4) model (4) base (4) interpol (3) logic (3) decis (3) flat (3) quantifi (2)

Person: Silvio Ghilardi

DBLP DBLP: Ghilardi:Silvio

Contributed to:

SMT 20142014
TACAS 20142014
CAV 20122012
IJCAR 20122012
SMT 20122012
RTA 20112011
IJCAR 20102010
IJCAR 20082008
KR 20082008
CADE 20072007
IJCAR 20062006
KR 20062006
CADE 20052005
IJCAR 20042004
IJCAR 20162016
CADE 20192019

Wrote 16 papers:

SMT-2014-AlbertiGS #array
Decision Procedures for Flat Array Properties (FA, SG, NS), p. 51.
TACAS-2014-AlbertiGS #array
Decision Procedures for Flat Array Properties (FA, SG, NS), pp. 15–30.
CAV-2012-AlbertiBGRS #abstraction #array #named #smt
SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
IJCAR-2012-BruttomessoGR #composition #quantifier
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.
SMT-2012-AlbertiBGRS #library #modulo theories #reachability
Reachability Modulo Theory Library (FA, RB, SG, SR, NS), pp. 67–76.
RTA-2011-BruttomessoGR #array #formal method #quantifier
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.
IJCAR-2010-GhilardiR #model checking #modulo theories #named
MCMT: A Model Checker Modulo Theories (SG, SR), pp. 22–29.
IJCAR-2008-GhilardiNRZ #model checking #smt #towards
Towards SMT Model Checking of Array-Based Systems (SG, EN, SR, DZ), pp. 67–82.
KR-2008-BaaderGL #axiom #logic #ltl
LTL over Description Logic Axioms (FB, SG, CL), pp. 684–694.
CADE-2007-GhilardiNRZ #infinity #model checking #satisfiability
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems (SG, EN, SR, DZ), pp. 362–378.
IJCAR-2006-BonacinaGNRZ #decidability
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures (MPB, SG, EN, SR, DZ), pp. 513–527.
KR-2006-GhilardiLW #logic #ontology
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.
Connecting Many-Sorted Theories (FB, SG), pp. 278–294.
IJCAR-2004-BaaderGT #decidability #logic #problem #word
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics (FB, SG, CT), pp. 183–197.
IJCAR-2016-AlbertiGP #array #constraints
Counting Constraints in Flat Array Fragments (FA, SG, EP), pp. 65–81.
Model Completeness, Covers and Superposition (DC, SG, AG, MM, AR), pp. 142–160.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.