Dan Rosén

Publications (9)
Projects (1)

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.