Foto von Tobias Nipkow

Scopus-Profil ansehen

Tobias Nipkow

Prof.

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

Publikationen pro Jahr

Filter
Kapitel

Suchergebnisse

  • 2024

    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

  • 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

  • 2009

    Nominal verification of algorithm W

    Urban, C. & Nipkow, T., 1 Jan. 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. Cambridge University Press, Band 9780521518253. S. 363-382 20 S.

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    10 Zitate (Scopus)
  • 2004

    Certifying Machine Code Safety: Shallow Versus Deep Embedding

    Wildmoser, M. & Nipkow, T., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Slind, K., Gopalakrishnan, G. & Bunker, A. (Hrsg.). Springer Verlag, S. 305-320 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3223).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    Open Access
    43 Zitate (Scopus)
  • 2003

    Structured proofs in Isar/HOL

    Nipkow, T., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geuvers, H. & Wiedijk, F. (Hrsg.). Springer Verlag, S. 259-278 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2646).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

    40 Zitate (Scopus)