Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Dan Rosén

Research engineer

Dan Rosén
Research engineer
dan.rosen@svenska.gu.se
+46 31 786 1087

Room number: G316/2
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Lundgrensgatan 1B, vån 3 , 41256 Göteborg


Department of Swedish (More Information)
Box 200
405 30 Göteborg
www.svenska.gu.se
svenska.exp@svenska.gu.se
Visiting Address: Lundgrensgatan 1B , 412 56 Göteborg

Latest publications

Error Coding of Second-Language Learner Texts Based on Mostly Automatic Alignment of Parallel Corpora.
Dan Rosén, Mats Wirén, Elena Volodina
Proceedings of CLARIN-2018 conference, 8-10 October 2018, Pisa, Italy, Conference contribution 2018
Conference contribution

Annotation of learner corpora: first SweLL insights.
Elena Volodina, Lena Granstedt, Beáta Megyesi, Julia Prentice, Dan Rosén et al.
Proceedings of SLTC 2018, Stockholm, October 7-9, 2018, Conference contribution 2018
Conference contribution

Learner Corpus Anonymization in the Age of GDPR: Insights from the Creation of a Learner Corpus of Swedish
Beata Megyesi, Lena Granstedt, Sofia Johansson, Julia Prentice, Dan Rosén et al.
Proceedings of the 7th Workshop on NLP for Computer Assisted Language Learning (NLP4CALL 2018) at SLTC, Stockholm, 7th November 2018 / edited by Ildikó Pilán, Elena Volodina, David Alfter and Lars Borin, Linköpings universitet, Linköping University Electronic Press, Conference paper 2018
Conference paper

Uneek: a Web Tool for Comparative Analysis of Annotated Texts
Per Malm, Malin Ahlberg, Dan Rosén
Proceedings of the LREC 2018 Workshop International FrameNetWorkshop 2018: Multilingual Framenets and Constructicons, 7-12 May 2018, Miyazaki (Japan) / [ed] Tiago Timponi Torrent, Lars Borin & Collin F. Baker, 2018, Conference paper 2018
Conference paper

Sparv: Språkbanken’s corpus annotation pipeline infrastructure
Lars Borin, Markus Forsberg, Martin Hammarstedt, Dan Rosén, Roland Schäfer et al.
SLTC 2016. The Sixth Swedish Language Technology Conference, Umeå University, 17-18 November, 2016, Conference contribution 2016
Conference contribution

Theory Exploration and Inductive Theorem Proving
Dan Rosén
Göteborg, Chalmers University of Technology, Licentiate thesis 2016
Licentiate thesis

SAT modulo intuitionistic implications
Koen Claessen, Dan Rosén
Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Conference paper 2015
Conference paper

Tip: Tools for inductive provers
Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, Conference paper 2015
Conference paper

TIP: Tons of Inductive Problems
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), Conference paper 2015
Conference paper

Hipster: Integrating theory exploration in a proof assistant
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer Science, Conference paper 2014
Conference paper

Showing 11 - 14 of 14

2014

2013

HALO: Haskell to logic through denotational semantics
Dimitrios Vytiniotis, Simon L. Peyton-Jones, Dan Rosén, Koen Claessen
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Conference paper 2013
Conference paper

Automating Inductive Proofs using Theory Exploration
Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Conference paper 2013
Conference paper

HALO: Haskell to Logic through Denotational Semantics
D. Vytiniotis, S. P. Jones, Dan Rosén, Koen Claessen
Acm Sigplan Notices, Journal article 2013
Journal article

Showing 11 - 14 of 14

Page Manager: Webbredaktionen|Last update: 7/14/2016
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?