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: Renströmsgatan 6 , 412 55 Göteborg

Latest publications

SVALA: an Annotation Tool for Learner Corpora generating parallel texts
Elena Volodina, Arild Matsson, Dan Rosén, Mats Wirén
Learner Corpus Research conference (LCR-2019), Warsaw, 12-14 September 2019, Book of abstracts, Conference contribution 2019
Conference contribution

Working together towards an ideal infrastructure for language learner corpora
Egon Stemle, Adriane Boyd, Maarten Janssen, Nives Mikelić Preradović, Alexandr Rosen et al.
Widening the Scope of Learner Corpus Research. Selected papers from the fourth Learner Corpus Research Conference. Corpora and Language in Use – Proceedings 5, Louvain-la-Neuve: Presses universitaires de Louvain, Journal article 2019
Journal article

The SweLL Language Learner Corpus: From Design to Annotation
Elena Volodina, Lena Granstedt, Arild Matsson, Beáta Megyesi, Ildikó Pilán et al.
Northern European Journal of Language Technology, Journal article 2019
Journal article

SVALA: Annotation of Second-Language Learner Text Based on Mostly Automatic Alignment of Parallel Corpora
Mats Wirén, Arild Matsson, Dan Rosén, Elena Volodina
Selected papers from the CLARIN Annual Conference 2018, Pisa, 8-10 October 2018 / edited by Inguna Skadina, Maria Eskevich, Linköpings universitet, Linköping University Electronic Press, Linköpings universitet, Conference paper 2018
Conference paper

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

Showing 11 - 18 of 18

2015

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

2014

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

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 - 18 of 18

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?