Dan Rosén

Showing 9 publications

2016

Theory Exploration and Inductive Theorem Proving

Dan Rosén
Licentiate thesis
2015

TIP: Tons of Inductive Problems

Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9150, p. 332-336
Paper in proceedings
2015

Tip: Tools for inductive provers

Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 219-232
Paper in proceedings
2015

SAT modulo intuitionistic implications

Koen Lindström Claessen, Dan Rosén
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 622-637
Paper in proceedings
2014

Hipster: Integrating theory exploration in a proof assistant

Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8543, p. 108-122
Paper in proceedings
2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Preprint
2013

HALO: Haskell to Logic through Denotational Semantics

D. Vytiniotis, S. P. Jones, Dan Rosén et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (1), p. 431-442
Journal article
2013

HALO: Haskell to logic through denotational semantics

Dimitrios Vytiniotis, Simon L. Peyton-Jones, Dan Rosén et al
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, p. 431-442
Paper in proceedings
2013

Automating Inductive Proofs using Theory Exploration

Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7898, p. 392-406
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 1 research projects

2012–2012

Development of automated methods for specification extraction from programs

Koen Lindström Claessen Software Technology (Chalmers)
Dan Rosén Software Technology (Chalmers)
Microsoft Research

There might be more projects where Dan Rosén participates, but you have to be logged in as a Chalmers employee to see them.