Filter
Chapter

Search results

  • 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, 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 proceedingChapterpeer-review

  • 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, p. 243-254 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14660).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 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, Vol. 9780521518253. p. 363-382 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    10 Scopus citations
  • 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. (eds.). Springer Verlag, p. 305-320 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3223).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    43 Scopus citations
  • 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. (eds.). Springer Verlag, p. 259-278 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2646).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    40 Scopus citations