Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Kontaktformulär








 


OBS! Vill du ha svar, ange e-post eller telefonnummer!




Dan Rosén

Forskningsingenjör

Dan Rosén
Forskningsingenjör
dan.rosen@svenska.gu.se
031-786 1087

Rumsnummer: G316/2
Postadress: Box 200, 40530 Göteborg
Besöksadress: Renströmsgatan 6 , 41255 Göteborg


Institutionen för svenska språket (Mer information)
Box 200
405 30 Göteborg
www.svenska.gu.se
svenska.exp@svenska.gu.se
Besöksadress: Renströmsgatan 6 , 412 55 Göteborg

Om Dan Rosén

Mer information på Språkbankens personalsidor.

Senaste publikationer

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2019
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Paper i proceeding 2018
Paper i proceeding

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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, Paper i proceeding 2018
Paper i proceeding

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, Paper i proceeding 2018
Paper i proceeding

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

Visar 11 - 18 av 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), Paper i proceeding 2015
Paper i proceeding

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, Paper i proceeding 2015
Paper i proceeding

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), Paper i proceeding 2015
Paper i proceeding

2014

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

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, Paper i proceeding 2013
Paper i proceeding

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, Paper i proceeding 2013
Paper i proceeding

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

Visar 11 - 18 av 18

Sidansvarig: Sven Lindström|Sidan uppdaterades: 2017-08-31
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?