Stefan Berghofer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2001–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | APLAS | Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. | Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow |
| 2008 | AISC | Logic-Free Reasoning in Isabelle/Isar. | Stefan Berghofer, Makarius Wenzel |
| 2008 | LICS | Mechanizing the Metatheory of LF. | Christian Urban, James Cheney, Stefan Berghofer |
| 2007 | CADE | Barendregt's Variable Convention in Rule Inductions. | Christian Urban, Stefan Berghofer, Michael Norrish |
| 2006 | CADE | A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. | Christian Urban, Stefan Berghofer |
| 2004 | SEFM | Random Testing in Isabelle/HOL. | Stefan Berghofer, Tobias Nipkow |
| 2001 | FOSSACS | Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts. | Christine Rckl, Daniel Hirschkoff, Stefan Berghofer |