sign in · help · news · about ·

BibSonomy :: author :: Waldinger ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(66)

<< < 1 | 2 | 3 > >>

Accessing Structured Health Information through English Queries and Automatic Deduction.
Richard Waldinger, Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, and Amar Das AAAI Spring Symposium: AI and Health Communication, AAAI, (2011)
to dblp by dblp on Feb 13, 2012, 12:00 AM
URL | BibTeX
Special relations in automated deduction.
Zohar Manna, and Richard J. Waldinger J. ACM 33(1):1-59 (1986)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
The Deductive Synthesis of Imperative LISP Programs.
Zohar Manna, and Richard J. Waldinger AAAI, page 155-160. Morgan Kaufmann, (1987)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
An Assessment of Techniques for Proving Program Correctness.
Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, and Abraham Waksman ACM Comput. Surv. 4(2):97-147 (1972)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Logic of Computer Programming.
Zohar Manna, and Richard J. Waldinger IEEE Trans. Software Eng. 4(3):199-229 (1978)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Fundamentals of Deductive Program Synthesis.
Zohar Manna, and Richard J. Waldinger IEEE Trans. Software Eng. 18(8):674-704 (1992)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Synthesis: Dreams - Programs.
Zohar Manna, and Richard J. Waldinger IEEE Trans. Software Eng. 5(4):294-328 (1979)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
English Access to Structured Data.
Kyle Richardson, Daniel G. Bobrow, Cleo Condoravdi, Richard J. Waldinger, and Amar Das ICSC, page 13-20. IEEE, (2011)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
Deductive Synthesis of the Unification Algorithm.
Zohar Manna, and Richard J. Waldinger Sci. Comput. Program. 1(1-2):5-48 (1981)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
The Origin of a Binary-Search Paradigm.
Zohar Manna, and Richard J. Waldinger Sci. Comput. Program. 9(1):37-83 (1987)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Program Synthesis for Multi-agent Question Answering.
Richard J. Waldinger, Peter Jarvis, and Jennifer L. Dungan Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 747-761. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Knowledge and Reasoning in Program Synthesis.
Zohar Manna, and Richard J. Waldinger Artif. Intell. 6(2):175-208 (1975)
to dblp by dblp and 1 other user on Jun 30, 2011, 12:00 AM
URL | BibTeX
Reasoning about Programs.
Richard J. Waldinger, and Karl N. Levitt Artif. Intell. 5(3):235-316 (1974)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Consistency Checking of Semantic Web Ontologies.
Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, and Paul A. Kogut International Semantic Web Conference, volume 2342 of Lecture Notes in Computer Science, page 454-459. Springer, (2002)
to dblp by dblp and 1 other user on Jun 30, 2011, 12:00 AM
URL | BibTeX
Towards a Theory of Simultaneous Actions.
Gerd Große, and Richard J. Waldinger EWSP, volume 522 of Lecture Notes in Computer Science, page 78-87. Springer, (1991)
to dblp by dblp on Jun 14, 2011, 12:00 AM
URL | BibTeX
A more mechanical approach to program verification.
Irene Greif, and Richard J. Waldinger Symposium on Programming, volume 19 of Lecture Notes in Computer Science, page 109-119. Springer, (1974)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX
An Improved Program-Synthesizing Algorithm and Its Correctness.
Richard C. T. Lee, Chin-Liang Chang, and Richard J. Waldinger Commun. ACM 17(4):211-217 (1974)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
Toward Automatic Program Synthesis.
Zohar Manna, and Richard J. Waldinger Commun. ACM 14(3):151-165 (1971)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
Is "Sometime" Sometimes Better Than Älways"? Intermittent Assertions in Proving Program Correctness.
Zohar Manna, and Richard J. Waldinger Commun. ACM 21(2):159-172 (1978)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
How to Clear a Block: A Theory of Plans.
Zohar Manna, and Richard J. Waldinger J. Autom. Reasoning 3(4):343-377 (1987)
to dblp by dblp and 1 other user on May 19, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper