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 computing, computer science, and formal methods.

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 · 340 citations · Full text

Natural Sciences, Mathematics, Physics +15

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

Computing, Computer Science, Compilers +16

Higher-order critical pairs

Tobias Nipkow · 2002 · 218 citations

Computing, Computer Science, Logic +13

Higher-order rewrite systems and their confluence

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

Computing, Linguistics, Formal Methods +5

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

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

Computing, Computer Science, Formal Methods +16

1–5 of 43