TN

Tobias Nipkow

0000-0003-0730-515X

294

Publications

11,703

Citations

45

h-index

116

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (136)
Book Chapter (133)
Book (16)
Preprint (8)
Dissertation (1)

Filter by Open Access Type

Open Access (56)
Closed Access (238)

Filter by Authors

Tobias Nipkow (294)
Gerwin Klein (21)
Lawrence C. Paulson (14)
Franz Baader (10)
Gertrud Bauer (9)

Filter by Topics

Logic, programming, and type systems (173)
Formal Methods in Verification (107)
Logic, Reasoning, and Knowledge (81)
Security and Verification in Computing (29)
Algorithms and Data Compression (27)