| Music generation with Markov models W Schulze, B Van Der Merwe IEEE MultiMedia 18 (03), 78-85, 2011 | 130* | 2011 |
| Verifying android applications using java pathfinder H Van Der Merwe, B Van Der Merwe, W Visser ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012 | 108 | 2012 |
| A computationally inexpensive energy model for horizontal electrical water heaters with scheduling PJC Nel, MJ Booysen, B Van der Merwe IEEE Transactions on Smart Grid, 2016 | 74 | 2016 |
| Analyzing catastrophic backtracking behavior in practical regular expression matching M Berglund, F Drewes, B Van Der Merwe arXiv preprint arXiv:1405.5599, 2014 | 64 | 2014 |
| Analyzing matching time behavior of backtracking regular expression matchers by using ambiguity of NFA N Weideman, B Van Der Merwe, M Berglund, B Watson International Conference on Implementation and Application of Automata, 322-334, 2016 | 62 | 2016 |
| Execution and property specifications for jpf-android H van der Merwe, B van der Merwe, W Visser ACM SIGSOFT Software Engineering Notes 39 (1), 1-5, 2014 | 52 | 2014 |
| Energy perceptions in South Africa: An analysis of behaviour and understanding of electric water heaters PJC Nel, MJ Booysen, B Van der Merwe Energy for sustainable development 32, 62-70, 2016 | 49 | 2016 |
| Regular Expressions with Lookahead M Berglund, B van der Merwe, S van Litsenborgh Journal of Universal Computer Science 27 (4), 324-340, 2021 | 32 | 2021 |
| Reducing nondeterministic finite automata with SAT solvers J Geldenhuys, B Van Der Merwe, L Van Zijl International Workshop on Finite-State Methods and Natural Language …, 2009 | 32 | 2009 |
| Formalizing BPE tokenization M Berglund, B van der Merwe arXiv preprint arXiv:2309.08715, 2023 | 30 | 2023 |
| Unique addition modules B Van der Merwe Communications in algebra 27 (9), 4103-4115, 1999 | 29 | 1999 |
| Turning evil regexes harmless B Van Der Merwe, N Weideman, M Berglund Proceedings of the South African Institute of Computer Scientists and …, 2017 | 28 | 2017 |
| On the semantics of regular expression parsing in the wild M Berglund, B van der Merwe Theoretical Computer Science 679, 69-82, 2017 | 27 | 2017 |
| Ducci-sequences and cyclotomic polynomials F Breuer, E Lötter, B Van Der Merwe Finite Fields and Their Applications 13 (2), 293-304, 2007 | 24 | 2007 |
| Generation of library models for verification of android applications H van der Merwe, O Tkachuk, B van der Merwe, W Visser ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015 | 23 | 2015 |
| Regular Expressions with Backreferences Re-examined. M Berglund, B Van Der Merwe Stringology, 30-41, 2017 | 20 | 2017 |
| Re-examining regular expressions with backreferences M Berglund, B van der Merwe Theoretical Computer Science 940, 66-80, 2023 | 19 | 2023 |
| ICT-enabled solutions for smart management of water supply in Africa PJC Nel, MJ Booysen, B Van Der Merwe | 18 | 2014 |
| Investigating the Role of Prompting and External Tools in Hallucination Rates of Large Language Models L Barkley, B Van der Merwe arxiv.org, 2024 | 17 | 2024 |
| Saving on household electric water heating: What works best and by how much? PJC Nel, MJ Booysen, B van der Merwe IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia), 2017 | 17 | 2017 |
Martin BerglundUmeå UniversityVerified email at cs.umu.se
