TN
Tobias Nipkow
0000-0003-0730-515X294
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)