Seuraa
Dan Rosén
Dan Rosén
Uppsala University, dept. of Pharmaceutical Biosciences
Vahvistettu sähköpostiosoite verkkotunnuksessa farmbio.uu.se - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Automating inductive proofs using theory exploration
K Claessen, M Johansson, D Rosén, N Smallbone
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
1252013
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
782013
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
762016
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
622014
TIP: tons of inductive problems
K Claessen, M Johansson, D Rosén, N Smallbone
International Conference on Intelligent Computer Mathematics, 333-337, 2015
522015
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 (NEJLT) 6, 67-104, 2019
362019
HipSpec: Automating Inductive Proofs of Program Properties.
K Claessen, M Johansson, D Rosén, N Smallbone
ATx/WInG@ IJCAR, 16-25, 2012
312012
Working together towards an ideal infrastructure for language learner corpora
EW Stemle, A Boyd, M Janssen, T Lindström Tiedemann, ...
Nepoznat skup, 427-468, 2019
212019
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, ...
7th Workshop on NLP for Computer Assisted Language Learning at SLTC 2018 …, 2018
212018
SAT modulo intuitionistic implications
K Claessen, D Rosén
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
202015
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
CLARIN Annual Conference, Pisa, Italy, 8-10 October, 2018, 222-234, 2019
152019
Proving equational Haskell properties using automated theorem provers
D Rosén
Master’s thesis, University of Gothenburg, Sweden, 2012
15*2012
TIP: Tools for inductive provers
D Rosén, N Smallbone
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
112015
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
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
72018
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
52018
TIP: Tons of inductive problems
M Johansson, D Rosén, N Smallbone, K Claessen
Proceedings of the Conference on Intelligent Computer Mathematics, 2015
22015
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, 2019
12019
Theory Exploration and Inductive Theorem Proving
D Rosén
PQDT-Global, 2016
2016
UFS-Coastal the next generation NOAA National Ocean Service Coastal Ocean Models Coupling Infrastructure
S Moghimi, M Huang, P Velissariou, Y Sun, YC Teng, AL Kurapov, ...
2024 Ocean Sciences Meeting, 0
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20