Concepedia

Christoph Weidenbach

CW

Statistics

Publications

19

Citations

529

H-Index

14

Active since

1963

Affiliations

Max Planck Institute for Informatics(Current)

Max Planck Society

Saarland University

Christoph Weidenbach is an author at Max Planck Institute for Informatics specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationVerificationSatisfiabilityProgram AnalysisSoftware AnalysisKnowledge Discovery

Publications per year

1963–2018

19

Publications

19

Towards an Automatic Analysis of Security Protocols in First-Order Logic

Christoph Weidenbach · Lecture notes in computer science · 1999 · 123 citations

Formal Specification, Engineering, Program Analysis +14

System Description: Spass Version 1.0.0

Christoph Weidenbach · Lecture notes in computer science · 1999 · 63 citations

Light-weight Linux Distribution, System Description, Software Versioning +1

On generating small clause normal forms

Andreas Nonnengart, Georg Rock, Christoph Weidenbach · Lecture notes in computer science · 1998 · 53 citations

Syntax, Substructural Logic, Automated Reasoning +3

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich et al. · Journal of Automated Reasoning · 2018 · 43 citations · Full text

Constraint Solving, Engineering, Automated Reasoning +11

Soft typing for ordered resolution

Harald Ganzinger, Christoph Meyer, Christoph Weidenbach · Lecture notes in computer science · 1997 · 27 citations

Mathematical Programming, Soft Typing, Super-resolution Imaging +4

1–5 of 19