Alexander Krauss

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 6

Top Venues

ITP

CoRR

Math. Struct. Comput. Sci.

Cogn. Sci.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Lluis Danus, Carles Muntaner, Alexander Krauss, Marta Sales-Pardo, Roger Guimerà
Differences in collaboration structures and impact among prominent researchers in Europe and North America. EPJ Data Sci. 12 (1) (2023)
Uwe Peters, Alexander Krauss, Oliver Braganza
Generalization Bias in Science. Cogn. Sci. 46 (9) (2022)
Fabian Huch, Alexander Krauss
FindFacts: A Scalable Theorem Search. CoRR (2022)
Lluis Danus, Carles Muntaner, Alexander Krauss, Marta Sales-Pardo, Roger Guimerà
Differences in collaboration structures and impact among prominent researchers in Europe and North America. CoRR (2022)
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation. MaLTeSQuE@SANER (2018)
Ana Bove, Alexander Krauss, Matthieu Sozeau
Partiality and recursion in interactive theorem provers - an overview. Math. Struct. Comput. Sci. 26 (1) (2016)
Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow
Data Refinement in Isabelle/HOL. ITP (2013)
Cezary Kaliszyk, Alexander Krauss
Scalable LCF-Style Proof Translation. ITP (2013)
Alexander Krauss, Tobias Nipkow
Proof Pearl: Regular Expression Equivalence and Relation Algebra. J. Autom. Reason. 49 (1) (2012)
Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl
Termination of Isabelle Functions via Termination of Rewriting. ITP (2011)
Jasmin Christian Blanchette, Alexander Krauss
Monotonicity Inference for Higher-Order Formulas. J. Autom. Reason. 47 (4) (2011)
Alexander Krauss
Recursive Definitions of Monadic Functions. PAR@ITP (2010)
Alexander Krauss, Tobias Nipkow
Regular Sets and Expressions. Arch. Formal Proofs 2010 (2010)
Alexander Krauss
Partial and Nested Recursive Function Definitions in Higher-order Logic. J. Autom. Reason. 44 (4) (2010)
Jasmin Christian Blanchette, Alexander Krauss
Monotonicity Inference for Higher-Order Formulas. IJCAR (2010)
Alexander Krauss
Recursive Definitions of Monadic Functions PAR (2010)
Alexander Krauss, Andreas Schropp
A Mechanized Translation from Higher-Order Logic to Set Theory. ITP (2010)
Alexander Krauss
Pattern minimization problems over recursive data types. ICFP (2008)
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
Imperative Functional Programming with Isabelle/HOL. TPHOLs (2008)
Alexander Krauss
Certified Size-Change Termination. CADE (2007)
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs (2007)
Alexander Krauss
Partial Recursive Functions in Higher-Order Logic. IJCAR (2006)

Alexander Krauss.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Krauss