Brink van der Merwe
Brink van der Merwe
Computer Science Division, Stellenbosch University
Verified email at - Homepage
Cited by
Cited by
Music generation with Markov models
W Schulze, B Van Der Merwe
IEEE MultiMedia 18 (03), 78-85, 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
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
Analyzing matching time behavior of backtracking regular expression matchers by using ambiguity of NFA
N Weideman, B Van Der Merwe, M Berglund, B Watson
Implementation and Application of Automata: 21st International Conference …, 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
Analyzing catastrophic backtracking behavior in practical regular expression matching
M Berglund, F Drewes, B Van Der Merwe
arXiv preprint arXiv:1405.5599, 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
Unique addition modules
B Van der Merwe
Communications in algebra 27 (9), 4103-4115, 1999
Reducing nondeterministic finite automata with SAT solvers
J Geldenhuys, B Van Der Merwe, L Van Zijl
Finite-State Methods and Natural Language Processing: 8th International …, 2010
Turning evil regexes harmless
B Van Der Merwe, N Weideman, M Berglund
Proceedings of the South African Institute of Computer Scientists and …, 2017
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
Ducci-sequences and cyclotomic polynomials
F Breuer, E Lötter, B Van Der Merwe
Finite Fields and Their Applications 13 (2), 293-304, 2007
Regular Expressions with Backreferences Re-examined.
M Berglund, B Van Der Merwe
Stringology, 30-41, 2017
ICT-enabled solutions for smart management of water supply in Africa
PJC Nel, MJ Booysen, B Van Der Merwe
Regular Expressions with Lookahead
M Berglund, B van der Merwe, S van Litsenborgh
Journal of Universal Computer Science 27 (4), 324-340, 2021
Chorale harmonization with weighted finite-state transducers
J Buys, B van der Merwe
Twenty-Third Annual Symposium of the Pattern Recognition Association of …, 2012
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
An algorithmic version of the theorem by Latimer and MacDuffee for 2× 2 integral matrices
A Behn, AB Van der Merwe
Linear algebra and its applications 346 (1-3), 1-14, 2002
Cuts in regular expressions
M Berglund, H Björklund, F Drewes, B Van Der Merwe, B Watson
Developments in Language Theory: 17th International Conference, DLT 2013 …, 2013
The minimum number of idempotent generators of an upper triangular matrix algebra
AV Kelarev, AB Van der Merwe, L Van Wyk
Journal of Algebra 205 (2), 605-616, 1998
The system can't perform the operation now. Try again later.
Articles 1–20