Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Silvio Ghilardi
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.