Concepedia

Peter Lammich

PL

17

Publications

447

Citations

13

H-Index

2011

Active since

Affiliations

Technical University of Munich(Current)

University of Münster

Max Planck Institute for Informatics

Vrije Universiteit Amsterdam

Peter Lammich is an author at Technical University of Munich specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningVerificationSoftware AnalysisComputer EngineeringSatisfiability

Publications per year

2011–2023

17

Publications

17

Refinement to Imperative HOL

Peter Lammich · Journal of Automated Reasoning · 2017 · 69 citations · Full text

Formal Semantics, Philosophy Of Language, Syntax +9

Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL

Peter Lammich, S. Reza Sefidgar · Journal of Automated Reasoning · 2017 · 63 citations · Full text

Network Flow Algorithms, Formal Specification, Network Flows +9

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

Efficient Verified (UN)SAT Certificate Checking

Peter Lammich · Journal of Automated Reasoning · 2019 · 34 citations · Full text

Dijkstra's Shortest Path Algorithm.

Benedikt Nordhoff, Peter Lammich · Archive of formal proofs · 2012 · 29 citations

Network Routing Algorithm, Shortest Path Algorithm, Graph Theory +7

Rows per page

1–5 of 17