Skip to main navigation Skip to search Skip to main content
Tobias Nipkow

View Scopus Profile

Tobias Nipkow

Prof.

 https://orcid.org/0000-0003-0730-515X
1982 …2025

Research activity 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
View full fingerprint

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
Explore network further

  • 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 Access
    1 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

  • 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
    1 Scopus citations
View all 157 Research outputs