Dan Rosén

Publikationer (9)
Projekt (1)

Visar 9 publikationer

2016

Theory Exploration and Inductive Theorem Proving

Dan Rosén

Licentiatavhandling

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 i 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 i 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 i 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 LNAI, p. 108-122

Paper i 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

Artikel i vetenskaplig tidskrift

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 i 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 LNAI, p. 392-406

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2012–2012

Development of automated methods for specification extraction from programs

Koen Lindström Claessen Programvaruteknik

Dan Rosén Programvaruteknik

Microsoft Research

Det kan finnas fler projekt där Dan Rosén medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.