Alexander Krauss

20 papers A 4B 4Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
FindFacts: A Scalable Theorem Search.
CoRR
Fabian Huch, Alexander Krauss
2018 — conf
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.
MaLTeSQuE
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
2016 J jnl
Partiality and recursion in interactive theorem provers - an overview.
Math. Struct. Comput. Sci.
Ana Bove, Alexander Krauss, Matthieu Sozeau
2013 B conf
Data Refinement in Isabelle/HOL.
ITP
Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow
2013 B conf
Scalable LCF-Style Proof Translation.
ITP
Cezary Kaliszyk, Alexander Krauss
2012 J jnl
Proof Pearl: Regular Expression Equivalence and Relation Algebra.
J. Autom. Reason.
Alexander Krauss, Tobias Nipkow
2011 J jnl
Monotonicity Inference for Higher-Order Formulas.
J. Autom. Reason.
Jasmin Christian Blanchette, Alexander Krauss
2011 B conf
Termination of Isabelle Functions via Termination of Rewriting.
ITP
Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl
2010 B conf
A Mechanized Translation from Higher-Order Logic to Set Theory.
ITP
Alexander Krauss, Andreas Schropp
2010 A conf
Monotonicity Inference for Higher-Order Formulas.
IJCAR
Jasmin Christian Blanchette, Alexander Krauss
2010 J jnl
Partial and Nested Recursive Function Definitions in Higher-order Logic.
J. Autom. Reason.
Alexander Krauss
2010 — conf
Recursive Definitions of Monadic Functions
PAR
Alexander Krauss
2010 — conf
Recursive Definitions of Monadic Functions.
PAR@ITP
Alexander Krauss
2010 J jnl
Regular Sets and Expressions.
Arch. Formal Proofs
Alexander Krauss, Tobias Nipkow
2009 — —
Automating recursive definitions and termination proofs in higher-order logic.
Alexander Krauss
2008 — conf
Imperative Functional Programming with Isabelle/HOL.
TPHOLs
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
2008 A conf
Pattern minimization problems over recursive data types.
ICFP
Alexander Krauss
2007 A conf
Certified Size-Change Termination.
CADE
Alexander Krauss
2007 — conf
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.
TPHOLs
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
2006 A conf
Partial Recursive Functions in Higher-Order Logic.
IJCAR
Alexander Krauss