Brink van der Merwe

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 36

Top Topics

Regular Expressions

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Theor. Comput. Sci.

Publications

Martin Berglund, Willeke Martens, Brink van der Merwe
Constructing a BPE Tokenization DFA. CoRR (2024)
Daniel Barrish, Steve Kroon, Brink van der Merwe
Making Superhuman AI More Human in Chess. ACG (2023)
Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho, Konrad Rieck, Brink van der Merwe, Fabian Yamaguchi
Learning Type Inference for Enhanced Dataflow Analysis. ESORICS (4) (2023)
Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho, Konrad Rieck, Brink van der Merwe, Fabian Yamaguchi
Learning Type Inference for Enhanced Dataflow Analysis. CoRR (2023)
Brink van der Merwe
Ordered Context-Free Grammars Revisited. NCMA (2023)
Stefan Strydom, Andrei Michael Dreyer, Brink van der Merwe
Automatic assignment of diagnosis codes to free-form text medical note. J. Univers. Comput. Sci. 29 (4) (2023)
Martin Berglund, Brink van der Merwe
Re-examining regular expressions with backreferences. Theor. Comput. Sci. 940 (Part) (2023)
Martin Berglund, Brink van der Merwe
Formalizing BPE Tokenization. NCMA (2023)
Brink van der Merwe, Martin Berglund
Ordered Context-Free Grammars. CIAA (2022)
Martin Berglund, Willem Bester, Brink van der Merwe
Formalising and implementing Boost POSIX regular expression matching. Theor. Comput. Sci. 857 (2021)
Martin Berglund, Brink van der Merwe, Steyn van Litsenborgh
Regular Expressions with Lookahead. J. Univers. Comput. Sci. 27 (1) (2021)
Brink van der Merwe, Jacobie Mouton, Steyn van Litsenborgh, Martin Berglund
Memoized Regular Expressions. CIAA (2021)
Sedick Baker Effendi, Brink van der Merwe, Wolf-Tilo Balke
Suitability of Graph Database Technology for the Analysis of Spatio-Temporal Data. Future Internet 12 (5) (2020)
Alexander Leid, Brink van der Merwe, Willem Visser
Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. SAICSIT (2020)
Martin Berglund, Frank Drewes, Brink van der Merwe
On regular expressions with backreferences and transducers. NCMA (2018)
Martin Berglund, Frank Drewes, Brink van der Merwe
The Output Size Problem for String-to-Tree Transducers. J. Autom. Lang. Comb. 23 (1-3) (2018)
Francois Meyer, Brink van der Merwe, Dirko Coetsee
Learning Concept Embeddings from Temporal Data. J. Univers. Comput. Sci. 24 (10) (2018)
Martin Berglund, Willem Bester, Brink van der Merwe
Formalising Boost POSIX Regular Expression Matching. ICTAC (2018)
P. J. C. Nel, Marthinus J. Booysen, Brink van der Merwe
A Computationally Inexpensive Energy Model for Horizontal Electric Water Heaters With Scheduling. IEEE Trans. Smart Grid 9 (1) (2018)
Martin Berglund, Brink van der Merwe
Regular Expressions with Backreferences Re-examined. Stringology (2017)
Brink van der Merwe, Nicolaas Weideman, Martin Berglund
Turning evil regexes harmless. SAICSIT (2017)
Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman
On the Semantics of Atomic Subgroups in Practical Regular Expressions. CIAA (2017)
Martin Berglund, Brink van der Merwe
On the semantics of regular expression parsing in the wild. Theor. Comput. Sci. 679 (2017)
Hellis Tamm, Brink van der Merwe
Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited. LATA (2017)
P. J. C. Nel, Marthinus J. Booysen, Brink van der Merwe
Saving on household electric water heating: What works best and by how much? ISGT Asia (2017)
Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe
Tight Bounds for Cut-Operations on Deterministic Finite Automata. Fundam. Informaticae 155 (1-2) (2017)
Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Addressing challenges in obtaining high coverage when model checking Android applications. SPIN (2017)
Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk
StateComparator: Detecting Unbounded Variables Using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Nicolaas Weideman, Brink van der Merwe, Martin Berglund, Bruce W. Watson
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA. CIAA (2016)
P. J. C. Nel, M. J. Thinus Booysen, Brink van der Merwe
Using thermal transients at the outlet of electrical water heaters to recognise consumption patterns for heating schedule optimisation. NTMS (2015)
Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe
Tight Bounds for Cut-Operations on Deterministic Finite Automata. MCU (2015)
P. J. C. Nel, Marthinus J. Booysen, Brink van der Merwe
Electric Water Heater Energy Consumption Determination Using Outlet Temperature and Volumetric Estimation. SSCI (2015)
Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser
Environment Modeling Using Runtime Values for JPF-Android. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Martin Berglund, Brink van der Merwe
On the Semantics of Regular Expression Parsing in the Wild. CIAA (2015)
Dirk Brand, Steve Kroon, Brink van der Merwe, Loek G. Cleophas
N-Gram Representations For Comment Filtering. SAICSIT (2015)
Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser
Generation of Library Models for Verification of Android Applications. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Heila van der Merwe, Brink van der Merwe, Willem Visser
Execution and property specifications for JPF-android. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Suna Bensch, Frank Drewes, Helmut Jürgensen, Brink van der Merwe
Graph transformation for incremental natural language analysis. Theor. Comput. Sci. 531 (2014)
Martin Berglund, Frank Drewes, Brink van der Merwe
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. AFL (2014)
Jan Buys, Brink van der Merwe
A Tree Transducer Model for Grammatical Error Correction. CoNLL Shared Task (2013)
Brink van der Merwe, Mark Farag, Jaco Geldenhuys
Counting Minimal Symmetric Difference NFAs. LATA (2013)
Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce W. Watson
Cuts in Regular Expressions. Developments in Language Theory (2013)
Heila van der Merwe, Brink van der Merwe, Willem Visser
Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Brink van der Merwe, Hellis Tamm, Lynette van Zijl
Minimal DFA for Symmetric Difference NFA. DCFS (2012)
Suna Bensch, Frank Drewes, Helmut Jürgensen, Brink van der Merwe
Incremental Construction of Millstream Configurations Using Graph Transformation. FSMNLP (2011)
Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys
Ambiguity of Unary Symmetric Difference NFAs. ICTAC (2011)
Brink van der Merwe, Walter Schulze
Music Generation with Markov Models. IEEE Multim. 18 (3) (2011)
Mark Farag, Brink van der Merwe
The Near-Ring of Lipschitz Functions on a Metric Space. Int. J. Math. Math. Sci. 2010 (2010)
Jaco Geldenhuys, Brink van der Merwe
Comparing leaf and root insertion. South Afr. Comput. J. 44 (2009)
Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl
Reducing Nondeterministic Finite Automata with SAT Solvers. FSMNLP (2009)
Frank Drewes, Christine du Toit, Sigrid Ewert, Brink van der Merwe, Andries P. J. van der Walt
Bag Context Tree Grammars. Fundam. Informaticae 86 (4) (2008)
Frank Drewes, Brink van der Merwe
Path Languages of Random Permitting Context Tree Grammars are Regular. Fundam. Informaticae 82 (1-2) (2008)
Florian Breuer, Ernest Lötter, Brink van der Merwe
Ducci-sequences and cyclotomic polynomials. Finite Fields Their Appl. 13 (2) (2007)
Frank Drewes, Christine du Toit, Sigrid Ewert, Brink van der Merwe, Andries P. J. van der Walt
Bag Context Tree Grammars. Developments in Language Theory (2006)
Frank Drewes, Christine du Toit, Sigrid Ewert, Johanna Högberg, Brink van der Merwe, Andries P. J. van der Walt
Random context tree grammars and tree transducers. South Afr. Comput. J. 34 (2005)