Fingerprint
Ergründen Sie die Forschungsthemen, in denen Tobias Nipkow aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
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. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 573-593 21 S. (Lecture Notes in Computer Science; Band 15943 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Alpha-Beta Pruning Verified
Nipkow, T., Sept. 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; Band 309).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
1 Zitat (Scopus) -
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, S. 45-55 11 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band LNCS 14781).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
A Verified Earley Parser
Rau, M. & Nipkow, T., Sept. 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; Band 309).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Gale-Shapley Verified
Nipkow, T., Juni 2024, in: Journal of Automated Reasoning. 68, 2, 12.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus)