Alexander Krauss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
2006–2013
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ITP | Data Refinement in Isabelle/HOL. | Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow |
| 2013 | ITP | Scalable LCF-Style Proof Translation. | Cezary Kaliszyk, Alexander Krauss |
| 2011 | ITP | Termination of Isabelle Functions via Termination of Rewriting. | Alexander Krauss, Christian Sternagel, Ren Thiemann, Carsten Fuhs, Jrgen Giesl |
| 2010 | CADE | Monotonicity Inference for Higher-Order Formulas. | Jasmin Christian Blanchette, Alexander Krauss |
| 2010 | ITP | Recursive Definitions of Monadic Functions. | Alexander Krauss |
| 2010 | ITP | A Mechanized Translation from Higher-Order Logic to Set Theory. | Alexander Krauss, Andreas Schropp |
| 2008 | ICFP | Pattern minimization problems over recursive data types. | Alexander Krauss |
| 2007 | CADE | Certified Size-Change Termination. | Alexander Krauss |
| 2006 | CADE | Partial Recursive Functions in Higher-Order Logic. | Alexander Krauss |