Richard Waldinger

11 papers A* 1B 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis.
CoRR
Richard Waldinger
2019 J jnl
Zohar Manna (1939-2018).
Formal Aspects Comput.
Nachum Dershowitz, Richard Waldinger
2017 B conf
Preserving confidentiality during the migration of virtual SDN topologies: A formal approach.
NCA
Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi
2016 J jnl
In Memory of Mark Stickel.
J. Autom. Reason.
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
2015 — conf
Natural Language Access to Data: It Takes Common Sense!
AAAI Spring Symposia
Cleo Condoravdi, Kyle Richardson, Vishal Sikka, Asuman Suenbuel, Richard Waldinger
2008 — conf
Answering Science Questions: Deduction with Answer Extraction and Procedural Attachment.
AAAI Spring Symposium: Semantic Scientific Knowledge Integration
Richard Waldinger, Jeff Shrager
1991 — conf
Monotonicity Properties in Automated Deduction.
Artificial and Mathematical Theory of Computation
Zohar Manna, Mark E. Stickel, Richard Waldinger
1979 A* conf
A Deductive Approach to Program Synthesis.
IJCAI
Zohar Manna, Richard Waldinger
1978 — conf
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer.
AFIPS National Computer Conference
Zohar Manna, Richard Waldinger
1977 — conf
The automatic synthesis of recursive programs.
Artificial Intelligence and Programming Languages
Zohar Manna, Richard Waldinger
1974 J jnl
ARPA "automatic programming" meeting.
SIGART Newsl.
Richard Waldinger