Dan Rosén

Publications

2019

• Egon Stemle, Adriane Boyd, Maarten Janssen, Nives Mikelić Preradović, Alexandr Rosen, Dan Rosén, Elena Volodina (2019): Working together towards an ideal infrastructure for language learner corpora, in Widening the Scope of Learner Corpus Research. Selected papers from the fourth Learner Corpus Research Conference. Corpora and Language in Use – Proceedings 5 / Andrea Abel, Aivars Glaznieks, Verena Lyding and Lionel Nicolas (eds.)
• Elena Volodina, Lena Granstedt, Arild Matsson, Beáta Megyesi, Ildikó Pilán, Julia Prentice, Dan Rosén, Lisa Rudebeck, Carl-Johan Schenström, Gunlög Sundberg, Mats Wirén (2019): The SweLL Language Learner Corpus: From Design to Annotation, in Northern European Journal of Language Technology, volume 6, pages 67-104
• Elena Volodina, Arild Matsson, Dan Rosén, Mats Wirén (2019): SVALA: an Annotation Tool for Learner Corpora generating parallel texts, in Learner Corpus Research conference (LCR-2019), Warsaw, 12-14 September 2019, Book of abstracts

2018

• Mats Wirén, Arild Matsson, Dan Rosén, Elena Volodina (2018): SVALA: Annotation of Second-Language Learner Text Based on Mostly Automatic Alignment of Parallel Corpora, in Selected papers from the CLARIN Annual Conference 2018, Pisa, 8-10 October 2018 / edited by Inguna Skadina, Maria Eskevich
• Dan Rosén, Mats Wirén, Elena Volodina (2018): Error Coding of Second-Language Learner Texts Based on Mostly Automatic Alignment of Parallel Corpora, in Proceedings of CLARIN-2018 conference, 8-10 October 2018, Pisa, Italy
• Elena Volodina, Lena Granstedt, Beáta Megyesi, Julia Prentice, Dan Rosén, Carl-Johan Schenström, Gunlög Sundberg, Mats Wirén (2018): Annotation of learner corpora: first SweLL insights, in Proceedings of SLTC 2018, Stockholm, October 7-9, 2018
• Beata Megyesi, Lena Granstedt, Sofia Johansson, Julia Prentice, Dan Rosén, Carl-Johan Schenström, Gunlög Sundberg, Mats Wirén, Elena Volodina (2018): Learner Corpus Anonymization in the Age of GDPR: Insights from the Creation of a Learner Corpus of Swedish, in 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
• Per Malm, Malin Ahlberg, Dan Rosén (2018): Uneek: a Web Tool for Comparative Analysis of Annotated Texts, in 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

2016

• Lars Borin, Markus Forsberg, Martin Hammarstedt, Dan Rosén, Roland Schäfer, Anne Schumacher (2016): Sparv: Språkbanken’s corpus annotation pipeline infrastructure, in SLTC 2016. The Sixth Swedish Language Technology Conference, Umeå University, 17-18 November, 2016
• Dan Rosén (2016): Theory Exploration and Inductive Theorem Proving

2015

• Koen Claessen, Dan Rosén (2015): SAT modulo intuitionistic implications, in Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volume 9450, pages 622-637
• Dan Rosén, Nicholas Smallbone (2015): Tip: Tools for inductive provers, in Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, volume 9450, pages 219-232
• Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone (2015): TIP: Tons of Inductive Problems, in Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), volume 9150, pages 332-336

2014

• Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen (2014): Hipster: Integrating theory exploration in a proof assistant, in Lecture Notes in Computer Science, volume 8543, pages 108-122
• Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone (2014): Compiling Linear Logic using Continuations

2013

• Dimitrios Vytiniotis, Simon L. Peyton-Jones, Dan Rosén, Koen Claessen (2013): HALO: Haskell to logic through denotational semantics, in Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pages 431-442
• Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone (2013): Automating Inductive Proofs using Theory Exploration, in 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, volume 7898, pages 392-406
• D. Vytiniotis, S. P. Jones, Dan Rosén, Koen Claessen (2013): HALO: Haskell to Logic through Denotational Semantics, in Acm Sigplan Notices, volume 48, issue 1, pages 431-442