Dan Rosn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LPAR | SAT Modulo Intuitionistic Implications. | Koen Claessen, Dan Rosn |
| 2015 | LPAR | TIP: Tools for Inductive Provers. | Dan Rosn, Nicholas Smallbone |
| 2013 | CADE | Automating Inductive Proofs Using Theory Exploration. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2013 | POPL | HALO: haskell to logic through denotational semantics. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn |
| 2012 | CADE | HipSpec: Automating Inductive Proofs of Program Properties. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |