Research output per year
Research output per year
Fingerprint
Dive into the research topics where Tobias Nipkow is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Alpha-Beta Pruning Verified
Nipkow, T., Sep 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Note on Proofs of Earley’s Recognizer
Nipkow, T. & Rau, M., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 45-55 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14781).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
A Verified Earley Parser
Rau, M. & Nipkow, T., Sep 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Gale-Shapley Verified
Nipkow, T., Jun 2024, In: Journal of Automated Reasoning. 68, 2, 12.Research output: Contribution to journal › Article › peer-review
Open Access -
Region Quadtrees Verified
Nipkow, T., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 243-254 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14660).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review