| 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 | 137 | 2013 |
| 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 | 84 | 2016 |
| 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 | 77 | 2013 |
| 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 | 65 | 2014 |
| TIP: tons of inductive problems K Claessen, M Johansson, D Rosén, N Smallbone International Conference on Intelligent Computer Mathematics, 333-337, 2015 | 63 | 2015 |
| 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 | 48 | 2019 |
| HipSpec: Automating Inductive Proofs of Program Properties. K Claessen, M Johansson, D Rosén, N Smallbone ATx/WInG@ IJCAR, 16-25, 2012 | 36 | 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, ... 7th Workshop on NLP for Computer Assisted Language Learning at SLTC 2018 …, 2018 | 26 | 2018 |
| Working together towards an ideal infrastructure for language learner corpora EW Stemle, A Boyd, M Jansen, TL Tiedemann, NM Preradović, A Rosen, ... Learner Corpus Research Conference, 2019 | 25 | 2019 |
| SAT modulo intuitionistic implications K Claessen, D Rosén Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 23 | 2015 |
| 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 | 21 | 2019 |
| Proving equational Haskell properties using automated theorem provers D Rosén Master’s thesis, University of Gothenburg, Sweden, 2012 | 16* | 2012 |
| TIP: tools for inductive provers D Rosén, N Smallbone Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 11 | 2015 |
| 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 | 10 | 2018 |
| 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 | 7 | 2018 |
| 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 | 5 | 2018 |
| TIP: Tons of inductive problems M Johansson, D Rosén, N Smallbone, K Claessen Proceedings of the Conference on Intelligent Computer Mathematics, 2015 | 2 | 2015 |
| Integration of MPAS Dycore into UFS J Wang, K Viner, D Swales, D Rosen, D Heinzeller, L Bernardet Technical Report, 2023 | 1 | 2023 |
| 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 | 1 | 2019 |
| Integrating the interconnections between groundwater and land surface processes through the coupled NASA land information system and ParFlow environment FZ Maina, D Rosen, P Abbaszadeh, C Yang, SV Kumar, M Rodell, ... Journal of Advances in Modeling Earth Systems 17 (2), e2024MS004415, 2025 | | 2025 |
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
