Dan Rosén

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Stochastic Local Search Algorithms

Information Theory

Parallel Corpora

Top Venues

CLARIN Annual Conference

Publications

Mats Wirén, Arild Matsson, Dan Rosén, Elena Volodina
SVALA: Annotation of Second-Language Learner Text Based on Mostly Automatic Alignment of Parallel Corpora. CLARIN Annual Conference (2018)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
TIP: Tons of Inductive Problems. CICM (2015)
Koen Claessen, Dan Rosén
SAT Modulo Intuitionistic Implications. LPAR (2015)
Dan Rosén, Nicholas Smallbone
TIP: Tools for Inductive Provers. LPAR (2015)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM (2014)
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR (2014)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Automating Inductive Proofs Using Theory Exploration. CADE (2013)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén
HALO: haskell to logic through denotational semantics. POPL (2013)
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR (2012)