Concepedia

Tobias Nipkow

TN

Statistics

Publications

43

Citations

2.8K

H-Index

29

Active since

1986

Affiliations

Technical University of Munich(Current)

University of Cambridge

Tobias Nipkow is an author at Technical University of Munich specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisFormal SpecificationSoftware Engineering

Publications per year

1986–2021

43

Publications

43

A FORMAL PROOF OF THE KEPLER CONJECTURE

Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 328 citations · Full text

Geometry Of Number, Formal Proof, Discrete Geometry +6

A machine-checked model for a Java-like language, virtual machine, and compiler

Gerwin Klein, Tobias Nipkow · ACM Transactions on Programming Languages and Systems · 2006 · 247 citations · Full text

Program Checking, Engineering, Verification +23

Higher-order critical pairs

Tobias Nipkow · 2002 · 217 citations

Order Theory, Engineering, Lambda -Calculi +15

Higher-order rewrite systems and their confluence

Richard Mayr, Tobias Nipkow · Theoretical Computer Science · 1998 · 155 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

Java<i><sub>light</sub></i> is type-safe---definitely

Tobias Nipkow, David von Oheimb · 1998 · 148 citations · Full text

Type Soundness, Engineering, Verification +16

1–5 of 43