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
-
A Unified Formalization of Context-Free Grammar Theory
Nipkow, T., Lehr, F., Roos, M. & Yamada, A., 2026, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Proceedings. Biere, A., Lutz, C. & Negri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 181-199 19 p. (Lecture Notes in Computer Science; vol. 16689 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Preface
Komendantskaya, E. & Nipkow, T., 16 Jul 2026, In: Leibniz International Proceedings in Informatics, LIPIcs. 382Research output: Contribution to journal › Editorial
-
Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL
Bartl, L., Blanchette, J. & Nipkow, T., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 573-593 21 p. (Lecture Notes in Computer Science; vol. 15943 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
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
1 Scopus citations -
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