Dan Rosén
Dan Rosén
Systems developer, NBIS, Uppsala university
Verified email at nbis.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
842013
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
702013
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
402014
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
322016
TIP: tons of inductive problems
K Claessen, M Johansson, D Rosén, N Smallbone
International Conference on Intelligent Computer Mathematics, 333-337, 2015
312015
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
242012
Proving equational Haskell properties using automated theorem provers
D Rosén
Master’s thesis, University of Gothenburg, 2012
14*2012
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, ...
Proceedings of the 7th Workshop on NLP for Computer Assisted Language …, 2018
92018
SAT modulo intuitionistic implications
K Claessen, D Rosén
Logic for Programming, Artificial Intelligence, and Reasoning, 622-637, 2015
92015
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
82018
TIP: Tools for inductive provers
D Rosén, N Smallbone
Logic for Programming, Artificial Intelligence, and Reasoning, 219-232, 2015
62015
Annotation of learner corpora: first SweLL insights.
E Volodina, L Granstedt, B Megyesi, J Prentice, D Rosén, CJ Schenström, ...
Swedish Language Technology Conference, 2018
52018
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
42019
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
32019
Working together towards an ideal infrastructure for language learner corpora
EW Stemle, A Boyd, M Janssen, A Rosen, D Rosén, E Volodina
32019
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
22018
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
Chalmers University of Technology, 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