Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paolo Pecchiari
@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} }
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.