Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard J. Waldinger
@article{DBLP:journals/fac/DershowitzW19,
author = {Nachum Dershowitz and
Richard Waldinger},
title = {Zohar Manna {(1939-2018)}},
journal = {Formal Aspects Comput.},
volume = {31},
number = {6},
pages = {643--660},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00500-4},
doi = {10.1007/S00165-019-00500-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DershowitzW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/CharmetWBKT17,
author = {Fabien Charmet and
Richard Waldinger and
Gregory Blanc and
Christophe Kiennert and
Khalifa Toumi},
editor = {Aris Gkoulalas{-}Divanis and
Miguel P. Correia and
Dimiter R. Avresky},
title = {Preserving confidentiality during the migration of virtual {SDN} topologies:
{A} formal approach},
booktitle = {16th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2017, Cambridge, MA, USA, October 30 - November 1, 2017},
pages = {453--457},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/NCA.2017.8171392},
doi = {10.1109/NCA.2017.8171392},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/CharmetWBKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BaumgartnerBW16,
author = {Peter Baumgartner and
Wolfgang Bibel and
Richard Waldinger},
title = {In Memory of Mark Stickel},
journal = {J. Autom. Reason.},
volume = {56},
number = {2},
pages = {95--98},
year = {2016},
url = {https://doi.org/10.1007/s10817-015-9347-z},
doi = {10.1007/S10817-015-9347-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BaumgartnerBW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/CondoravdiRSSW15,
author = {Cleo Condoravdi and
Kyle Richardson and
Vishal Sikka and
Asuman Suenbuel and
Richard Waldinger},
title = {Natural Language Access to Data: It Takes Common Sense!},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10325},
timestamp = {Fri, 12 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/CondoravdiRSSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/WaldingerBCRD11,
author = {Richard J. Waldinger and
Daniel G. Bobrow and
Cleo Condoravdi and
Kyle Richardson and
Amar Das},
title = {Accessing Structured Health Information through English Queries and
Automatic Deduction},
booktitle = {{AI} and Health Communication, Papers from the 2011 {AAAI} Spring
Symposium, Technical Report SS-11-01, Stanford, California, USA, March
21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2425},
timestamp = {Fri, 12 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/WaldingerBCRD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/BobrowCRWD11,
author = {Daniel G. Bobrow and
Cleo Condoravdi and
Kyle Richardson and
Richard J. Waldinger and
Amar Das},
editor = {Pearl Pu and
Michael J. Pazzani and
Elisabeth Andr{\'{e}} and
Doug Riecken},
title = {Deducing answers to english questions from structured data},
booktitle = {Proceedings of the 16th International Conference on Intelligent User
Interfaces, {IUI} 2011, Palo Alto, CA, USA, February 13-16, 2011},
pages = {299--302},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1943403.1943450},
doi = {10.1145/1943403.1943450},
timestamp = {Sat, 30 Sep 2023 09:51:13 +0200},
biburl = {https://dblp.org/rec/conf/iui/BobrowCRWD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/RichardsonBCWD11,
author = {Kyle Richardson and
Daniel G. Bobrow and
Cleo Condoravdi and
Richard J. Waldinger and
Amar Das},
title = {English Access to Structured Data},
booktitle = {Proceedings of the 5th {IEEE} International Conference on Semantic
Computing {(ICSC} 2011), Palo Alto, CA, USA, September 18-21, 2011},
pages = {13--20},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSC.2011.67},
doi = {10.1109/ICSC.2011.67},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semco/RichardsonBCWD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/WaldingerS08,
author = {Richard Waldinger and
Jeff Shrager},
title = {Answering Science Questions: Deduction with Answer Extraction and
Procedural Attachment},
booktitle = {Semantic Scientific Knowledge Integration, Papers from the 2008 {AAAI}
Spring Symposium, Technical Report SS-08-05, Stanford, California,
USA, March 26-28, 2008},
pages = {109--113},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-05-022.php},
timestamp = {Fri, 17 Feb 2012 16:44:19 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/WaldingerS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Waldinger07,
author = {Richard J. Waldinger},
editor = {Nachum Dershowitz and
Andrei Voronkov},
title = {Whatever Happened to Deductive Question Answering?},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4790},
pages = {15--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75560-9\_3},
doi = {10.1007/978-3-540-75560-9\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Waldinger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndqa/WaldingerADFHIJMRST04,
author = {Richard J. Waldinger and
Douglas E. Appelt and
Jennifer L. Dungan and
John Fry and
Jerry R. Hobbs and
David J. Israel and
Peter Jarvis and
David L. Martin and
Susanne Z. Riehemann and
Mark E. Stickel and
Mabry Tyson},
editor = {Mark T. Maybury},
title = {Deductive Question Answering from Multiple Resources},
booktitle = {New Directions in Question Answering},
pages = {253--262},
publisher = {{AAAI} Press},
year = {2004},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndqa/WaldingerADFHIJMRST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WaldingerJD03,
author = {Richard J. Waldinger and
Peter Jarvis and
Jennifer L. Dungan},
editor = {Nachum Dershowitz},
title = {Program Synthesis for Multi-agent Question Answering},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {747--761},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_32},
doi = {10.1007/978-3-540-39910-0\_32},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WaldingerJD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BaclawskiKWK02,
author = {Kenneth Baclawski and
Mieczyslaw M. Kokar and
Richard J. Waldinger and
Paul A. Kogut},
editor = {Ian Horrocks and
James A. Hendler},
title = {Consistency Checking of Semantic Web Ontologies},
booktitle = {The Semantic Web - {ISWC} 2002, First International Semantic Web Conference,
Sardinia, Italy, June 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2342},
pages = {454--459},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48005-6\_40},
doi = {10.1007/3-540-48005-6\_40},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BaclawskiKWK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/DenkerHMNW01,
author = {Grit Denker and
Jerry R. Hobbs and
David L. Martin and
Srini Narayanan and
Richard J. Waldinger},
editor = {Stefan Decker and
Dieter A. Fensel and
Amit P. Sheth and
Steffen Staab},
title = {Accessing Information and Services on the DAML-Enabled Web},
booktitle = {Proceedings of the Second International Workshop on the Semantic Web
- SemWeb'2001, Hongkong, China, May 1, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {40},
publisher = {CEUR-WS.org},
year = {2001},
url = {http://CEUR-WS.org/Vol-40/Denkeretal.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/semweb/DenkerHMNW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChaudhriSTW00,
author = {Vinay K. Chaudhri and
Mark E. Stickel and
J{\'{e}}r{\^{o}}me Thom{\'{e}}r{\'{e}} and
Richard J. Waldinger},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Using Prior Knowledge: Problems and Solutions},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {436--442},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-067.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChaudhriSTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/Waldinger00,
author = {Richard J. Waldinger},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Web Agents Cooperating Deductively},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {250--262},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_20},
doi = {10.1007/3-540-45484-5\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/Waldinger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/StarrCFW98,
author = {Barbara Starr and
Vinay K. Chaudhri and
Adam Farquhar and
Richard J. Waldinger},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Martin Staudt},
title = {Knowledge-Intensive Query Processing},
booktitle = {Proceedings of the 5th International Workshop on Knowledge Represenation
Meets Databases {(KRDB} '98): Innovative Application Programming and
Query Interfaces, Seattle, Washington, USA, May 31, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {10},
pages = {18.1--18.6},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-10/paper18.ps},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/StarrCFW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocfai/MannaPW95,
author = {Zohar Manna and
Massimo Paltrinieri and
Richard J. Waldinger},
editor = {Michel De Glas and
Zdzislaw Pawlak},
title = {A Temporal Plan Theory},
booktitle = {Proceedings of the Second World Conference on the Fundamentals of
Artificial Intelligence, {WOCFAI} 1995, 3-7 July 1995, Paris, France},
pages = {253--261},
publisher = {Angkor, 6, rue Ma{\^{\i}}tre-Albert, 75005 Paris, France},
year = {1995},
timestamp = {Tue, 30 Jul 2019 08:58:42 +0200},
biburl = {https://dblp.org/rec/conf/wocfai/MannaPW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/StickelWLPU94,
author = {Mark E. Stickel and
Richard J. Waldinger and
Michael R. Lowry and
Thomas Pressburger and
Ian Underwood},
editor = {Alan Bundy},
title = {Deductive Composition of Astronomical Software from Subroutine Libraries},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {341--355},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_24},
doi = {10.1007/3-540-58156-1\_24},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/StickelWLPU94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/McGuireMW94,
author = {Hugh McGuire and
Zohar Manna and
Richard J. Waldinger},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {Annotation-Based Deduction in Temporal Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {430--444},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014003},
doi = {10.1007/BFB0014003},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/McGuireMW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072438,
author = {Zohar Manna and
Richard J. Waldinger},
title = {The deductive foundations of computer programming - a one-volume version
of "The logical basis for computer programming"},
publisher = {Addison-Wesley},
year = {1993},
isbn = {978-0-201-54886-0},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0072438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WaldingerS92,
author = {Richard J. Waldinger and
Mark E. Stickel},
title = {Proving Properties of Rule-Based Systems},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {2},
number = {1},
pages = {121--144},
year = {1992},
url = {https://doi.org/10.1142/S0218194092000075},
doi = {10.1142/S0218194092000075},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/WaldingerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MannaW92,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Fundamentals of Deductive Program Synthesis},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {8},
pages = {674--704},
year = {1992},
url = {https://doi.org/10.1109/32.153379},
doi = {10.1109/32.153379},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MannaW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MannaW92,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Deepak Kapur},
title = {The Special-Relation Rules are Incomplete},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {492--506},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_187},
doi = {10.1007/3-540-55602-8\_187},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MannaW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MannaSW91,
author = {Zohar Manna and
Mark E. Stickel and
Richard Waldinger},
editor = {Vladimir Lifschitz},
title = {Monotonicity Properties in Automated Deduction},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor
of John McCarthy on the occasion of his sixty-fourth birthday},
pages = {261--280},
publisher = {Academic Press / Elsevier},
year = {1991},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50021-9},
doi = {10.1016/B978-0-12-450010-5.50021-9},
timestamp = {Wed, 26 Jun 2019 13:52:03 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MannaSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsp/GrosseW91,
author = {Gerd Gro{\ss}e and
Richard J. Waldinger},
editor = {Joachim Hertzberg},
title = {Towards a Theory of Simultaneous Actions},
booktitle = {European Workshop on Planning, {EWSP} '91, Sankt Augustin, Germany,
March 18-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {522},
pages = {78--87},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0052951},
doi = {10.1007/BFB0052951},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ewsp/GrosseW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Waldinger90,
author = {Richard J. Waldinger},
editor = {Mark E. Stickel},
title = {Tutorial on Program-Synthetic Deduction},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {684},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_147},
doi = {10.1007/3-540-52885-7\_147},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Waldinger90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/QianW88,
author = {Xiaolei Qian and
Richard J. Waldinger},
editor = {Haran Boral and
Per{-}{\AA}ke Larson},
title = {A Transaction Logic for Database Specification},
booktitle = {Proceedings of the 1988 {ACM} {SIGMOD} International Conference on
Management of Data, Chicago, Illinois, USA, June 1-3, 1988},
pages = {243--250},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/50202.50232},
doi = {10.1145/50202.50232},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/QianW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MannaW87,
author = {Zohar Manna and
Richard J. Waldinger},
title = {How to Clear a Block: {A} Theory of Plans},
journal = {J. Autom. Reason.},
volume = {3},
number = {4},
pages = {343--377},
year = {1987},
url = {https://doi.org/10.1007/BF00247434},
doi = {10.1007/BF00247434},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MannaW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MannaW87,
author = {Zohar Manna and
Richard J. Waldinger},
title = {The Origin of a Binary-Search Paradigm},
journal = {Sci. Comput. Program.},
volume = {9},
number = {1},
pages = {37--83},
year = {1987},
url = {https://doi.org/10.1016/0167-6423(87)90025-6},
doi = {10.1016/0167-6423(87)90025-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MannaW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MannaW87,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {The Deductive Synthesis of Imperative {LISP} Programs},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {155--160},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-028.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MannaW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MannaW86,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Special relations in automated deduction},
journal = {J. {ACM}},
volume = {33},
number = {1},
pages = {1--59},
year = {1986},
url = {https://doi.org/10.1145/4904.4905},
doi = {10.1145/4904.4905},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MannaW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/MalachiMW86,
author = {Yonathan Malachi and
Zohar Manna and
Richard J. Waldinger},
title = {Tablog: Functional and Relational Programming in One Framework},
journal = {{IEEE} Softw.},
volume = {3},
number = {1},
pages = {75--76},
year = {1986},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MalachiMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MannaW86,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {J{\"{o}}rg H. Siekmann},
title = {How to Clear a Block: Plan Formation in Situational Logic},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {622--640},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_126},
doi = {10.1007/3-540-16780-3\_126},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/MannaW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JonssonMW86,
author = {Bengt Jonsson and
Zohar Manna and
Richard J. Waldinger},
title = {Towards Deductive Synthesis of Dataflow Networks},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'86), Cambridge, Massachusetts, USA, June 16-18, 1986},
pages = {26--37},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/JonssonMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ph/deGrootL86/MalachiMW86,
author = {Yonathan Malachi and
Zohar Manna and
Richard J. Waldinger},
editor = {Doug DeGroot and
Gary Lindstrom},
title = {{TABLOG:} {A} New Approach To Logic Programming},
booktitle = {Logic Programming: Functions, Relations, and Equations},
pages = {365--394},
publisher = {Prentice-Hall},
year = {1986},
timestamp = {Mon, 05 Aug 2019 11:53:35 +0200},
biburl = {https://dblp.org/rec/books/ph/deGrootL86/MalachiMW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MannaW85,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {S. N. Maheshwari},
title = {Deduction with Relation Matching},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {206},
pages = {212--224},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16042-6\_12},
doi = {10.1007/3-540-16042-6\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MannaW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MannaW85,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Wilfried Brauer},
title = {Special Relations in Automated Deduction},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {413--423},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015767},
doi = {10.1007/BFB0015767},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MannaW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MannaW85,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Aravind K. Joshi},
title = {The Origin of the Binary-Search Paradigm},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {222--224},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MannaW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MalachiMW84,
author = {Yonathan Malachi and
Zohar Manna and
Richard J. Waldinger},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {{TABLOG:} The Deductive-Tableau Programming Language},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {323--330},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802049},
doi = {10.1145/800055.802049},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MalachiMW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MannaW81,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Problematic Features of Programming Languages: {A} Situational-Calculus
Approach},
journal = {Acta Informatica},
volume = {16},
pages = {371--426},
year = {1981},
url = {https://doi.org/10.1007/BF00264494},
doi = {10.1007/BF00264494},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MannaW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Manna81,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Deductive Synthesis of the Unification Algorithm},
journal = {Sci. Comput. Program.},
volume = {1},
number = {1-2},
pages = {5--48},
year = {1981},
url = {https://doi.org/10.1016/0167-6423(81)90004-6},
doi = {10.1016/0167-6423(81)90004-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Manna81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MannaW80,
author = {Zohar Manna and
Richard J. Waldinger},
title = {A Deductive Approach to Program Synthesis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {1},
pages = {90--121},
year = {1980},
url = {https://doi.org/10.1145/357084.357090},
doi = {10.1145/357084.357090},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MannaW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MannaW79,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Synthesis: Dreams - Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {4},
pages = {294--328},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234198},
doi = {10.1109/TSE.1979.234198},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MannaW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MannaW79,
author = {Zohar Manna and
Richard Waldinger},
editor = {Bruce G. Buchanan},
title = {A Deductive Approach to Program Synthesis},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
pages = {542--551},
publisher = {William Kaufmann},
year = {1979},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MannaW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MannaW78,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Is "Sometime" Sometimes Better Than "Always"?
(Intermittent Assertions in Proving Program Correctness)},
journal = {Commun. {ACM}},
volume = {21},
number = {2},
pages = {159--172},
year = {1978},
url = {https://doi.org/10.1145/359340.359353},
doi = {10.1145/359340.359353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MannaW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MannaW78,
author = {Zohar Manna and
Richard J. Waldinger},
title = {The Logic of Computer Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {3},
pages = {199--229},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.231499},
doi = {10.1109/TSE.1978.231499},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MannaW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/MannaW78,
author = {Zohar Manna and
Richard Waldinger},
editor = {Sakti P. Ghosh and
Leonard Y. Liu},
title = {{DEDALUS} - The DEDuctive ALgorithm Ur-Synthesizer},
booktitle = {American Federation of Information Processing Societies: 1978 National
Computer Conference, June 5-8, 1978, Anaheim, CA, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {47},
pages = {683--690},
publisher = {{AFIPS} Press},
year = {1978},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/afips/MannaW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MannaW78,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Maurice V. Wilkes and
Laszlo A. Belady and
Y. H. Su and
Harry Hayman and
Philip H. Enslow Jr.},
title = {The Synthesis of Structure Changing Programs},
booktitle = {Proceedings of the 3rd International Conference on Software Engineering,
Atlanta, Georgia, USA, May 10-12, 1978},
pages = {175--187},
publisher = {{IEEE} Computer Society},
year = {1978},
url = {http://dl.acm.org/citation.cfm?id=803208},
timestamp = {Mon, 14 May 2012 18:17:16 +0200},
biburl = {https://dblp.org/rec/conf/icse/MannaW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MannaW77,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Raj Reddy},
title = {The Automatic Synthesis of Systems of Recursive Programs},
booktitle = {Proceedings of the 5th International Joint Conference on Artificial
Intelligence. Cambridge, MA, USA, August 22-25, 1977},
pages = {405--411},
publisher = {William Kaufmann},
year = {1977},
url = {http://ijcai.org/Proceedings/77-1/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MannaW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigart/MannaW77,
author = {Zohar Manna and
Richard Waldinger},
editor = {James Low},
title = {The automatic synthesis of recursive programs},
booktitle = {Proceedings of the 1977 Symposium on Artificial Intelligence and Programming
Languages, USA, August 15-17, 1977},
pages = {29--36},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/800228.806929},
doi = {10.1145/800228.806929},
timestamp = {Thu, 12 Aug 2021 13:13:26 +0200},
biburl = {https://dblp.org/rec/journals/sigart/MannaW77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/SacerdotiFRSWW76,
author = {Earl D. Sacerdoti and
Richard E. Fikes and
Ren{\'{e}} Reboh and
Daniel Sagalowicz and
Richard J. Waldinger and
B. Michael Wilber},
title = {{QLISP:} a language for the interactive development of complex systems},
booktitle = {American Federation of Information Processing Societies: 1976 National
Computer Conference, 7-10 June 1976, New York, NY, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {45},
pages = {349--356},
publisher = {{AFIPS} Press},
year = {1976},
url = {https://doi.org/10.1145/1499799.1499853},
doi = {10.1145/1499799.1499853},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/SacerdotiFRSWW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MannaW76,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Raymond T. Yeh and
C. V. Ramamoorthy},
title = {Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions
in Proving Program Correctness},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering,
San Francisco, California, USA, October 13-15, 1976},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {http://dl.acm.org/citation.cfm?id=807645},
timestamp = {Mon, 14 May 2012 18:17:17 +0200},
biburl = {https://dblp.org/rec/conf/icse/MannaW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MannaW75,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Knowledge and Reasoning in Program Synthesis},
journal = {Artif. Intell.},
volume = {6},
number = {2},
pages = {175--208},
year = {1975},
url = {https://doi.org/10.1016/0004-3702(75)90008-9},
doi = {10.1016/0004-3702(75)90008-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/MannaW75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WaldingerM75,
author = {Richard J. Waldinger and
Zohar Manna},
title = {Knowledge and Reasoning in Program Synthesis},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {288--295},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/041.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:24 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WaldingerM75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WaldingerL74,
author = {Richard J. Waldinger and
Karl N. Levitt},
title = {Reasoning about Programs},
journal = {Artif. Intell.},
volume = {5},
number = {3},
pages = {235--316},
year = {1974},
url = {https://doi.org/10.1016/0004-3702(74)90015-0},
doi = {10.1016/0004-3702(74)90015-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WaldingerL74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LeeCW74,
author = {Richard C. T. Lee and
Chin{-}Liang Chang and
Richard J. Waldinger},
title = {An Improved Program-Synthesizing Algorithm and Its Correctness},
journal = {Commun. {ACM}},
volume = {17},
number = {4},
pages = {211--217},
year = {1974},
url = {https://doi.org/10.1145/360924.360967},
doi = {10.1145/360924.360967},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/LeeCW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Waldinger74,
author = {Richard Waldinger},
title = {{ARPA} "automatic programming" meeting},
journal = {{SIGART} Newsl.},
volume = {44},
pages = {11},
year = {1974},
url = {https://doi.org/10.1145/1045183.1045187},
doi = {10.1145/1045183.1045187},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Waldinger74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/GreifW74,
author = {Irene Greif and
Richard J. Waldinger},
editor = {Bernard J. Robinet},
title = {A more mechanical approach to program verification},
booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation,
Paris, France, April 9-11, 1974},
series = {Lecture Notes in Computer Science},
volume = {19},
pages = {109--119},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06859-7\_128},
doi = {10.1007/3-540-06859-7\_128},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/GreifW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/WaldingerL73,
author = {Richard J. Waldinger and
Karl N. Levitt},
editor = {Patrick C. Fischer and
Jeffrey D. Ullman},
title = {Reasoning About Programs},
booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
Languages, Boston, Massachusetts, USA, October 1973},
pages = {169--182},
publisher = {{ACM} Press},
year = {1973},
url = {https://doi.org/10.1145/512927.512943},
doi = {10.1145/512927.512943},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/WaldingerL73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ElspasLWW72,
author = {Bernard Elspas and
Karl N. Levitt and
Richard J. Waldinger and
Abraham Waksman},
title = {An Assessment of Techniques for Proving Program Correctness},
journal = {{ACM} Comput. Surv.},
volume = {4},
number = {2},
pages = {97--147},
year = {1972},
url = {https://doi.org/10.1145/356599.356602},
doi = {10.1145/356599.356602},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/ElspasLWW72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/DerksenRW72,
author = {Jan A. Derksen and
Johns F. Rulifson and
Richard J. Waldinger},
title = {The {QA4} language applied to robot planning},
booktitle = {American Federation of Information Processing Societies: Proceedings
of the {AFIPS} '72 Fall Joint Computer Conference, December 5-7, 1972,
Anaheim, California, {USA} - Part {II}},
series = {{AFIPS} Conference Proceedings},
volume = {41},
pages = {1181--1192},
publisher = {{AFIPS} / {ACM} / Thomson Book Company, Washington {D.C.}},
year = {1972},
url = {https://doi.org/10.1145/1480083.1480157},
doi = {10.1145/1480083.1480157},
timestamp = {Wed, 14 Apr 2021 16:50:07 +0200},
biburl = {https://dblp.org/rec/conf/afips/DerksenRW72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MannaW71,
author = {Zohar Manna and
Richard J. Waldinger},
title = {Toward Automatic Program Synthesis},
journal = {Commun. {ACM}},
volume = {14},
number = {3},
pages = {151--165},
year = {1971},
url = {https://doi.org/10.1145/362566.362568},
doi = {10.1145/362566.362568},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MannaW71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RulifsonWD71,
author = {Johns F. Rulifson and
Richard J. Waldinger and
Jan A. Derksen},
editor = {Charles V. Freiman and
John E. Griffith and
Jack L. Rosenfeld},
title = {A Language for Writing Problem-Solving Programs},
booktitle = {Information Processing, Proceedings of {IFIP} Congress 1971, Volume
1 - Foundations and Systems, Ljubljana, Yugoslavia, August 23-28,
1971},
pages = {201--205},
publisher = {North-Holland},
year = {1971},
timestamp = {Fri, 26 Jul 2019 15:39:56 +0200},
biburl = {https://dblp.org/rec/conf/ifip/RulifsonWD71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lnm/MannaW71,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Erwin Engeler},
title = {Towards automatic program synthesis},
booktitle = {Symposium on Semantics of Algorithmic Languages},
series = {Lecture Notes in Mathematics},
volume = {188},
pages = {270--310},
publisher = {Springer},
year = {1971},
url = {https://doi.org/10.1007/BFb0059702},
doi = {10.1007/BFB0059702},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/lnm/MannaW71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WaldingerL69,
author = {Richard J. Waldinger and
Richard C. T. Lee},
editor = {Donald E. Walker and
Lewis M. Norton},
title = {{PROW:} {A} Step Toward Automatic Program Writing},
booktitle = {Proceedings of the 1st International Joint Conference on Artificial
Intelligence, Washington, DC, USA, May 7-9, 1969},
pages = {241--252},
publisher = {William Kaufmann},
year = {1969},
url = {http://ijcai.org/Proceedings/69/Papers/024.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:44 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WaldingerL69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
