Partial Recursive Functions in Higher-Order Logic. - Alexander Krauss 001 (IJCAR, 2006)

Certified Size-Change Termination. - Alexander Krauss 001 (CADE, 2007)

Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. - Lukas Bulwahn; Alexander Krauss 001; Tobias Nipkow (TPHOLs, 2007)

Pattern minimization problems over recursive data types. - Alexander Krauss 001 (ICFP, 2008)

Imperative Functional Programming with Isabelle/HOL. - Lukas Bulwahn; Alexander Krauss 001; Florian Haftmann; Levent Erkök; John Matthews (TPHOLs, 2008)

Automating recursive definitions and termination proofs in higher-order logic. - Alexander Krauss 001 (2009)

A Mechanized Translation from Higher-Order Logic to Set Theory. - Alexander Krauss 001; Andreas Schropp (ITP, 2010)

Regular Sets and Expressions. - Alexander Krauss 001; Tobias Nipkow (Arch. Formal Proofs, 2010)

Recursive Definitions of Monadic Functions - Alexander Krauss 001 (PAR, 2010)

Partial and Nested Recursive Function Definitions in Higher-order Logic. - Alexander Krauss 001 (J. Autom. Reason., 2010)

Termination of Isabelle Functions via Termination of Rewriting. - Alexander Krauss 001; Christian Sternagel; René Thiemann; Carsten Fuhs; Jürgen Giesl (ITP, 2011)

Monotonicity Inference for Higher-Order Formulas. - Jasmin Christian Blanchette; Alexander Krauss 001 (J. Autom. Reason., 2011)

Proof Pearl: Regular Expression Equivalence and Relation Algebra. - Alexander Krauss 001; Tobias Nipkow (J. Autom. Reason., 2012)

Data Refinement in Isabelle/HOL. - Florian Haftmann; Alexander Krauss 001; Ondrej Kuncar; Tobias Nipkow (ITP, 2013)

Scalable LCF-Style Proof Translation. - Cezary Kaliszyk; Alexander Krauss 001 (ITP, 2013)

Partiality and recursion in interactive theorem provers - an overview. - Ana Bove; Alexander Krauss 001; Matthieu Sozeau (Math. Struct. Comput. Sci., 2016)

Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. - Fabian Huch; Mojdeh Golagha; Ana Petrovska; Alexander Krauss 001 (MaLTeSQuE, 2018)

FindFacts: A Scalable Theorem Search. - Fabian Huch; Alexander Krauss 001 (CoRR, 2022)