Dan Rosén

Publikationer

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, i 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, i Northern European Journal of Language Technology, volym 6, sida 67-104
• Elena Volodina, Arild Matsson, Dan Rosén, Mats Wirén (2019): SVALA: an Annotation Tool for Learner Corpora generating parallel texts, i 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, i 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, i 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, i 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, i 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, i 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, i 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, i Lecture Notes in Computer Science. Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volym 9450, sida 622-637
• Dan Rosén, Nicholas Smallbone (2015): Tip: Tools for inductive provers, i Lecture Notes in Computer Science. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015, volym 9450, sida 219-232
• Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone (2015): TIP: Tons of Inductive Problems, i Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM), volym 9150, sida 332-336

2014

• Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen (2014): Hipster: Integrating theory exploration in a proof assistant, i Lecture Notes in Computer Science, volym 8543, sida 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, i Conference Record of the Annual ACM Symposium on Principles of Programming Languages, sida 431-442
• Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone (2013): Automating Inductive Proofs using Theory Exploration, i 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, volym 7898, sida 392-406
• D. Vytiniotis, S. P. Jones, Dan Rosén, Koen Claessen (2013): HALO: Haskell to Logic through Denotational Semantics, i Acm Sigplan Notices, volym 48, nummer 1, sida 431-442