Brink Van Der Merwe
Brink Van Der Merwe
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage
TitleCited byYear
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
672012
Music generation with Markov models
W Schulze, B Van Der Merwe
IEEE MultiMedia, 78-85, 2010
57*2010
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
372014
Unique addition modules
B Der Merwe
Communications in algebra 27 (9), 4103-4115, 1999
291999
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
282016
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
242016
Analyzing catastrophic backtracking behavior in practical regular expression matching
M Berglund, F Drewes, B Van Der Merwe
arXiv preprint arXiv:1405.5599, 2014
212014
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
202015
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
182016
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
182009
Ducci-sequences and cyclotomic polynomials
F Breuer, E Lötter, B Van Der Merwe
Finite Fields and Their Applications 13 (2), 293-304, 2007
172007
ICT-enabled solutions for smart management of water supply in Africa
PJC Nel, MJ Booysen, B Van Der Merwe
142014
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
132002
Chorale harmonization with weighted finite-state transducers
J Buys, B van der Merwe
Twenty-Third Annual Symposium of the Pattern Recognition Association of …, 2012
122012
Graph transformation for incremental natural language analysis
S Bensch, F Drewes, H Jürgensen, B van der Merwe
Theoretical Computer Science 531, 1-25, 2014
102014
Cuts in regular expressions
M Berglund, H Björklund, F Drewes, B van der Merwe, B Watson
International Conference on Developments in Language Theory, 70-81, 2013
102013
A tree transducer model for grammatical error correction
J Buys, B Van Der Merwe
Proceedings of the Seventeenth Conference on Computational Natural Language …, 2013
92013
On the semantics of regular expression parsing in the wild
M Berglund, B van der Merwe
International Conference on Implementation and Application of Automata, 292-304, 2015
82015
Random context tree grammars and tree transducers: reviewed article
F Drewes, C Du Toit, S Ewert, J Hogberg, B Van der Merwe, ...
South African Computer Journal 2005 (34), 11-25, 2005
82005
Comment classification for an online news domain
D Brand, B Van Der Merwe
72014
The system can't perform the operation now. Try again later.
Articles 1–20