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

Dan Rosén

Systemutvecklare

Dan Rosén
Systemutvecklare
dan.rosen@svenska.gu.se
031-786 1087

Rumsnummer: L210
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: Lundgrensgatan 1B , 412 56 Göteborg

Om Dan Rosén

Mer information på Språkbankens personalsidor.

Senaste publikationer

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, 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, Linköpings universitet, Linköping University Electronic Press, 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, Pisa, Italy, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

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

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

Visar 1 - 10 av 14

2018

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, 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, Linköpings universitet, Linköping University Electronic Press, 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, Pisa, Italy, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2018
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

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

2016

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

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

Visar 1 - 10 av 14

Sidansvarig: Webbredaktionen|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?