Christoph Walther

41 papers A* 5A 7B 4Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
A Largely Automated Verification of GHC's Natural Mergesort.
Go Where the Bugs Are
Christoph Walther
2025 J jnl
Reasoning About Incompletely Defined Programs.
J. Autom. Reason.
Christoph Walther
2019 J jnl
Verified Newton-Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base.
ACM Trans. Math. Softw.
Christoph Walther
2018 — conf
Formally Verified Montgomery Multiplication.
CAV (2)
Christoph Walther
2017 J jnl
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
J. Autom. Reason.
Christoph Walther, Nathan Wasser
2006 — conf
Context Dependent Procedures and Computed Types in -eriFun.
PLPV@IJCAR
Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold
2005 B conf
Reasoning About Incompletely Defined Programs.
LPAR
Christoph Walther, Stephan Schweitzer
2004 B conf
Automated Termination Analysis for Incompletely Defined Programs.
LPAR
Christoph Walther, Stephan Schweitzer
2004 J jnl
Verification in the Classroom.
J. Autom. Reason.
Christoph Walther, Stephan Schweitzer
2003 B conf
A Machine-Verified Code Generator.
LPAR
Christoph Walther, Stephan Schweitzer
2003 A conf
About VeriFun.
CADE
Christoph Walther, Stephan Schweitzer
2003 — ch.
Automatisches Beweisen.
Handbuch der Künstlichen Intelligenz
Christoph Walther
2001 — book
Semantik und Programmverifikation
Christoph Walther
2000 — conf
Criteria for Termination.
Intellectics and Computational Logic
Christoph Walther
2000 J jnl
On Terminating Lemma Speculations.
Inf. Comput.
Christoph Walther, Thomas Kolbe
2000 J jnl
Proving theorems by reuse.
Artif. Intell.
Christoph Walther, Thomas Kolbe
1996 A conf
Termination of Theorem Proving by Reuse.
CADE
Thomas Kolbe, Christoph Walther
1995 — conf
Patching Proofs for Reuse (Extended Abstract).
ECML
Thomas Kolbe, Christoph Walther
1995 A* conf
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs.
IJCAI
Thomas Kolbe, Christoph Walther
1994 — ch.
Mathematical induction.
Handbook of Logic in Artificial Intelligence and Logic Programming (2)
Christoph Walther
1994 J jnl
On Proving the Termination of Algorithms by Machine.
Artif. Intell.
Christoph Walther
1994 A conf
Reusing Proofs.
ECAI
Thomas Kolbe, Christoph Walther
1993 A* conf
Combining Induction Axioms by Machine.
IJCAI
Christoph Walther
1992 B conf
Computing Induction Axioms.
LPAR
Christoph Walther
1991 — book
Automatisierung von Terminierungsbeweisen.
Christoph Walther
1989 — conf
Many-Sorted Inferences in Automated Theorem Proving.
Sorts and Types in Artificial Intelligence
Christoph Walther
1988 A conf
Argument-Bounded Algorithms as a Basis for Automated Termination Proofs.
CADE
Christoph Walther
1988 J jnl
Many-sorted unification.
J. ACM
Christoph Walther
1987 — book
A Many-Sorted Calculus Based on Resolution and Paramodulation.
Christoph Walther
1987 — conf
Many-Sorted Resolution.
KIFS
Christoph Walther
1986 A conf
A Classification of Many-Sorted Unification Problems.
CADE
Christoph Walther
1986 — conf
Automatisches Beweisen.
KIFS
Christoph Walther
1986 A conf
The Karlsruhe Induction Theorem Proving System.
CADE
Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther
1985 J jnl
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.
Artif. Intell.
Christoph Walther
1984 A* conf
A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution.
AAAI
Christoph Walther
1984 A conf
Unification in Many-Sorted Theories.
ECAI
Christoph Walther
1983 A* conf
A Many-Sorted Calculus Based on Resolution and Paramodulation.
IJCAI
Christoph Walther
1982 — —
A many-sorted calculus based on resolution and paramodulation.
Christoph Walther
1981 — conf
Elimination of Redundant Links in Extended Connection Graphs.
GWAI
Christoph Walther
1981 A* conf
The Markgraf Karl Refutation Procedure.
IJCAI
Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
1980 — conf
Das Karlsruher Beweissystem.
GI Jahrestagung
Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther