Follow
Dan Rosén
Dan Rosén
Uppsala University, dept. of Pharmaceutical Biosciences
Verified email at farmbio.uu.se - Homepage
Title
Cited by
Cited by
Year
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
International Conference on Automated Deduction, 392-406, 2013
962013
HALO: Haskell to logic through denotational semantics
D Vytiniotis, S Peyton Jones, K Claessen, D Rosén
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
732013
Sparv: Sprĺkbanken’s corpus annotation pipeline infrastructure
L Borin, M Forsberg, M Hammarstedt, D Rosén, R Schäfer, A Schumacher
The Sixth Swedish Language Technology Conference (SLTC), Umeĺ University, 17-18, 2016
462016
Hipster: Integrating theory exploration in a proof assistant
M Johansson, D Rosén, N Smallbone, K Claessen
International Conference on Intelligent Computer Mathematics, 108-122, 2014
462014
TIP: tons of inductive problems
K Claessen, M Johansson, D Rosén, N Smallbone
International Conference on Intelligent Computer Mathematics, 333-337, 2015
432015
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
272012
Learner corpus anonymization in the age of gdpr: Insights from the creation of a learner corpus of swedish
B Megyesi, L Granstedt, S Johansson, J Prentice, D Rosén, ...
172018
Proving equational Haskell properties using automated theorem provers
D Rosén
Master’s thesis, University of Gothenburg, Sweden, 2012
15*2012
SAT modulo intuitionistic implications
K Claessen, D Rosén
Logic for Programming, Artificial Intelligence, and Reasoning, 622-637, 2015
142015
Working together towards an ideal infrastructure for language learner corpora
EW Stemle, A Boyd, M Jansen, T Lindström Tiedemann, ...
Widening the Scope of Learner Corpus Research Selected Papers from the …, 2019
102019
Error Coding of Second-Language Learner Texts Based on Mostly Automatic Alignment of Parallel Corpora
D Rosén, M Wirén, E Volodina
CLARIN Annual Conference 2018, Pisa, Italy, 8–10 October, 2018, 181-184, 2018
92018
TIP: tools for inductive provers
D Rosén, N Smallbone
Logic for Programming, Artificial Intelligence, and Reasoning, 219-232, 2015
82015
The SweLL Language Learner Corpus: From Design to Annotation
E Volodina, L Granstedt, A Matsson, B Megyesi, I Pilán, J Prentice, ...
Northern European Journal of Language Technology 6, 67-104, 2019
72019
Annotation of learner corpora: first SweLL insights
E Volodina, L Granstedt, B Megyesi, J Prentice, D Rosén, CJ Schenström, ...
Seventh Swedish Language Technology Conference, Stockholm, 7-9 November 2018 …, 2018
62018
Svala: Annotation of second-language learner text based on mostly automatic alignment of parallel corpora
M Wirén, A Matsson, D Rosén, E Volodina
52019
Uneek: A web tool for comparative analysis of annotated texts
P Malm, M Ahlberg, D Rosén
11th edition of the Language Resources and Evaluation Conference (LREC), 7 …, 2018
42018
TIP: Tons of inductive problems
M Johansson, D Rosén, N Smallbone, K Claessen
Proceedings of the Conference on Intelligent Computer Mathematics, 2015
22015
Theory Exploration and Inductive Theorem Proving
D Rosén
PQDT-Global, 2016
2016
Annotation of learner corpora-in (SweLL) practice
E Volodina, L Granstedt, S Johansson, B Megyesi, J Prentice, I Pilán, ...
SVALA: an Annotation tool for Learner Corpora generating word-aligned parallel texts
E Volodina, A Matsson, D Rosén, M Wirén
Learner Corpus Research 2019 Warsaw, 12–14 September, 135, 0
The system can't perform the operation now. Try again later.
Articles 1–20