BibTeX records: Silvio Ghilardi

download as .bib file

@article{DBLP:journals/apal/BezhanishviliCG23,
  author       = {Nick Bezhanishvili and
                  Luca Carai and
                  Silvio Ghilardi and
                  Lucia Landi},
  title        = {Admissibility of {\(\Pi\)}\({}_{\mbox{2}}\)-Inference Rules: interpolation,
                  model completion, and contact algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {174},
  number       = {1},
  pages        = {103169},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.apal.2022.103169},
  doi          = {10.1016/J.APAL.2022.103169},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BezhanishviliCG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhilardiGKN23,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur and
                  Chiara Naso},
  title        = {Interpolation Results for Arrays with Length and MaxDiff},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {24},
  number       = {4},
  pages        = {28:1--28:33},
  year         = {2023},
  url          = {https://doi.org/10.1145/3587161},
  doi          = {10.1145/3587161},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GhilardiGKN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GhilardiGMR23,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Safety Verification and Universal Invariants for Relational Action
                  Bases},
  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                  SAR, China},
  pages        = {3248--3257},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/362},
  doi          = {10.24963/IJCAI.2023/362},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GhilardiGMR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GhilardiGMR22,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Petri net-based object-centric processes with read-only data},
  journal      = {Inf. Syst.},
  volume       = {107},
  pages        = {102011},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.is.2022.102011},
  doi          = {10.1016/J.IS.2022.102011},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/GhilardiGMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CalvaneseGGMR22,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Combination of Uniform Interpolants via Beth Definability},
  journal      = {J. Autom. Reason.},
  volume       = {66},
  number       = {3},
  pages        = {409--435},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10817-022-09627-1},
  doi          = {10.1007/S10817-022-09627-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CalvaneseGGMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GhilardiGK22,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  title        = {Uniform Interpolants in {EUF:} Algorithms using DAG-representations},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {2},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(2:2)2022},
  doi          = {10.46298/LMCS-18(2:2)2022},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/GhilardiGK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/BruschiPGLP22,
  author       = {Danilo Bruschi and
                  Andrea Di Pasquale and
                  Silvio Ghilardi and
                  Andrea Lanzi and
                  Elena Pagani},
  title        = {A Formal Verification of ArpON - {A} Tool for Avoiding Man-in-the-Middle
                  Attacks in Ethernet Networks},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {19},
  number       = {6},
  pages        = {4082--4098},
  year         = {2022},
  url          = {https://doi.org/10.1109/TDSC.2021.3118448},
  doi          = {10.1109/TDSC.2021.3118448},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/BruschiPGLP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11771,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur and
                  Chiara Naso},
  title        = {General Interpolation and Strong Amalgamation for Contiguous Arrays},
  journal      = {CoRR},
  volume       = {abs/2204.11771},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.11771},
  doi          = {10.48550/ARXIV.2204.11771},
  eprinttype    = {arXiv},
  eprint       = {2204.11771},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-11771.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06377,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Relational Action Bases: Formalization, Effective Safety Verification,
                  and Invariants (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2208.06377},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.06377},
  doi          = {10.48550/ARXIV.2208.06377},
  eprinttype    = {arXiv},
  eprint       = {2208.06377},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-06377.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GhilardiP21,
  author       = {Silvio Ghilardi and
                  Elena Pagani},
  title        = {Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant
                  Systems},
  journal      = {J. Autom. Reason.},
  volume       = {65},
  number       = {3},
  pages        = {425--460},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10817-020-09578-5},
  doi          = {10.1007/S10817-020-09578-5},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GhilardiP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CalvaneseGGMR21,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Model Completeness, Uniform Interpolants and Superposition Calculus},
  journal      = {J. Autom. Reason.},
  volume       = {65},
  number       = {7},
  pages        = {941--969},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10817-021-09596-x},
  doi          = {10.1007/S10817-021-09596-X},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/CalvaneseGGMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GhilardiGMR21,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Artem Polyvyanyy and
                  Moe Thandar Wynn and
                  Amy Van Looy and
                  Manfred Reichert},
  title        = {Delta-BPMN: {A} Concrete Language and Verifier for Data-Aware {BPMN}},
  booktitle    = {Business Process Management - 19th International Conference, {BPM}
                  2021, Rome, Italy, September 06-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12875},
  pages        = {179--196},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-85469-0\_13},
  doi          = {10.1007/978-3-030-85469-0\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/GhilardiGMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhilardiGK21,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  editor       = {Stefan Kiefer and
                  Christine Tasson},
  title        = {Interpolation and Amalgamation for Arrays with MaxDiff},
  booktitle    = {Foundations of Software Science and Computation Structures - 24th
                  International Conference, {FOSSACS} 2021, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
                  Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12650},
  pages        = {268--288},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-71995-1\_14},
  doi          = {10.1007/978-3-030-71995-1\_14},
  timestamp    = {Fri, 14 May 2021 08:34:11 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GhilardiGK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/JooGGK21,
  author       = {Jos{\'{e}} Abel Castellanos Joo and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  editor       = {Alexander Nadel and
                  Aina Niemetz},
  title        = {AXDInterpolator: {A} Tool for Computing Interpolants for Arrays with
                  MaxDiff},
  booktitle    = {Proceedings of the 19th International Workshop on Satisfiability Modulo
                  Theories co-located with 33rd International Conference on Computer
                  Aided Verification(CAV 2021), Online (initially located in Los Angeles,
                  USA), July 18-19, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2908},
  pages        = {40--52},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2908/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/JooGGK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CalvaneseGGMR20,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {SMT-based verification of data-aware processes: a model-theoretic
                  approach},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {30},
  number       = {3},
  pages        = {271--313},
  year         = {2020},
  url          = {https://doi.org/10.1017/S0960129520000067},
  doi          = {10.1017/S0960129520000067},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/CalvaneseGGMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhilardiS20,
  author       = {Silvio Ghilardi and
                  Luigi Santocanale},
  title        = {Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {30},
  number       = {6},
  pages        = {572--596},
  year         = {2020},
  url          = {https://doi.org/10.1017/S0960129519000203},
  doi          = {10.1017/S0960129519000203},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/GhilardiS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhilardiGS20,
  author       = {Silvio Ghilardi and
                  Maria Jo{\~{a}}o Gouveia and
                  Luigi Santocanale},
  title        = {Fixed-point Elimination in the Intuitionistic Propositional Calculus},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {21},
  number       = {1},
  pages        = {4:1--4:37},
  year         = {2020},
  url          = {https://doi.org/10.1145/3359669},
  doi          = {10.1145/3359669},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/GhilardiGS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BezhanishviliGL20,
  author       = {Nick Bezhanishvili and
                  Silvio Ghilardi and
                  Lucia Landi},
  editor       = {Nicola Olivetti and
                  Rineke Verbrugge and
                  Sara Negri and
                  Gabriel Sandu},
  title        = {Model Completeness and {\(\Pi\)}\({}_{\mbox{2}}\)-rules: The Case
                  of Contact Algebras},
  booktitle    = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
                  August 24-28, 2020},
  pages        = {115--132},
  publisher    = {College Publications},
  year         = {2020},
  url          = {http://www.aiml.net/volumes/volume13/Bezhanishvili-Ghilardi-Landi.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/BezhanishviliGL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GhilardiGMR20,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Dirk Fahland and
                  Chiara Ghidini and
                  J{\"{o}}rg Becker and
                  Marlon Dumas},
  title        = {Petri Nets with Parameterised Data - Modelling and Verification},
  booktitle    = {Business Process Management - 18th International Conference, {BPM}
                  2020, Seville, Spain, September 13-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12168},
  pages        = {55--74},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58666-9\_4},
  doi          = {10.1007/978-3-030-58666-9\_4},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/GhilardiGMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CalvaneseGGMR20,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Combined Covers and Beth Definability},
  booktitle    = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
                  2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12166},
  pages        = {181--200},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51074-9\_11},
  doi          = {10.1007/978-3-030-51074-9\_11},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CalvaneseGGMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GhilardiGK20,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  editor       = {Francesco Calimeri and
                  Simona Perri and
                  Ester Zumpano},
  title        = {Computing Uniform Interpolants for {EUF} via (conditional) DAG-based
                  Compact Representations},
  booktitle    = {Proceedings of the 35th Italian Conference on Computational Logic
                  - {CILC} 2020, Rende, Italy, October 13-15, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2710},
  pages        = {67--81},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2710/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/GhilardiGK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09784,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  title        = {Compactly Representing Uniform Interpolants for {EUF} using (conditional)
                  {DAGS}},
  journal      = {CoRR},
  volume       = {abs/2002.09784},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.09784},
  eprinttype    = {arXiv},
  eprint       = {2002.09784},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-09784.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06630,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Petri Nets with Parameterised Data: Modelling and Verification (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/2006.06630},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.06630},
  eprinttype    = {arXiv},
  eprint       = {2006.06630},
  timestamp    = {Sat, 13 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-06630.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07082,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola and
                  Deepak Kapur},
  title        = {Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/2010.07082},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.07082},
  eprinttype    = {arXiv},
  eprint       = {2010.07082},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-07082.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CaraiG19,
  author       = {Luca Carai and
                  Silvio Ghilardi},
  title        = {Existentially closed Brouwerian Semilattices},
  journal      = {J. Symb. Log.},
  volume       = {84},
  number       = {4},
  pages        = {1544--1575},
  year         = {2019},
  url          = {https://doi.org/10.1017/jsl.2019.71},
  doi          = {10.1017/JSL.2019.71},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/CaraiG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CalvaneseGGMR19,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Carsten Lutz and
                  Uli Sattler and
                  Cesare Tinelli and
                  Anni{-}Yasmin Turhan and
                  Frank Wolter},
  title        = {From Model Completeness to Verification of Data Aware Processes},
  booktitle    = {Description Logic, Theory Combination, and All That - Essays Dedicated
                  to Franz Baader on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11560},
  pages        = {212--239},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22102-7\_10},
  doi          = {10.1007/978-3-030-22102-7\_10},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CalvaneseGGMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseGGMR19,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Thomas T. Hildebrandt and
                  Boudewijn F. van Dongen and
                  Maximilian R{\"{o}}glinger and
                  Jan Mendling},
  title        = {Formal Modeling and SMT-Based Parameterized Verification of Data-Aware
                  {BPMN}},
  booktitle    = {Business Process Management - 17th International Conference, {BPM}
                  2019, Vienna, Austria, September 1-6, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11675},
  pages        = {157--175},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-26619-6\_12},
  doi          = {10.1007/978-3-030-26619-6\_12},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/CalvaneseGGMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CalvaneseGGMR19,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Pascal Fontaine},
  title        = {Model Completeness, Covers and Superposition},
  booktitle    = {Automated Deduction - {CADE} 27 - 27th International Conference on
                  Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11716},
  pages        = {142--160},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29436-6\_9},
  doi          = {10.1007/978-3-030-29436-6\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/CalvaneseGGMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CalvaneseGGMR19,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  editor       = {Alberto Casagrande and
                  Eugenio G. Omodeo},
  title        = {Model Completeness, Covers and Superposition (Abridged Version)},
  booktitle    = {Proceedings of the 34th Italian Conference on Computational Logic,
                  Trieste, Italy, June 19-21, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2396},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/CalvaneseGGMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01252,
  author       = {Silvio Ghilardi and
                  Luigi Santocanale},
  title        = {Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond},
  journal      = {CoRR},
  volume       = {abs/1901.01252},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.01252},
  eprinttype    = {arXiv},
  eprint       = {1901.01252},
  timestamp    = {Sun, 03 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-01252.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12991,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Formal Modeling and SMT-Based Parameterized Verification of Multi-Case
                  Data-Aware {BPMN}},
  journal      = {CoRR},
  volume       = {abs/1905.12991},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.12991},
  eprinttype    = {arXiv},
  eprint       = {1905.12991},
  timestamp    = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-12991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07811,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Formal Modeling and SMT-Based Parameterized Verification of Data-Aware
                  {BPMN} (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1906.07811},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.07811},
  eprinttype    = {arXiv},
  eprint       = {1906.07811},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-07811.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07774,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Combined Covers and Beth Definability},
  journal      = {CoRR},
  volume       = {abs/1911.07774},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.07774},
  eprinttype    = {arXiv},
  eprint       = {1911.07774},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-07774.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhilardiG18,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola},
  title        = {Modularity results for interpolation, amalgamation and superamalgamation},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {169},
  number       = {8},
  pages        = {731--754},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.apal.2018.04.001},
  doi          = {10.1016/J.APAL.2018.04.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GhilardiG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GhilardiS18,
  author       = {Silvio Ghilardi and
                  Luigi Santocanale},
  editor       = {Guram Bezhanishvili and
                  Giovanna D'Agostino and
                  George Metcalfe and
                  Thomas Studer},
  title        = {Ruitenburg's Theorem via Duality and Bounded Bisimulations},
  booktitle    = {Advances in Modal Logic 12, proceedings of the 12th conference on
                  "Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
                  2018},
  pages        = {277--290},
  publisher    = {College Publications},
  year         = {2018},
  url          = {http://www.aiml.net/volumes/volume12/Ghilardi-Santocanale.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GhilardiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01552,
  author       = {Silvio Ghilardi and
                  Maria Jo{\~{a}}o Gouveia and
                  Luigi Santocanale},
  title        = {Fixed-point elimination in the Intuitionistic Propositional Calculus
                  (extended version)},
  journal      = {CoRR},
  volume       = {abs/1803.01552},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.01552},
  eprinttype    = {arXiv},
  eprint       = {1803.01552},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-01552.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06130,
  author       = {Luigi Santocanale and
                  Silvio Ghilardi},
  title        = {Ruitenburg's Theorem via Duality and Bounded Bisimulations},
  journal      = {CoRR},
  volume       = {abs/1804.06130},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.06130},
  eprinttype    = {arXiv},
  eprint       = {1804.06130},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-06130.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09686,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Quantifier Elimination for Database Driven Verification},
  journal      = {CoRR},
  volume       = {abs/1806.09686},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.09686},
  eprinttype    = {arXiv},
  eprint       = {1806.09686},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09686.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11459,
  author       = {Diego Calvanese and
                  Silvio Ghilardi and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin},
  title        = {Verification of Data-Aware Processes via Array-Based Systems (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1806.11459},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.11459},
  eprinttype    = {arXiv},
  eprint       = {1806.11459},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-11459.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlbertiGP17,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani},
  title        = {Cardinality constraints for arrays (decidability results and applications)},
  journal      = {Formal Methods Syst. Des.},
  volume       = {51},
  number       = {3},
  pages        = {545--574},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10703-017-0279-6},
  doi          = {10.1007/S10703-017-0279-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlbertiGP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlbertiGS17a,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  title        = {A Framework for the Verification of Parameterized Infinite-state Systems},
  journal      = {Fundam. Informaticae},
  volume       = {150},
  number       = {1},
  pages        = {1--24},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1458},
  doi          = {10.3233/FI-2017-1458},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AlbertiGS17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiG17,
  author       = {Silvio Ghilardi and
                  Samuel J. van Gool},
  title        = {A Model-Theoretic characterization of Monadic second order Logic on
                  Infinite Words},
  journal      = {J. Symb. Log.},
  volume       = {82},
  number       = {1},
  pages        = {62--76},
  year         = {2017},
  url          = {https://doi.org/10.1017/jsl.2016.70},
  doi          = {10.1017/JSL.2016.70},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/GhilardiG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BezhanishviliGL17,
  author       = {Nick Bezhanishvili and
                  Silvio Ghilardi and
                  Frederik M{\"{o}}llerstr{\"{o}}m Lauridsen},
  title        = {One-step Heyting Algebras and Hypersequent Calculi with the Bounded
                  Proof Property},
  journal      = {J. Log. Comput.},
  volume       = {27},
  number       = {7},
  pages        = {2135--2169},
  year         = {2017},
  url          = {https://doi.org/10.1093/logcom/exw029},
  doi          = {10.1093/LOGCOM/EXW029},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BezhanishviliGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiG17,
  author       = {Silvio Ghilardi and
                  Alessandro Gianola},
  editor       = {Clare Dixon and
                  Marcelo Finger},
  title        = {Interpolation, Amalgamation and Combination (The Non-disjoint Signatures
                  Case)},
  booktitle    = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
                  2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10483},
  pages        = {316--332},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66167-4\_18},
  doi          = {10.1007/978-3-319-66167-4\_18},
  timestamp    = {Mon, 28 Aug 2023 21:17:55 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/GhilardiG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BruschiPGLP17,
  author       = {Danilo Bruschi and
                  Andrea Di Pasquale and
                  Silvio Ghilardi and
                  Andrea Lanzi and
                  Elena Pagani},
  editor       = {Nadia Polikarpova and
                  Steve A. Schneider},
  title        = {Formal Verification of {ARP} (Address Resolution Protocol) Through
                  SMT-Based Model Checking - {A} Case Study -},
  booktitle    = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
                  Turin, Italy, September 20-22, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10510},
  pages        = {391--406},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66845-1\_26},
  doi          = {10.1007/978-3-319-66845-1\_26},
  timestamp    = {Fri, 07 Aug 2020 17:57:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/BruschiPGLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqe/GhilardiP17,
  author       = {Silvio Ghilardi and
                  Elena Pagani},
  editor       = {Patrick Koopmann and
                  Sebastian Rudolph and
                  Renate A. Schmidt and
                  Christoph Wernhard},
  title        = {Second Order Quantifier Elimination: Towards Verification Applications},
  booktitle    = {Proceedings of the Workshop on Second-Order Quantifier Elimination
                  and Related Topics {(SOQE} 2017), Dresden, Germany, December 6-8,
                  2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2013},
  pages        = {36--50},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2013/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/soqe/GhilardiP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BersaniMREG17,
  author       = {Marcello M. Bersani and
                  Francesco Marconi and
                  Matteo Rossi and
                  Madalina Erascu and
                  Silvio Ghilardi},
  editor       = {Hakan Erdogmus and
                  Klaus Havelund},
  title        = {Formal verification of data-intensive applications through model checking
                  modulo theories},
  booktitle    = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
                  on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
                  2017},
  pages        = {98--101},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3092282.3092300},
  doi          = {10.1145/3092282.3092300},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/BersaniMREG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01487,
  author       = {Silvio Ghilardi and
                  Elena Pagani},
  editor       = {Catherine Dubois and
                  Bruno Woltzenlogel Paleo},
  title        = {Counter Simulations via Higher Order Quantifier Elimination: a preliminary
                  report},
  booktitle    = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series       = {{EPTCS}},
  volume       = {262},
  pages        = {39--53},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.262.5},
  doi          = {10.4204/EPTCS.262.5},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-01487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BezhanishviliGG16,
  author       = {Nick Bezhanishvili and
                  David Gabelaia and
                  Silvio Ghilardi and
                  Mamuka Jibladze},
  title        = {Admissible Bases Via Stable Canonical Rules},
  journal      = {Stud Logica},
  volume       = {104},
  number       = {2},
  pages        = {317--341},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11225-015-9642-z},
  doi          = {10.1007/S11225-015-9642-Z},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/BezhanishviliGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlbertiGP16,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Counting Constraints in Flat Array Fragments},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {65--81},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_6},
  doi          = {10.1007/978-3-319-40229-1\_6},
  timestamp    = {Mon, 26 Jun 2023 20:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AlbertiGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlbertiGOP16,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Andrea Orsini and
                  Elena Pagani},
  editor       = {Camillo Fiorentini and
                  Alberto Momigliano},
  title        = {Counter Abstractions in Model Checking of Distributed Broadcast Algorithms:
                  Some Case Studies},
  booktitle    = {Proceedings of the 31st Italian Conference on Computational Logic,
                  Milano, Italy, June 20-22, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1645},
  pages        = {102--117},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1645/paper\_4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AlbertiGOP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhilardiGS16,
  author       = {Silvio Ghilardi and
                  Maria Jo{\~{a}}o Gouveia and
                  Luigi Santocanale},
  editor       = {Bart Jacobs and
                  Christof L{\"{o}}ding},
  title        = {Fixed-Point Elimination in the Intuitionistic Propositional Calculus},
  booktitle    = {Foundations of Software Science and Computation Structures - 19th
                  International Conference, {FOSSACS} 2016, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
                  Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9634},
  pages        = {126--141},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49630-5\_8},
  doi          = {10.1007/978-3-662-49630-5\_8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GhilardiGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhilardiG16,
  author       = {Silvio Ghilardi and
                  Sam van Gool},
  editor       = {Martin Grohe and
                  Eric Koskinen and
                  Natarajan Shankar},
  title        = {Monadic second order logic as the model companion of temporal logic},
  booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
  pages        = {417--426},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933575.2933609},
  doi          = {10.1145/2933575.2933609},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/GhilardiG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unif/2016,
  editor       = {Silvio Ghilardi and
                  Manfred Schmidt{-}Schau{\ss}},
  title        = {Proceedings of the 30th International Workshop on Unification, {UNIF}
                  2016, Porto, Portugal, June 26, 2016},
  year         = {2016},
  url          = {http://users.mat.unimi.it/users/ghilardi/UNIF2016/UNIF16-abstracts.pdf},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unif/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhilardiGS16,
  author       = {Silvio Ghilardi and
                  Maria Jo{\~{a}}o Gouveia and
                  Luigi Santocanale},
  title        = {Fixed-point elimination in the intuitionistic propositional calculus},
  journal      = {CoRR},
  volume       = {abs/1601.00402},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.00402},
  eprinttype    = {arXiv},
  eprint       = {1601.00402},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GhilardiGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbertiGP16,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani},
  title        = {Counting Constraints in Flat Array Fragments},
  journal      = {CoRR},
  volume       = {abs/1602.00458},
  year         = {2016},
  url          = {http://arxiv.org/abs/1602.00458},
  eprinttype    = {arXiv},
  eprint       = {1602.00458},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlbertiGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhilardiG16,
  author       = {Silvio Ghilardi and
                  Samuel J. van Gool},
  title        = {Monadic second order logic as the model companion of temporal logic},
  journal      = {CoRR},
  volume       = {abs/1605.01003},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.01003},
  eprinttype    = {arXiv},
  eprint       = {1605.01003},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GhilardiG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlbertiGS15,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  title        = {Decision Procedures for Flat Array Properties},
  journal      = {J. Autom. Reason.},
  volume       = {54},
  number       = {4},
  pages        = {327--352},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9323-7},
  doi          = {10.1007/S10817-015-9323-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AlbertiGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS15,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Carsten Lutz and
                  Silvio Ranise},
  title        = {A New Acceleration-Based Combination Framework for Array Properties},
  booktitle    = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
                  2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9322},
  pages        = {169--185},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24246-0\_11},
  doi          = {10.1007/978-3-319-24246-0\_11},
  timestamp    = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/AlbertiGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhilardiG15,
  author       = {Silvio Ghilardi and
                  Samuel J. van Gool},
  title        = {A model-theoretic characterization of monadic second order logic on
                  infinite words},
  journal      = {CoRR},
  volume       = {abs/1503.08936},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.08936},
  eprinttype    = {arXiv},
  eprint       = {1503.08936},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GhilardiG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BezhanishviliG14,
  author       = {Nick Bezhanishvili and
                  Silvio Ghilardi},
  title        = {The bounded proof property via step algebras and step frames},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {165},
  number       = {12},
  pages        = {1832--1863},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.apal.2014.07.005},
  doi          = {10.1016/J.APAL.2014.07.005},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/BezhanishviliG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AlbertiBGRS14,
  author       = {Francesco Alberti and
                  Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise and
                  Natasha Sharygina},
  title        = {An extension of lazy abstraction with interpolation for programs with
                  arrays},
  journal      = {Formal Methods Syst. Des.},
  volume       = {45},
  number       = {1},
  pages        = {63--109},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10703-014-0209-9},
  doi          = {10.1007/S10703-014-0209-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlbertiBGRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GhilardiM14,
  author       = {Silvio Ghilardi and
                  Grigori Mints},
  title        = {The logic of transitive and dense frames: from the step-frame analysis
                  to full cut-elimination},
  journal      = {Log. J. {IGPL}},
  volume       = {22},
  number       = {4},
  pages        = {585--596},
  year         = {2014},
  url          = {https://doi.org/10.1093/jigpal/jzt052},
  doi          = {10.1093/JIGPAL/JZT052},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/GhilardiM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BruttomessoGR14,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  title        = {Quantifier-free interpolation in combinations of equality interpolating
                  theories},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {15},
  number       = {1},
  pages        = {5:1--5:34},
  year         = {2014},
  url          = {https://doi.org/10.1145/2490253},
  doi          = {10.1145/2490253},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BruttomessoGR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BezhanishviliG14,
  author       = {Nick Bezhanishvili and
                  Silvio Ghilardi},
  editor       = {Rajeev Gor{\'{e}} and
                  Barteld P. Kooi and
                  Agi Kurucz},
  title        = {Multiple-conclusion Rules, Hypersequents Syntax and Step Frames},
  booktitle    = {Advances in Modal Logic 10, invited and contributed papers from the
                  tenth conference on "Advances in Modal Logic," held in Groningen,
                  The Netherlands, August 5-8, 2014},
  pages        = {54--73},
  publisher    = {College Publications},
  year         = {2014},
  url          = {http://www.aiml.net/volumes/volume10/Bezhanishvili-Ghilardi.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/BezhanishviliG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertiGS14,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Franck Cassez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Booster: An Acceleration-Based Verification Framework for Array Programs},
  booktitle    = {Automated Technology for Verification and Analysis - 12th International
                  Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8837},
  pages        = {18--23},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11936-6\_2},
  doi          = {10.1007/978-3-319-11936-6\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AlbertiGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlbertiGS14,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Laura Giordano and
                  Valentina Gliozzi and
                  Gian Luca Pozzato},
  title        = {A Framework for the Verification of Parameterized Infinite-State Systems},
  booktitle    = {Proceedings of the 29th Italian Conference on Computational Logic,
                  Torino, Italy, June 16-18, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1195},
  pages        = {303--308},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1195/short0.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AlbertiGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/AlbertiGS14,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Philipp R{\"{u}}mmer and
                  Christoph M. Wintersteiger},
  title        = {Decision Procedures for Flat Array Properties},
  booktitle    = {Proceedings of the 12th International Workshop on Satisfiability Modulo
                  Theories, {SMT} 2014, affiliated with the 26th International Conference
                  on Computer Aided Verification {(CAV} 2014), the 7th International
                  Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
                  International Conference on Theory and Applications of Satisfiability
                  Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1163},
  pages        = {51},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1163/paper-07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/AlbertiGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertiGS14,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Klaus Havelund},
  title        = {Decision Procedures for Flat Array Properties},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 20th International Conference, {TACAS} 2014, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8413},
  pages        = {15--30},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54862-8\_2},
  doi          = {10.1007/978-3-642-54862-8\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AlbertiGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlbertiGS14,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Marcello Maria Bersani and
                  Davide Bresolin and
                  Luca Ferrucci and
                  Manuel Mazzara},
  title        = {Monotonic Abstraction Techniques: from Parametric to Software Model
                  Checking},
  booktitle    = {Proceedings First Workshop on Logics and Model-checking for Self-*
                  Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014},
  series       = {{EPTCS}},
  volume       = {168},
  pages        = {1--11},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.168.1},
  doi          = {10.4204/EPTCS.168.1},
  timestamp    = {Mon, 05 Feb 2024 20:18:29 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AlbertiGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/ConradieGP14,
  author       = {Willem Conradie and
                  Silvio Ghilardi and
                  Alessandra Palmigiano},
  editor       = {Alexandru Baltag and
                  Sonja Smets},
  title        = {Unified Correspondence},
  booktitle    = {Johan van Benthem on Logic and Information Dynamics},
  pages        = {933--975},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06025-5\_36},
  doi          = {10.1007/978-3-319-06025-5\_36},
  timestamp    = {Mon, 26 Jun 2023 08:47:47 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/ConradieGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CarioniGR13,
  author       = {Alessandro Carioni and
                  Silvio Ghilardi and
                  Silvio Ranise},
  title        = {Automated Termination in Model-Checking Modulo Theories},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {211--232},
  year         = {2013},
  url          = {https://doi.org/10.1142/S012905411340008X},
  doi          = {10.1142/S012905411340008X},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CarioniGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlbertiGS13,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Pascal Fontaine and
                  Christophe Ringeissen and
                  Renate A. Schmidt},
  title        = {Definability of Accelerated Relations in a Theory of Arrays and Its
                  Applications},
  booktitle    = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
                  2013, Nancy, France, September 18-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8152},
  pages        = {23--39},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40885-4\_3},
  doi          = {10.1007/978-3-642-40885-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/AlbertiGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertiGS13,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  editor       = {Kenneth L. McMillan and
                  Aart Middeldorp and
                  Geoff Sutcliffe and
                  Andrei Voronkov},
  title        = {Acceleration-based safety decision procedure for programs with arrays},
  booktitle    = {{LPAR} 2013, 19th International Conference on Logic for Programming,
                  Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch,
                  South Africa, Short papers proceedings},
  series       = {EPiC Series in Computing},
  volume       = {26},
  pages        = {1--8},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/xf2n},
  doi          = {10.29007/XF2N},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlbertiGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BezhanishviliG13,
  author       = {Nick Bezhanishvili and
                  Silvio Ghilardi},
  editor       = {Didier Galmiche and
                  Dominique Larchey{-}Wendling},
  title        = {Bounded Proofs and Step Frames},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 22th
                  International Conference, {TABLEAUX} 2013, Nancy, France, September
                  16-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8123},
  pages        = {44--58},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40537-2\_6},
  doi          = {10.1007/978-3-642-40537-2\_6},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/BezhanishviliG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/Ghilardi13,
  author       = {Silvio Ghilardi},
  editor       = {Nikolaos Galatos and
                  Alexander Kurz and
                  Constantine Tsinakis},
  title        = {From free algebras to proof bounds},
  booktitle    = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
                  Categories in Logic, Vanderbilt University, Nashville, Tennessee,
                  USA, July 28 - August 1, 2013},
  series       = {EPiC Series in Computing},
  volume       = {25},
  pages        = {5},
  publisher    = {EasyChair},
  year         = {2013},
  url          = {https://doi.org/10.29007/md5x},
  doi          = {10.29007/MD5X},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacl/Ghilardi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4499,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Natasha Sharygina},
  title        = {Abstraction and Acceleration in SMT-based Model-Checking for Array
                  Programs},
  journal      = {CoRR},
  volume       = {abs/1304.4499},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.4499},
  eprinttype    = {arXiv},
  eprint       = {1304.4499},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-4499.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2386,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  title        = {Quantifier-Free Interpolation of a Theory of Arrays},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {8},
  number       = {2},
  year         = {2012},
  url          = {https://doi.org/10.2168/LMCS-8(2:4)2012},
  doi          = {10.2168/LMCS-8(2:4)2012},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-2386.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/AlbertiGPRR12,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani and
                  Silvio Ranise and
                  Gian Paolo Rossi},
  title        = {Universal Guards, Relativization of Quantifiers, and Failure Models
                  in Model Checking Modulo Theories},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {8},
  number       = {1/2},
  pages        = {29--61},
  year         = {2012},
  url          = {https://doi.org/10.3233/sat190087},
  doi          = {10.3233/SAT190087},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsat/AlbertiGPRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BaaderGL12,
  author       = {Franz Baader and
                  Silvio Ghilardi and
                  Carsten Lutz},
  title        = {{LTL} over description logic axioms},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {13},
  number       = {3},
  pages        = {21:1--21:32},
  year         = {2012},
  url          = {https://doi.org/10.1145/2287718.2287721},
  doi          = {10.1145/2287718.2287721},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BaaderGL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AlbertiBGRS12,
  author       = {Francesco Alberti and
                  Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise and
                  Natasha Sharygina},
  editor       = {Pascal Fontaine and
                  Amit Goel},
  title        = {Reachability Modulo Theory Library},
  booktitle    = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
                  2012, Manchester, UK, June 30 - July 1, 2012},
  series       = {EPiC Series in Computing},
  volume       = {20},
  pages        = {67--76},
  publisher    = {EasyChair},
  year         = {2012},
  url          = {https://doi.org/10.29007/f3rp},
  doi          = {10.29007/F3RP},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AlbertiBGRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BruttomessoGR12,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Bernhard Gramlich and
                  Dale Miller and
                  Uli Sattler},
  title        = {From Strong Amalgamability to Modularity of Quantifier-Free Interpolation},
  booktitle    = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
                  2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7364},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31365-3\_12},
  doi          = {10.1007/978-3-642-31365-3\_12},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BruttomessoGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbertiBGRS12,
  author       = {Francesco Alberti and
                  Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise and
                  Natasha Sharygina},
  editor       = {P. Madhusudan and
                  Sanjit A. Seshia},
  title        = {{SAFARI:} SMT-Based Abstraction for Arrays with Interpolants},
  booktitle    = {Computer Aided Verification - 24th International Conference, {CAV}
                  2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {679--685},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31424-7\_49},
  doi          = {10.1007/978-3-642-31424-7\_49},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlbertiBGRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertiBGRS12,
  author       = {Francesco Alberti and
                  Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise and
                  Natasha Sharygina},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Andrei Voronkov},
  title        = {Lazy Abstraction with Interpolants for Arrays},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
                  International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
                  11-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7180},
  pages        = {46--61},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28717-6\_7},
  doi          = {10.1007/978-3-642-28717-6\_7},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlbertiBGRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BruttomessoCGR12,
  author       = {Roberto Bruttomesso and
                  Alessandro Carioni and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Alwyn Goodloe and
                  Suzette Person},
  title        = {Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms},
  booktitle    = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
                  VA, USA, April 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7226},
  pages        = {279--294},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28891-3\_28},
  doi          = {10.1007/978-3-642-28891-3\_28},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BruttomessoCGR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2012,
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Silvio Ghilardi and
                  Lawrence S. Moss},
  title        = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
                  in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
  publisher    = {College Publications},
  year         = {2012},
  url          = {http://www.aiml.net/volumes/volume9/},
  isbn         = {978-1-84890-068-4},
  timestamp    = {Wed, 17 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3730,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  title        = {From Strong Amalgamability to Modularity of Quantifier-Free Interpolation},
  journal      = {CoRR},
  volume       = {abs/1203.3730},
  year         = {2012},
  url          = {http://arxiv.org/abs/1203.3730},
  eprinttype    = {arXiv},
  eprint       = {1203.3730},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-3730.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BaaderG11,
  author       = {Franz Baader and
                  Silvio Ghilardi},
  title        = {Unification in modal and description logics},
  journal      = {Log. J. {IGPL}},
  volume       = {19},
  number       = {6},
  pages        = {705--730},
  year         = {2011},
  url          = {https://doi.org/10.1093/jigpal/jzq008},
  doi          = {10.1093/JIGPAL/JZQ008},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/BaaderG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BezhanishviliGJ11,
  author       = {Guram Bezhanishvili and
                  Silvio Ghilardi and
                  Mamuka Jibladze},
  title        = {An Algebraic Approach to Subframe Logics. Modal Case},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {52},
  number       = {2},
  pages        = {187--202},
  year         = {2011},
  url          = {https://doi.org/10.1215/00294527-1306190},
  doi          = {10.1215/00294527-1306190},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BezhanishviliGJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BruttomessoGR11,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Cesare Tinelli and
                  Viorica Sofronie{-}Stokkermans},
  title        = {A Combination of Rewriting and Constraint Solving for the Quantifier-Free
                  Interpolation of Arrays with Integer Difference Constraints},
  booktitle    = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
                  2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6989},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24364-6\_8},
  doi          = {10.1007/978-3-642-24364-6\_8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/BruttomessoGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CarioniGR11,
  author       = {Alessandro Carioni and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Giorgio Delzanno and
                  Igor Potapov},
  title        = {Automated Termination in Model Checking Modulo Theories},
  booktitle    = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa,
                  Italy, September 28-30, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6945},
  pages        = {110--124},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24288-5\_11},
  doi          = {10.1007/978-3-642-24288-5\_11},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/CarioniGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BruttomessoGR11,
  author       = {Roberto Bruttomesso and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Rewriting-based Quantifier-free Interpolation for a Theory of Arrays},
  booktitle    = {Proceedings of the 22nd International Conference on Rewriting Techniques
                  and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  series       = {LIPIcs},
  volume       = {10},
  pages        = {171--186},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2011.171},
  doi          = {10.4230/LIPICS.RTA.2011.171},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/BruttomessoGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1872,
  author       = {Silvio Ghilardi and
                  Silvio Ranise},
  title        = {Backward Reachability of Array-based Systems by {SMT} solving: Termination
                  and Invariant Synthesis},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {6},
  number       = {4},
  year         = {2010},
  url          = {https://doi.org/10.2168/LMCS-6(4:10)2010},
  doi          = {10.2168/LMCS-6(4:10)2010},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-1872.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AlbertiGPRR10,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani and
                  Silvio Ranise and
                  Gian Paolo Rossi},
  title        = {Automated Support for the Design and Validation of Fault Tolerant
                  Parameterized Systems: a case study},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {35},
  year         = {2010},
  url          = {https://doi.org/10.14279/tuj.eceasst.35.543},
  doi          = {10.14279/TUJ.ECEASST.35.543},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AlbertiGPRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Ghilardi10,
  author       = {Silvio Ghilardi},
  title        = {Continuity, freeness, and filtrations},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {20},
  number       = {3},
  pages        = {193--217},
  year         = {2010},
  url          = {https://doi.org/10.3166/jancl.20.193-217},
  doi          = {10.3166/JANCL.20.193-217},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/Ghilardi10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GhilardiSST10,
  author       = {Silvio Ghilardi and
                  Viorica Sofronie{-}Stokkermans and
                  Ulrike Sattler and
                  Ashish Tiwari},
  title        = {Special issue on automated deduction: Decidability, complexity, tractability},
  journal      = {J. Symb. Comput.},
  volume       = {45},
  number       = {2},
  pages        = {151--152},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jsc.2009.05.006},
  doi          = {10.1016/J.JSC.2009.05.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/GhilardiSST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ghilardi10,
  author       = {Silvio Ghilardi},
  title        = {Book Reviews},
  journal      = {Stud Logica},
  volume       = {95},
  number       = {3},
  pages        = {443--448},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11225-010-9267-1},
  doi          = {10.1007/S11225-010-9267-1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ghilardi10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiR10,
  author       = {Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle},
  title        = {{MCMT:} {A} Model Checker Modulo Theories},
  booktitle    = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
                  Edinburgh, UK, July 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6173},
  pages        = {22--29},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14203-1\_3},
  doi          = {10.1007/978-3-642-14203-1\_3},
  timestamp    = {Wed, 25 Sep 2019 18:19:14 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GhilardiR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CarioniGR10,
  author       = {Alessandro Carioni and
                  Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Markus Aderhold and
                  Serge Autexier and
                  Heiko Mantel},
  title        = {{MCMT} in the Land of Parametrized Timed Automata},
  booktitle    = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
                  July 20-21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {3},
  pages        = {47--64},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/sc2w},
  doi          = {10.29007/SC2W},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CarioniGR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlbertiGPRR10,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani and
                  Silvio Ranise and
                  Gian Paolo Rossi},
  editor       = {Nancy A. Lynch and
                  Alexander A. Shvartsman},
  title        = {Brief Announcement: Automated Support for the Design and Validation
                  of Fault Tolerant Parameterized Systems - {A} Case Study},
  booktitle    = {Distributed Computing, 24th International Symposium, {DISC} 2010,
                  Cambridge, MA, USA, September 13-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6343},
  pages        = {392--394},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15763-9\_36},
  doi          = {10.1007/978-3-642-15763-9\_36},
  timestamp    = {Sun, 25 Jul 2021 11:53:35 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/AlbertiGPRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftp/Ghilardi09,
  author       = {Silvio Ghilardi},
  editor       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Model-Checking of Array-Based Systems: from Foundations to Implementation},
  booktitle    = {Proceedings of the 7th International Workshop on First-Order Theorem
                  Proving, {FTP} 2009, Oslo, Norway, July 6-7, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {556},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-556/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/ftp/Ghilardi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/GhilardiR09,
  author       = {Silvio Ghilardi and
                  Silvio Ranise},
  editor       = {Martin Giese and
                  Arild Waaler},
  title        = {Goal-Directed Invariant Synthesis for Model Checking Modulo Theories},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
                  International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5607},
  pages        = {173--188},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02716-1\_14},
  doi          = {10.1007/978-3-642-02716-1\_14},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/GhilardiR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2009,
  editor       = {Silvio Ghilardi and
                  Roberto Sebastiani},
  title        = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
                  2009, Trento, Italy, September 16-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5749},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04222-5},
  doi          = {10.1007/978-3-642-04222-5},
  isbn         = {978-3-642-04221-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhilardiNZ08,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Daniele Zucchelli},
  title        = {A comprehensive combination framework},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {9},
  number       = {2},
  pages        = {8:1--8:54},
  year         = {2008},
  url          = {https://doi.org/10.1145/1342991.1342992},
  doi          = {10.1145/1342991.1342992},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GhilardiNZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiNRZ08,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  editor       = {Alessandro Armando and
                  Peter Baumgartner and
                  Gilles Dowek},
  title        = {Towards {SMT} Model Checking of Array-Based Systems},
  booktitle    = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
                  Sydney, Australia, August 12-15, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5195},
  pages        = {67--82},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-71070-7\_6},
  doi          = {10.1007/978-3-540-71070-7\_6},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GhilardiNRZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderGL08,
  author       = {Franz Baader and
                  Silvio Ghilardi and
                  Carsten Lutz},
  editor       = {Franz Baader and
                  Carsten Lutz and
                  Boris Motik},
  title        = {{LTL} over Description Logic Axioms},
  booktitle    = {Proceedings of the 21st International Workshop on Description Logics
                  (DL2008), Dresden, Germany, May 13-16, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-353/BaaderGhilardiLutz.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/BaaderGL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderGL08,
  author       = {Franz Baader and
                  Silvio Ghilardi and
                  Carsten Lutz},
  editor       = {Gerhard Brewka and
                  J{\'{e}}r{\^{o}}me Lang},
  title        = {{LTL} over Description Logic Axioms},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
                  September 16-19, 2008},
  pages        = {684--694},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/KR/2008/kr08-067.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/BaaderGL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhilardiRV09,
  author       = {Silvio Ghilardi and
                  Silvio Ranise and
                  Thomas Valsecchi},
  editor       = {Alice Miller and
                  Muffy Calder},
  title        = {Light-Weight SMT-based Model Checking},
  booktitle    = {Proceedings of the Eighth International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
                  1, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {250},
  number       = {2},
  pages        = {85--102},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.08.019},
  doi          = {10.1016/J.ENTCS.2009.08.019},
  timestamp    = {Fri, 24 Feb 2023 13:53:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GhilardiRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GhilardiNRZ07,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  title        = {Decision procedures for extensions of the theory of arrays},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {50},
  number       = {3-4},
  pages        = {231--254},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10472-007-9078-x},
  doi          = {10.1007/S10472-007-9078-X},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GhilardiNRZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BezhanishviliG07,
  author       = {Guram Bezhanishvili and
                  Silvio Ghilardi},
  title        = {An algebraic approach to subframe logics. Intuitionistic case},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {147},
  number       = {1-2},
  pages        = {84--100},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.04.001},
  doi          = {10.1016/J.APAL.2007.04.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BezhanishviliG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaaderG07,
  author       = {Franz Baader and
                  Silvio Ghilardi},
  title        = {Connecting many-sorted theories},
  journal      = {J. Symb. Log.},
  volume       = {72},
  number       = {2},
  pages        = {535--583},
  year         = {2007},
  url          = {https://doi.org/10.2178/jsl/1185803623},
  doi          = {10.2178/JSL/1185803623},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/BaaderG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GhilardiNRZ07,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  editor       = {Frank Pfenning},
  title        = {Combination Methods for Satisfiability and Model-Checking of Infinite-State
                  Systems},
  booktitle    = {Automated Deduction - CADE-21, 21st International Conference on Automated
                  Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4603},
  pages        = {362--378},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73595-3\_25},
  doi          = {10.1007/978-3-540-73595-3\_25},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GhilardiNRZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiNRZ07,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  editor       = {Boris Konev and
                  Frank Wolter},
  title        = {Noetherianity and Combination Problems},
  booktitle    = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
                  2007, Liverpool, UK, September 10-12, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4720},
  pages        = {206--220},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74621-8\_14},
  doi          = {10.1007/978-3-540-74621-8\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/GhilardiNRZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/BraunerG07,
  author       = {Torben Bra{\"{u}}ner and
                  Silvio Ghilardi},
  editor       = {Patrick Blackburn and
                  J. F. A. K. van Benthem and
                  Frank Wolter},
  title        = {First-order modal logic},
  booktitle    = {Handbook of Modal Logic},
  series       = {Studies in logic and practical reasoning},
  volume       = {3},
  pages        = {549--620},
  publisher    = {North-Holland},
  year         = {2007},
  url          = {https://doi.org/10.1016/s1570-2464(07)80012-7},
  doi          = {10.1016/S1570-2464(07)80012-7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/07/BraunerG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GhilardiRNZ07,
  author       = {Silvio Ghilardi and
                  Silvio Ranise and
                  Enrica Nicolini and
                  Daniele Zucchelli},
  editor       = {Franz Baader and
                  Byron Cook and
                  J{\"{u}}rgen Giesl and
                  Robert Nieuwenhuis},
  title        = {From Non-Disjoint Combination to Satisfiability and Model-Checking
                  of Infinite State Systems},
  booktitle    = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {07401},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2007},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2007/1247},
  timestamp    = {Sun, 02 Oct 2022 15:58:47 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GhilardiRNZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaaderGT06,
  author       = {Franz Baader and
                  Silvio Ghilardi and
                  Cesare Tinelli},
  title        = {A new combination procedure for the word problem that generalizes
                  fusion decidability results in modal logics},
  journal      = {Inf. Comput.},
  volume       = {204},
  number       = {10},
  pages        = {1413--1452},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ic.2005.05.009},
  doi          = {10.1016/J.IC.2005.05.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BaaderGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GhilardiLWZ06,
  author       = {Silvio Ghilardi and
                  Carsten Lutz and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Guido Governatori and
                  Ian M. Hodkinson and
                  Yde Venema},
  title        = {Conservative extensions in modal logic},
  booktitle    = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
                  in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
                  2006},
  pages        = {187--207},
  publisher    = {College Publications},
  year         = {2006},
  url          = {http://www.aiml.net/volumes/volume6/Ghilardi-Lutz-Wolter-Zakharyaschev.ps},
  timestamp    = {Wed, 17 Jan 2024 09:57:50 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GhilardiLWZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaGNRZ06,
  author       = {Maria Paola Bonacina and
                  Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  editor       = {Ulrich Furbach and
                  Natarajan Shankar},
  title        = {Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based
                  Decision Procedures},
  booktitle    = {Automated Reasoning, Third International Joint Conference, {IJCAR}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4130},
  pages        = {513--527},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11814771\_42},
  doi          = {10.1007/11814771\_42},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BonacinaGNRZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GhilardiNRZ06,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Silvio Ranise and
                  Daniele Zucchelli},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {Deciding Extensions of the Theory of Arrays by Integrating Decision
                  Procedures and Instantiation Strategies},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {177--189},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_16},
  doi          = {10.1007/11853886\_16},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GhilardiNRZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GhilardiLW06,
  author       = {Silvio Ghilardi and
                  Carsten Lutz and
                  Frank Wolter},
  editor       = {Patrick Doherty and
                  John Mylopoulos and
                  Christopher A. Welty},
  title        = {Did {I} Damage My Ontology? {A} Case for Conservative Extensions in
                  Description Logics},
  booktitle    = {Proceedings, Tenth International Conference on Principles of Knowledge
                  Representation and Reasoning, Lake District of the United Kingdom,
                  June 2-5, 2006},
  pages        = {187--197},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/KR/2006/kr06-021.php},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/GhilardiLW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaaderG05,
  author       = {Franz Baader and
                  Silvio Ghilardi},
  editor       = {Robert Nieuwenhuis},
  title        = {Connecting Many-Sorted Theories},
  booktitle    = {Automated Deduction - CADE-20, 20th International Conference on Automated
                  Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3632},
  pages        = {278--294},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11532231\_21},
  doi          = {10.1007/11532231\_21},
  timestamp    = {Sun, 02 Oct 2022 15:55:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BaaderG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GhilardiNZ05,
  author       = {Silvio Ghilardi and
                  Enrica Nicolini and
                  Daniele Zucchelli},
  editor       = {Bernhard Gramlich},
  title        = {A Comprehensive Framework for Combined Decision Procedures},
  booktitle    = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
                  2005, Vienna, Austria, September 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3717},
  pages        = {1--30},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11559306\_1},
  doi          = {10.1007/11559306\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/GhilardiNZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BaaderG05,
  author       = {Franz Baader and
                  Silvio Ghilardi},
  editor       = {Bernhard Gramlich},
  title        = {Connecting Many-Sorted Structures and Theories Through Adjoint Functions},
  booktitle    = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
                  2005, Vienna, Austria, September 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3717},
  pages        = {31--47},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11559306\_2},
  doi          = {10.1007/11559306\_2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/frocos/BaaderG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ghilardi04,
  author       = {Silvio Ghilardi},
  title        = {Unification, finite duality and projectivity in varieties of Heyting
                  algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {127},
  number       = {1-3},
  pages        = {99--115},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.apal.2003.11.010},
  doi          = {10.1016/J.APAL.2003.11.010},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ghilardi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Ghilardi04,
  author       = {Silvio Ghilardi},
  title        = {Model-Theoretic Methods in Combined Constraint Satisfiability},
  journal      = {J. Autom. Reason.},
  volume       = {33},
  number       = {3-4},
  pages        = {221--249},
  year         = {2004},
  url          = {https://doi.org/10.1007/s10817-004-6241-5},
  doi          = {10.1007/S10817-004-6241-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Ghilardi04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiS04,
  author       = {Silvio Ghilardi and
                  Lorenzo Sacchetti},
  title        = {Filtering unification and most general unifiers in modal logic},
  journal      = {J. Symb. Log.},
  volume       = {69},
  number       = {3},
  pages        = {879--906},
  year         = {2004},
  url          = {https://doi.org/10.2178/jsl/1096901773},
  doi          = {10.2178/JSL/1096901773},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/GhilardiS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaaderGT04,
  author       = {Franz Baader and
                  Silvio Ghilardi and
                  Cesare Tinelli},
  editor       = {David A. Basin and
                  Micha{\"{e}}l Rusinowitch},
  title        = {A New Combination Procedure for the Word Problem That Generalizes
                  Fusion Decidability Results in Modal Logics},
  booktitle    = {Automated Reasoning - Second International Joint Conference, {IJCAR}
                  2004, Cork, Ireland, July 4-8, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3097},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25984-8\_11},
  doi          = {10.1007/978-3-540-25984-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BaaderGT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GhilardiM03,
  author       = {Silvio Ghilardi and
                  Daniele Mundici},
  title        = {Foreword},
  journal      = {Stud Logica},
  volume       = {73},
  number       = {1},
  pages        = {3},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022929004436},
  doi          = {10.1023/A:1022929004436},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GhilardiM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FiorentiniG03,
  author       = {Camillo Fiorentini and
                  Silvio Ghilardi},
  title        = {Combining word problems through rewriting in categories with products},
  journal      = {Theor. Comput. Sci.},
  volume       = {294},
  number       = {1/2},
  pages        = {103--149},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(01)00248-1},
  doi          = {10.1016/S0304-3975(01)00248-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FiorentiniG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GhilardiS03,
  author       = {Silvio Ghilardi and
                  Luigi Santocanale},
  editor       = {Moshe Y. Vardi and
                  Andrei Voronkov},
  title        = {Algebraic and Model Theoretic Techniques for Fusion Decidability in
                  Modal Logics},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
                  International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
                  22-26, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2850},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39813-4\_10},
  doi          = {10.1007/978-3-540-39813-4\_10},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GhilardiS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ghilardi03,
  author       = {Silvio Ghilardi},
  editor       = {Ingo Dahn and
                  Laurent Vigneron},
  title        = {Quantifier Elimination and Provers Integration},
  booktitle    = {4th International Workshop on First-Order Theorem Proving, {FTP} 2003,
                  in connection with {RDP} 2003, Federated Conference on Rewriting,
                  Deduction and Programming, Valencia, Spain, June 12-14, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {86},
  number       = {1},
  pages        = {22--34},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(04)80650-9},
  doi          = {10.1016/S1571-0661(04)80650-9},
  timestamp    = {Thu, 08 Dec 2022 13:39:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ghilardi03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0018093,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {Sheaves, games, and model completions - a categorical approach to
                  nonclassical propositional logics},
  series       = {Trends in logic},
  volume       = {14},
  publisher    = {Springer},
  year         = {2002},
  isbn         = {978-1-4020-0660-9},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0018093.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ghilardi02,
  author       = {Silvio Ghilardi},
  title        = {A Resolution/Tableaux Algorithm for Projective Approximations in {IPC}},
  journal      = {Log. J. {IGPL}},
  volume       = {10},
  number       = {3},
  pages        = {229--243},
  year         = {2002},
  url          = {https://doi.org/10.1093/jigpal/10.3.229},
  doi          = {10.1093/JIGPAL/10.3.229},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Ghilardi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ghilardi00,
  author       = {Silvio Ghilardi},
  title        = {Best Solving Modal Equations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {102},
  number       = {3},
  pages        = {183--198},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0168-0072(99)00032-9},
  doi          = {10.1016/S0168-0072(99)00032-9},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ghilardi00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GhilardiZ00,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  editor       = {Frank Wolter and
                  Heinrich Wansing and
                  Maarten de Rijke and
                  Michael Zakharyaschev},
  title        = {From Bisimulation Quantifiers to Classifying Toposes},
  booktitle    = {Advances in Modal Logic 3, papers from the third conference on "Advances
                  in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
  pages        = {193--220},
  publisher    = {World Scientific},
  year         = {2000},
  url          = {https://doi.org/10.1142/9789812776471\_0011},
  doi          = {10.1142/9789812776471\_0011},
  timestamp    = {Wed, 17 Jan 2024 17:12:17 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/GhilardiZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ghilardi99,
  author       = {Silvio Ghilardi},
  title        = {Unification in Intuitionistic Logic},
  journal      = {J. Symb. Log.},
  volume       = {64},
  number       = {2},
  pages        = {859--880},
  year         = {1999},
  url          = {https://doi.org/10.2307/2586506},
  doi          = {10.2307/2586506},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Ghilardi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GhilardiM99,
  author       = {Silvio Ghilardi and
                  Pierangelo Miglioli},
  title        = {On Canonicity and Strong Completeness Conditions in Intermediate Propositional
                  Logics},
  journal      = {Stud Logica},
  volume       = {63},
  number       = {3},
  pages        = {353--385},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1005203020752},
  doi          = {10.1023/A:1005203020752},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GhilardiM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhilardiM97,
  author       = {Silvio Ghilardi and
                  Giancarlo Meloni},
  title        = {Constructive Canonicity in Non-Classical Logics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {86},
  number       = {1},
  pages        = {1--32},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(96)00048-6},
  doi          = {10.1016/S0168-0072(96)00048-6},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/GhilardiM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhilardiZ97,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {Model Completions, r-Heyting Categories},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {88},
  number       = {1},
  pages        = {27--46},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0168-0072(97)00012-2},
  doi          = {10.1016/S0168-0072(97)00012-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/GhilardiZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ghilardi97,
  author       = {Silvio Ghilardi},
  title        = {Unification Through Projectivity},
  journal      = {J. Log. Comput.},
  volume       = {7},
  number       = {6},
  pages        = {733--752},
  year         = {1997},
  url          = {https://doi.org/10.1093/logcom/7.6.733},
  doi          = {10.1093/LOGCOM/7.6.733},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Ghilardi97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiM96,
  author       = {Silvio Ghilardi and
                  Giancarlo Meloni},
  title        = {Relational and Partial Variable Sets and Basic Predicate Logic},
  journal      = {J. Symb. Log.},
  volume       = {61},
  number       = {3},
  pages        = {843--872},
  year         = {1996},
  url          = {https://doi.org/10.2307/2275788},
  doi          = {10.2307/2275788},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/GhilardiM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Ghilardi95,
  author       = {Silvio Ghilardi},
  title        = {An Algebraic Theory of Normal Forms},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {71},
  number       = {3},
  pages        = {189--245},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(93)E0084-2},
  doi          = {10.1016/0168-0072(93)E0084-2},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Ghilardi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiZ95,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {A Sheaf Representation and Duality for Finitely Presenting Heyting
                  Algebras},
  journal      = {J. Symb. Log.},
  volume       = {60},
  number       = {3},
  pages        = {911--939},
  year         = {1995},
  url          = {https://doi.org/10.2307/2275765},
  doi          = {10.2307/2275765},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/GhilardiZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GhilardiZ95,
  author       = {Silvio Ghilardi and
                  Marek W. Zawadowski},
  title        = {Undefinability of propositional quantifiers in the modal system {S4}},
  journal      = {Stud Logica},
  volume       = {55},
  number       = {2},
  pages        = {259--271},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01061237},
  doi          = {10.1007/BF01061237},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/GhilardiZ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ghilardi92,
  author       = {Silvio Ghilardi},
  title        = {Quantified Extensions of Canonical Propositional Intermediate Logics},
  journal      = {Stud Logica},
  volume       = {51},
  number       = {2},
  pages        = {195--214},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00370113},
  doi          = {10.1007/BF00370113},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Ghilardi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ghilardi91,
  author       = {Silvio Ghilardi},
  title        = {Incompleteness Results in Kripke Semantics},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {2},
  pages        = {517--538},
  year         = {1991},
  url          = {https://doi.org/10.2307/2274697},
  doi          = {10.2307/2274697},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Ghilardi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GhilardiM90,
  author       = {Silvio Ghilardi and
                  Giancarlo Meloni},
  title        = {Modal logics with \emph{n}-ary connectives},
  journal      = {Math. Log. Q.},
  volume       = {36},
  number       = {3},
  pages        = {193--215},
  year         = {1990},
  url          = {https://doi.org/10.1002/malq.19900360303},
  doi          = {10.1002/MALQ.19900360303},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/GhilardiM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CorsiG89,
  author       = {Giovanna Corsi and
                  Silvio Ghilardi},
  title        = {Directed frames},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {1},
  pages        = {53--67},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01630811},
  doi          = {10.1007/BF01630811},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/CorsiG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Ghilardi89,
  author       = {Silvio Ghilardi},
  title        = {Presheaf semantics and independence results for some non-classical
                  first-order logics},
  journal      = {Arch. Math. Log.},
  volume       = {29},
  number       = {2},
  pages        = {125--136},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01620621},
  doi          = {10.1007/BF01620621},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/Ghilardi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics