Alexander Krauss

Affiliations:

QAware
Technische Universität München, Germany (Ph.D.)

According to our database¹, Alexander Krauss authored at least 18 papers between 2006 and 2022.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

FindFacts: A Scalable Theorem Search.

[BibT_eX]

[DOI]

Fabian Huch

Alexander Krauss

CoRR, 2022

2018

Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation, 2018

2016

Partiality and recursion in interactive theorem provers - an overview.

[BibT_eX]

[DOI]

Ana Bove

Alexander Krauss

Matthieu Sozeau

Math. Struct. Comput. Sci., 2016

2013

Scalable LCF-Style Proof Translation.

[BibT_eX]

[DOI]

Cezary Kaliszyk

Alexander Krauss

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Data Refinement in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Proof Pearl: Regular Expression Equivalence and Relation Algebra.

[BibT_eX]

[DOI]

Alexander Krauss

Tobias Nipkow

J. Autom. Reason., 2012

2011

Monotonicity Inference for Higher-Order Formulas.

[BibT_eX]

[DOI]

Jasmin Christian Blanchette

Alexander Krauss

J. Autom. Reason., 2011

Termination of Isabelle Functions via Termination of Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Partial and Nested Recursive Function Definitions in Higher-order Logic.

[BibT_eX]

[DOI]

Alexander Krauss

J. Autom. Reason., 2010

Recursive Definitions of Monadic Functions

[BibT_eX]

[DOI]

Alexander Krauss

Proceedings of the Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, 2010

Regular Sets and Expressions.

[BibT_eX]

[DOI]

Alexander Krauss

Tobias Nipkow

Arch. Formal Proofs, 2010

A Mechanized Translation from Higher-Order Logic to Set Theory.

[BibT_eX]

[DOI]

Alexander Krauss

Andreas Schropp

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

Automating recursive definitions and termination proofs in higher-order logic.

[BibT_eX]

[DOI]

Alexander Krauss

PhD thesis, 2009

2008

Imperative Functional Programming with Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Pattern minimization problems over recursive data types.

[BibT_eX]

[DOI]

Alexander Krauss

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.

[BibT_eX]

[DOI]

Lukas Bulwahn

Alexander Krauss

Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Certified Size-Change Termination.

[BibT_eX]

[DOI]

Alexander Krauss

Proceedings of the Automated Deduction, 2007

2006

Partial Recursive Functions in Higher-Order Logic.

[BibT_eX]

[DOI]

Alexander Krauss

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Alexander Krauss

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...