Richard Waldinger

Richard Waldinger's AcademicInfluence.com Rankings

Richard Waldinger

Computer Science

#788

Historical Rank

Algorithms

#135

Historical Rank

Artificial Intelligence

#157

Historical Rank

Database

#2240

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Richard Waldinger's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

Why Is Richard Waldinger Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Richard Jay Waldinger is a computer science researcher at SRI International's Artificial Intelligence Center whose interests focus on the application of automated deductive reasoning to problems in software engineering and artificial intelligence.

(See a Problem?)

Richard Waldinger's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Deductive Approach to Program Synthesis (1979) (654)
Achieving several goals simultaneously (1977) (369)
Toward automatic program synthesis (1971) (291)
Deductive Composition of Astronomical Software from Subroutine Libraries (1994) (200)
Fundamentals of Deductive Program Synthesis (1992) (183)
The logical basis for computer programming (1985) (178)
Synthesis: Dreams - Programs (1979) (167)
PROW: A Step Toward Automatic Program Writing (1969) (160)
QA4: A Procedural Calculus for Intuitive Reasoning. (1972) (134)
An Assessment of Techniques for Proving Program Correctness (1972) (122)
The logical basis for computer programming. Volume 1: deductive reasoning (1985) (93)
Is “sometime” sometimes better than “always”?: Intermittent assertions in proving program correctness (1976) (84)
Deductive Synthesis of the Unification Algorithm (1981) (84)
Special relations in automated deduction (1985) (76)
A Guide to Snark (2000) (67)
Web Agents Cooperating Deductively (2000) (65)
Consistency Checking of Semantic Web Ontologies (2002) (65)
Reasoning about programs (1973) (63)
The Logic of Computer Programming (1978) (62)
The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming" (1993) (55)
Deductive Question Answering from Multiple Resources (2004) (44)
Accessing Information and Services on the DAML-Enabled Web (2001) (43)
How to clear a block: A theory of plans (1987) (40)
Progress report on program-understanding systems. (1974) (34)
A Language for Writing Problem-Solving Programs (1971) (34)
An improved program-synthesizing algorithm and its correctness (1974) (28)
The automatic synthesis of recursive programs (1977) (27)
Towards automatic program synthesis (1971) (27)
The logical basis for computer programming: vol. 2, deductive systems (1990) (26)
TABLOG: The deductive-tableau programming language (1984) (25)
The Origin of the Binary-Search Paradigm (1985) (24)
Proving properties of rule-based systems (1991) (24)
A THEORY OF PLANS (1987) (23)
How to Clear a Block: Plan Formation in Situational Logic (1986) (20)
QLISP: a language for the interactive development of complex systems (1976) (20)
TABLOG: A New Approach To Logic Programming (1986) (19)
Using Prior Knowledge: Problems and Solutions (2000) (19)
The QA4 language applied to robot planning (1972) (18)
A transaction logic for database specification (1988) (17)
Special Relations in Program-Synthetic Deduction, (1982) (16)
Deductive Biocomputing (2007) (15)
The Deductive Synthesis of Imperative LISP Programs (1987) (14)
Studies In Automatic Programming Logic (1977) (14)
Towards a Theory of Simultaneous Actions (1991) (13)
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer (1899) (13)
The Special-Relation Rules are Incomplete (1992) (11)
The Automatic Synthesis of Systems of Recursive Programs (1977) (11)
Whatever Happened to Deductive Question Answering? (2007) (11)
English Access to Structured Data (2011) (9)
A more mechanical approach to program verification (1974) (9)
The synthesis of structure-changing programs (1978) (9)
Accessing Structured Health Information through English Queries and Automatic Deduction (2011) (7)
Pointing to places in a deductive geospatial theory (2003) (7)
Problematic features of programming languages: a situational-calculus approach (1980) (5)
Annotation-Based Deduction in Temporal Logic (1994) (5)
Monotonicity Properties in Automated Deduction (1991) (5)
QLISP - A language for the interactive development of complex systems (1899) (4)
Using Deduction to Choreograph Multiple Data Sources (2003) (4)
The bomb in the toilet (1987) (4)
Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment (2008) (4)
Natural Language Access to Data: It Takes Common Sense! (2015) (4)
Exploring Quantitative Wetlands Mapping Using Airborne Lidar and Electromagnetic Induction on Mustang Island, Texas (2004) (4)
Deductive Discovery and Composition of Resources (2006) (3)
Towards Deductive Synthesis of Dataflow Networks (1986) (3)
Deducing answers to english questions from structured data (2011) (3)
Deduction with Relation Matching (1985) (3)
Research in advanced formal theorem-proving techniques. [design and implementation of computer languages] (1973) (2)
AMPHION: Specification-based programming for scientific subroutine libraries (1994) (2)
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach (2017) (2)
Tablog: Functional and Relational Programming in One Framework (1986) (2)
Structured programming with recursion (1978) (2)
On Program Synthesis and Program Verification (1970) (2)
In Memory of Mark Stickel (2016) (2)
Zohar Manna (1939–2018) (2019) (2)
Natural Language Access: When Reasoning Makes Sense (2018) (2)
A Temporal Plan Theory (1995) (1)
Ontology Construction Tool Kit (2000) (1)
Knowledge-Intensive Query Processing (1998) (1)
Deductive Approaches to Plan Generation and Plan Recognition (2012) (1)
Research in advanced formal theorem-proving techniques (1973) (1)
Program Synthesis for Multi-agent Question Answering (2003) (1)
Synthesis: Dreams → Programs (1979) (1)
Answering Questions about HIV Drug Resistance using Natural Language Technology and Theorem Proving (2011) (0)
Pragmatic Axiomatization Techniques (2007) (0)
Deduction for Natural Language Access to Data (2014) (0)
1 Summary of Work Accomplished (0)
Deductive Coordination of Multiple Geospatial Knowledge Sources (2002) (0)
Knowledge Creation Tools for DAML (2006) (0)
Engineering for Artificial Intelligence Software (1990) (0)
Program-Understanding Systems (1974) (0)
ARPA "automatic programming" meeting (1974) (0)
KNOWLEDGE AND REASONING IN PROGRAM SYNTIIESIS BY %OHAR (2005) (0)
Planning and Imperative Program Synthesis: A Deductive Approach (1990) (0)
PLANNING AND IMPERATIVE (1990) (0)
The Origin of a Binary-Search Paradigm. Revision. (1986) (0)
A DEDUCTIVE APPROACH TO AUTOMATED PLANNING S (0)
The Logical Basis . for Programming : Deductive Reasoning (0)
Sti$uctured Programming with Recursion (1998) (0)
Cooperation Among Theorem Provers (1998) (0)
Stanford Artificial Intelligence Project Memo Aim-127 towards Automatic Programsynthesis by Zoharmanna ' . and towards Automatic Program Synthesis By (0)
Open architectures for formal reasoning and deductive technologies for software development (1994) (0)
DANDE: Deductive Anomaly Detection With Program Synthesis (2003) (0)
The Logic of Computer Programming by Zohar Manna and Richard Waldinger the Logic of Computer Programming Zohar Manna (1998) (0)
A DEDUCTLVE APPROACH T O PROGRAM SYNTHESIS bY (1998) (0)
Deductive Formation of Recursive Workflows (2009) (0)
In Memory of Mark Stickel (2015) (0)
Program-synthetic deduction (tutorial) (1990) (0)
Tutorial on Program-Synthetic Deduction (1990) (0)
Deductive Technologies For Software Development (0)

This paper list is powered by the following services:

Other Resources About Richard Waldinger

en.wikipedia.org

What Schools Are Affiliated With Richard Waldinger?

Richard Waldinger is affiliated with the following schools:

Richard Waldinger's Academic­Influence.com Rankings

Richard Waldinger's Degrees

Similar Degrees You Can Earn

Why Is Richard Waldinger Influential?

Richard Waldinger's Published Works

Published Works

Other Resources About Richard Waldinger

What Schools Are Affiliated With Richard Waldinger?

Richard Waldinger's AcademicInfluence.com Rankings