BibTeX records: Paolo Pecchiari

download as .bib file

@article{DBLP:journals/jar/GiunchigliaPT01,
  author       = {Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Carolyn L. Talcott},
  title        = {Reasoning Theories},
  journal      = {J. Autom. Reason.},
  volume       = {26},
  number       = {3},
  pages        = {291--331},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1006407208923},
  doi          = {10.1023/A:1006407208923},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GiunchigliaPT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CimattiGPPPRTY97,
  author       = {Alessandro Cimatti and
                  Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Bruno Pietra and
                  Joe Profeta and
                  Dario Romano and
                  Paolo Traverso and
                  Bing Yu},
  editor       = {Orna Grumberg},
  title        = {A Provably Correct Embedded Verifier for the Certification of Safety
                  Critical Software},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {202--213},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_21},
  doi          = {10.1007/3-540-63166-6\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CimattiGPPPRTY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/GiunchigliaPA96,
  author       = {Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Alessandro Armando},
  title        = {Towards provably correct system synthesis and extension},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {12},
  number       = {2-3},
  pages        = {123--137},
  year         = {1996},
  url          = {https://doi.org/10.1016/0167-739X(96)88792-9},
  doi          = {10.1016/0167-739X(96)88792-9},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/GiunchigliaPA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KaufmannP96,
  author       = {Matt Kaufmann and
                  Paolo Pecchiari},
  title        = {Interaction with the Boyer-Moore Theorem Prover: {A} Tutorial Study
                  Using the Arithmetic-Geometric Mean Theorem},
  journal      = {J. Autom. Reason.},
  volume       = {16},
  number       = {1-2},
  pages        = {181--222},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00244463},
  doi          = {10.1007/BF00244463},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KaufmannP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/GiunchigliaPT96,
  author       = {Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Carolyn L. Talcott},
  editor       = {Franz Baader and
                  Klaus U. Schulz},
  title        = {Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning
                  Systems},
  booktitle    = {Frontiers of Combining Systems, First International Workshop FroCoS
                  1996, Munich, Germany, March 26-29, 1996, Proceedings},
  series       = {Applied Logic Series},
  volume       = {3},
  pages        = {157--174},
  publisher    = {Kluwer Academic Publishers},
  year         = {1996},
  timestamp    = {Mon, 20 Mar 2017 13:54:49 +0100},
  biburl       = {https://dblp.org/rec/conf/frocos/GiunchigliaPT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GiunchigliaAP95,
  author       = {Enrico Giunchiglia and
                  Alessandro Armando and
                  Paolo Pecchiari},
  title        = {Structured Proof Procedures},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {15},
  number       = {1},
  pages        = {1--18},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01535839},
  doi          = {10.1007/BF01535839},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/GiunchigliaAP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ManzoP95,
  author       = {Mauro Di Manzo and
                  Paolo Pecchiari},
  editor       = {Marco Gori and
                  Giovanni Soda},
  title        = {Composing decision procedures: the approach and a case study},
  booktitle    = {Topics in Artificial Intelligence, 4th Congress of the Italian Association
                  for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13,
                  1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {992},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60437-5\_17},
  doi          = {10.1007/3-540-60437-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/ManzoP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ManzoGAP93,
  author       = {Mauro Di Manzo and
                  Enrico Giunchiglia and
                  Alessandro Armando and
                  Paolo Pecchiari},
  editor       = {Pietro Torasso},
  title        = {Proving Formulas through Reduction to Decidable Classes},
  booktitle    = {Advances in Artificial Intelligence, Third Congress of the Italian
                  Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
                  October 26-28, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {728},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57292-9\_36},
  doi          = {10.1007/3-540-57292-9\_36},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/ManzoGAP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ArmandoP93,
  author       = {Alessandro Armando and
                  Paolo Pecchiari},
  title        = {{NALIG:} {A} {CAD} System for Interior Design with High Level Interaction
                  Capabilities},
  booktitle    = {Fifth International Conference on Tools with Artificial Intelligence,
                  {ICTAI} '93, Boston, Massachusetts, USA, November 8-11, 1993},
  pages        = {446--447},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/TAI.1993.633995},
  doi          = {10.1109/TAI.1993.633995},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/ArmandoP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics