Random context tree grammars and tree transducers. - Frank Drewes; Christine du Toit; Sigrid Ewert; Johanna Högberg; Brink van der Merwe; Andries P. J. van der Walt (South Afr. Comput. J., 2005)

Ducci-sequences and cyclotomic polynomials. - Florian Breuer; Ernest Lötter; Brink van der Merwe (Finite Fields Their Appl., 2007)

Path Languages of Random Permitting Context Tree Grammars are Regular. - Frank Drewes; Brink van der Merwe (Fundam. Informaticae, 2008)

Bag Context Tree Grammars. - Frank Drewes; Christine du Toit; Sigrid Ewert; Brink van der Merwe; Andries P. J. van der Walt (Fundam. Informaticae, 2008)

Reducing Nondeterministic Finite Automata with SAT Solvers. - Jaco Geldenhuys; Brink van der Merwe; Lynette van Zijl (FSMNLP, 2009)

Comparing leaf and root insertion. - Jaco Geldenhuys; Brink van der Merwe (South Afr. Comput. J., 2009)

The Near-Ring of Lipschitz Functions on a Metric Space. - Mark Farag; Brink van der Merwe (Int. J. Math. Math. Sci., 2010)

Incremental Construction of Millstream Configurations Using Graph Transformation. - Suna Bensch; Frank Drewes; Helmut Jürgensen; Brink van der Merwe (FSMNLP, 2011)

Ambiguity of Unary Symmetric Difference NFAs. - Brink van der Merwe; Lynette van Zijl; Jaco Geldenhuys (ICTAC, 2011)

Music Generation with Markov Models. - Brink van der Merwe; Walter Schulze (IEEE Multim., 2011)

Minimal DFA for Symmetric Difference NFA. - Brink van der Merwe; Hellis Tamm; Lynette van Zijl (DCFS, 2012)

Verifying android applications using Java PathFinder. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2012)

A Tree Transducer Model for Grammatical Error Correction. - Jan Buys; Brink van der Merwe (CoNLL Shared Task, 2013)

Cuts in Regular Expressions. - Martin Berglund; Henrik Björklund; Frank Drewes; Brink van der Merwe; Bruce W. Watson (Developments in Language Theory, 2013)

Counting Minimal Symmetric Difference NFAs. - Brink van der Merwe; Mark Farag; Jaco Geldenhuys (LATA, 2013)

Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. - Martin Berglund; Frank Drewes; Brink van der Merwe (AFL, 2014)

Execution and property specifications for JPF-android. - Heila van der Merwe; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2014)

Graph transformation for incremental natural language analysis. - Suna Bensch; Frank Drewes; Helmut Jürgensen; Brink van der Merwe (Theor. Comput. Sci., 2014)

Ambiguity and structural ambiguity of symmetric difference NFAs. - A. B. van der Merwe; Lynette van Zijl; Jaco Geldenhuys (Theor. Comput. Sci., 2014)

Using thermal transients at the outlet of electrical water heaters to recognise consumption patterns for heating schedule optimisation. - P. J. C. Nel; M. J. Thinus Booysen; Brink van der Merwe (NTMS, 2015)

N-Gram Representations For Comment Filtering. - Dirk Brand; Steve Kroon; Brink van der Merwe; Loek G. Cleophas (SAICSIT, 2015)

Electric Water Heater Energy Consumption Determination Using Outlet Temperature and Volumetric Estimation. - P. J. C. Nel; Marthinus J. Booysen; Brink van der Merwe (SSCI, 2015)

Generation of Library Models for Verification of Android Applications. - Heila van der Merwe; Oksana Tkachuk; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

Environment Modeling Using Runtime Values for JPF-Android. - Heila van der Merwe; Oksana Tkachuk; Sean Nel; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)

Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. - Nicolaas Weideman; Brink van der Merwe; Martin Berglund; Bruce W. Watson (CIAA, 2016)

StateComparator: Detecting Unbounded Variables Using JPF. - Heila Botha; Brink van der Merwe; Willem Visser; Oksana Tkachuk (ACM SIGSOFT Softw. Eng. Notes, 2016)

Smart electric water heaters: a system architecture proposal for scalable IoT. - A. H. Cloete; Marthinus J. Booysen; R. C. Sandell; A. B. van der Merwe (ICC, 2017)

Saving on household electric water heating: What works best and by how much? - P. J. C. Nel; Marthinus J. Booysen; Brink van der Merwe (ISGT Asia, 2017)

Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited. - Hellis Tamm; Brink van der Merwe (LATA, 2017)

Turning evil regexes harmless. - Brink van der Merwe; Nicolaas Weideman; Martin Berglund (SAICSIT, 2017)

Addressing challenges in obtaining high coverage when model checking Android applications. - Heila Botha; Oksana Tkachuk; Brink van der Merwe; Willem Visser (SPIN, 2017)

Regular Expressions with Backreferences Re-examined. - Martin Berglund; Brink van der Merwe (Stringology, 2017)

On the Semantics of Atomic Subgroups in Practical Regular Expressions. - Martin Berglund; Brink van der Merwe; Bruce W. Watson; Nicolaas Weideman (CIAA, 2017)

Tight Bounds for Cut-Operations on Deterministic Finite Automata. - Frank Drewes; Markus Holzer 001; Sebastian Jakobi; Brink van der Merwe (Fundam. Informaticae, 2017)

On the semantics of regular expression parsing in the wild. - Martin Berglund; Brink van der Merwe (Theor. Comput. Sci., 2017)

Formalising Boost POSIX Regular Expression Matching. - Martin Berglund; Willem Bester; Brink van der Merwe (ICTAC, 2018)

On regular expressions with backreferences and transducers. - Martin Berglund; Frank Drewes; Brink van der Merwe (NCMA, 2018)

The Output Size Problem for String-to-Tree Transducers. - Martin Berglund; Frank Drewes; Brink van der Merwe (J. Autom. Lang. Comb., 2018)

Learning Concept Embeddings from Temporal Data. - Francois Meyer; Brink van der Merwe; Dirko Coetsee (J. Univers. Comput. Sci., 2018)

A Computationally Inexpensive Energy Model for Horizontal Electric Water Heaters With Scheduling. - P. J. C. Nel; Marthinus J. Booysen; Brink van der Merwe (IEEE Trans. Smart Grid, 2018)

Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. - Alexander Leid; Brink van der Merwe; Willem Visser (SAICSIT, 2020)

Suitability of Graph Database Technology for the Analysis of Spatio-Temporal Data. - Sedick Baker Effendi; Brink van der Merwe; Wolf-Tilo Balke (Future Internet, 2020)

Memoized Regular Expressions. - Brink van der Merwe; Jacobie Mouton; Steyn van Litsenborgh; Martin Berglund (CIAA, 2021)

Regular Expressions with Lookahead. - Martin Berglund; Brink van der Merwe; Steyn van Litsenborgh (J. Univers. Comput. Sci., 2021)

Formalising and implementing Boost POSIX regular expression matching. - Martin Berglund; Willem Bester; Brink van der Merwe (Theor. Comput. Sci., 2021)

Ordered Context-Free Grammars. - Brink van der Merwe; Martin Berglund (CIAA, 2022)

Making Superhuman AI More Human in Chess. - Daniel Barrish; Steve Kroon; Brink van der Merwe (ACG, 2023)

Learning Type Inference for Enhanced Dataflow Analysis. - Lukas Seidel; Sedick David Baker Effendi; Xavier Pinho; Konrad Rieck; Brink van der Merwe; Fabian Yamaguchi (ESORICS (4), 2023)

Formalizing BPE Tokenization. - Martin Berglund; Brink van der Merwe (NCMA, 2023)

Ordered Context-Free Grammars Revisited. - Brink van der Merwe (NCMA, 2023)

Re-examining regular expressions with backreferences. - Martin Berglund; Brink van der Merwe (Theor. Comput. Sci., 2023)

Automatic assignment of diagnosis codes to free-form text medical note. - Stefan Strydom; Andrei Michael Dreyer; Brink van der Merwe (J. Univers. Comput. Sci., 2023)

Constructing a BPE Tokenization DFA. - Martin Berglund; Willeke Martens; Brink van der Merwe (CIAA, 2024)

Benchmarking Regular Expression Matching. - Alexander Roodt; Brendan Keith Mark Watling; Willem Bester; Brink van der Merwe; Sicheol Sung; Yo-Sub Han (CIAA, 2024)

Investigating the Role of Prompting and External Tools in Hallucination Rates of Large Language Models. - Liam Barkley; Brink van der Merwe (CoRR, 2024)

Constructing Compact BPE Token DFAs. - Martin Berglund; Anna Jonsson; Willeke Martens; Brink van der Merwe (CIAA, 2025)