Brink van der Merwe

Cited by

	All	Since 2016
Citations	637	451
h-index	13	10
i10-index	19	13

120

20052006200720082009201020112012201320142015201620172018201920208 5 2 11 2 3 10 14 28 33 46 70 109 97 96 73

Co-authors

Frank DrewesDepartment of Computing Science, Umeå UniversityVerified email at cs.umu.se
Martin BerglundUniversität der Bundeswehr MünchenVerified email at cs.umu.se
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Heila (van der Merwe) BothaComputer Science Division, Stellenbosch University, South AfricaVerified email at cs.sun.ac.za
MJ (Thinus) BooysenStellenbosch UniversityVerified email at sun.ac.za
Nicolaas WeidemanVerified email at usc.edu
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Lynette van ZijlProfessor, Computer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Bruce W. WatsonProfessor of Informatics, Stellenbosch UniversityVerified email at fastar.org
Walter SchulzeComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Jan BuysUniversity of Cape TownVerified email at cs.uct.ac.za
Florian BreuerUniversity of Newcastle, AustraliaVerified email at newcastle.edu.au
Hellis TammTallinn University of TechnologyVerified email at cs.ioc.ee
Antonio Francisco Behn Von SchmiedenDepartamento de Matemática, Facultad de Ciencias, Universidad de ChileVerified email at u.uchile.cl
Henrik BjörklundDepartment of computing science, Umeå universityVerified email at cs.umu.se
Andrei KelarevUniversity of NewcastleVerified email at newcastle.edu.au
Steve KroonComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Loek CleophasTU Eindhoven and Stellenbosch UniversityVerified email at acm.org
Francois MeyerAI Master's student, University of AmsterdamVerified email at student.uva.nl

Brink van der Merwe

Computer Science Division, Stellenbosch University

Verified email at cs.sun.ac.za - Homepage

Automata theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	75	2012
Music generation with Markov models W Schulze, B Van Der Merwe IEEE MultiMedia, 78-85, 2010	72*	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	41	2014
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	32	2016
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	31	2016
Unique addition modules B Der Merwe Communications in algebra 27 (9), 4103-4115, 1999	29	1999
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	27	2016
Analyzing catastrophic backtracking behavior in practical regular expression matching M Berglund, F Drewes, B Van Der Merwe arXiv preprint arXiv:1405.5599, 2014	27	2014
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	22	2015
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	22	2009
Ducci-sequences and cyclotomic polynomials F Breuer, E Lötter, B Van Der Merwe Finite Fields and Their Applications 13 (2), 293-304, 2007	18	2007
ICT-enabled solutions for smart management of water supply in Africa PJC Nel, MJ Booysen, B Van Der Merwe	14	2014
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	13	2002
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	12	2013
Chorale harmonization with weighted finite-state transducers J Buys, B van der Merwe Twenty-Third Annual Symposium of the Pattern Recognition Association of …, 2012	12	2012
Turning evil regexes harmless B Van Der Merwe, N Weideman, M Berglund Proceedings of the South African Institute of Computer Scientists and …, 2017	10	2017
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	10	2015
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	10	2014
A tree transducer model for grammatical error correction J Buys, B Van Der Merwe Proceedings of the Seventeenth Conference on Computational Natural Language …, 2013	10	2013
Bag context tree grammars F Drewes, C du Toit, S Ewert, B van der Merwe, APJ van der Walt International Conference on Developments in Language Theory, 226-237, 2006	8	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors