| 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 | 117 | 2013 |
| 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 | 78 | 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 | 60 | 2016 |
| Hipster: Integrating theory exploration in a proof assistant M Johansson, D Rosén, N Smallbone, K Claessen Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 56 | 2014 |
| TIP: tons of inductive problems K Claessen, M Johansson, D Rosén, N Smallbone Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015 | 49 | 2015 |
| HipSpec: Automating Inductive Proofs of Program Properties. K Claessen, M Johansson, D Rosén, N Smallbone ATx/WInG@ IJCAR, 16-25, 2012 | 30 | 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, ... | 17 | 2018 |
| 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 | 16 | 2019 |
| SAT modulo intuitionistic implications K Claessen, D Rosén Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015 | 16 | 2015 |
| 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, 2019 | 15 | 2019 |
| 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 | 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 | 9 | 2018 |
| 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 | 8 | 2019 |
| 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 | 6 | 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 |
| 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 |
| 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, ... | | |
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
