Publikationen pro Jahr
Publikationen pro Jahr
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:
-
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
-
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 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, S. 243-254 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band LNCS 14660).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung