BibTeX records: Daniele Zucchelli

download as .bib file

@article{DBLP:journals/jar/ZucchelliN12,
  author       = {Daniele Zucchelli and
                  Enrica Nicolini},
  title        = {A Decidability Result for the Model Checking of Infinite-State Systems},
  journal      = {J. Autom. Reason.},
  volume       = {48},
  number       = {1},
  pages        = {1--42},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10817-010-9192-z},
  doi          = {10.1007/S10817-010-9192-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ZucchelliN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Zucchelli08,
  author       = {Daniele Zucchelli},
  title        = {ombination methods for software verification. (M{\'{e}}thodes
                  de combinaison pour la v{\'{e}}rification de logiciels)},
  school       = {Henri Poincar{\'{e}} University, Nancy, France},
  year         = {2008},
  url          = {https://tel.archives-ouvertes.fr/tel-00329849},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Zucchelli08.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}
}

@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}
}

@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}
}

@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}
}

@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/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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.