Brink van der Merwe

According to our database, Brink van der Merwe authored at least 52 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., April, 2023

Re-examining regular expressions with backreferences.

Martin Berglund, Brink van der Merwe

Theor. Comput. Sci., 2023

Ordered Context-Free Grammars Revisited.

Brink van der Merwe

Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, 2023

Formalizing BPE Tokenization.

Martin Berglund, Brink van der Merwe

Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, 2023

Learning Type Inference for Enhanced Dataflow Analysis.

Lukas Seidel, Sedick David Baker Effendi, Xavier Pinho, Konrad Rieck, Brink van der Merwe, Fabian Yamaguchi

Proceedings of the Computer Security - ESORICS 2023, 2023

Making Superhuman AI More Human in Chess.

Daniel Barrish, Steve Kroon, Brink van der Merwe

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

Ordered Context-Free Grammars.

Brink van der Merwe, Martin Berglund

Proceedings of the Implementation and Application of Automata, 2022

2021

Formalising and implementing Boost POSIX regular expression matching.

Martin Berglund, Willem Bester, Brink van der Merwe

Theor. Comput. Sci., 2021

Regular Expressions with Lookahead.

Martin Berglund, Brink van der Merwe, Steyn van Litsenborgh

J. Univers. Comput. Sci., 2021

Memoized Regular Expressions.

Brink van der Merwe, Jacobie Mouton, Steyn van Litsenborgh, Martin Berglund

Proceedings of the Implementation and Application of Automata, 2021

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

Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools.

Alexander Leid, Brink van der Merwe, Willem Visser

Proceedings of the SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020

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

Learning Concept Embeddings from Temporal Data.

Francois Meyer, Brink van der Merwe, Dirko Coetsee

J. Univers. Comput. Sci., 2018

The Output Size Problem for String-to-Tree Transducers.

Martin Berglund, Frank Drewes, Brink van der Merwe

J. Autom. Lang. Comb., 2018

On regular expressions with backreferences and transducers.

Martin Berglund, Frank Drewes, Brink van der Merwe

Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018

Formalising Boost POSIX Regular Expression Matching.

Martin Berglund, Willem Bester, Brink van der Merwe

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

On the semantics of regular expression parsing in the wild.

Martin Berglund, Brink van der Merwe

Theor. Comput. Sci., 2017

Tight Bounds for Cut-Operations on Deterministic Finite Automata.

Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe

Fundam. Informaticae, 2017

On the Semantics of Atomic Subgroups in Practical Regular Expressions.

Martin Berglund, Brink van der Merwe, Bruce W. Watson, Nicolaas Weideman

Proceedings of the Implementation and Application of Automata, 2017

Regular Expressions with Backreferences Re-examined.

Martin Berglund, Brink van der Merwe

Proceedings of the Prague Stringology Conference 2017, 2017

Addressing challenges in obtaining high coverage when model checking Android applications.

Heila Botha, Oksana Tkachuk, Brink van der Merwe, Willem Visser

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Turning evil regexes harmless.

Brink van der Merwe, Nicolaas Weideman, Martin Berglund

Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited.

Hellis Tamm, Brink van der Merwe

Proceedings of the Language and Automata Theory and Applications, 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

Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

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

Proceedings of the Second International Conference on Internet of things and Cloud Computing, 2017

2016

StateComparator: Detecting Unbounded Variables Using JPF.

Heila Botha, Brink van der Merwe, Willem Visser, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2016

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

Proceedings of the Implementation and Application of Automata, 2016

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

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

Electric Water Heater Energy Consumption Determination Using Outlet Temperature and Volumetric Estimation.

P. J. C. Nel, Marthinus J. Booysen, Brink van der Merwe

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

N-Gram Representations For Comment Filtering.

Dirk Brand, Steve Kroon, Brink van der Merwe, Loek G. Cleophas

Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

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

Proceedings of the 7th International Conference on New Technologies, Mobility and Security, 2015

2014

Ambiguity and structural ambiguity of symmetric difference NFAs.

A. B. van der Merwe, Lynette van Zijl, Jaco Geldenhuys

Theor. Comput. Sci., 2014

Graph transformation for incremental natural language analysis.

Suna Bensch, Frank Drewes, Helmut Jürgensen, Brink van der Merwe

Theor. Comput. Sci., 2014

Execution and property specifications for JPF-android.

Heila van der Merwe, Brink van der Merwe, Willem Visser

ACM SIGSOFT Softw. Eng. Notes, 2014

Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching.

Martin Berglund, Frank Drewes, Brink van der Merwe

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

2013

Counting Minimal Symmetric Difference NFAs.

Brink van der Merwe, Mark Farag, Jaco Geldenhuys

Proceedings of the Language and Automata Theory and Applications, 2013

Cuts in Regular Expressions.

Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce W. Watson

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

A Tree Transducer Model for Grammatical Error Correction.

Jan Buys, Brink van der Merwe

Proceedings of the Seventeenth Conference on Computational Natural Language Learning: Shared Task, 2013

2012

Verifying android applications using Java PathFinder.

Heila van der Merwe, Brink van der Merwe, Willem Visser

ACM SIGSOFT Softw. Eng. Notes, 2012

Minimal DFA for Symmetric Difference NFA.

Brink van der Merwe, Hellis Tamm, Lynette van Zijl

Proceedings of the Descriptional Complexity of Formal Systems, 2012

2011

Music Generation with Markov Models.

Brink van der Merwe, Walter Schulze

IEEE Multim., 2011

Ambiguity of Unary Symmetric Difference NFAs.

Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Incremental Construction of Millstream Configurations Using Graph Transformation.

Suna Bensch, Frank Drewes, Helmut Jürgensen, Brink van der Merwe

Proceedings of the Finite-State Methods and Natural Language Processing, 2011

2010

The Near-Ring of Lipschitz Functions on a Metric Space.

Mark Farag, Brink van der Merwe

Int. J. Math. Math. Sci., 2010

2009

Comparing leaf and root insertion.

Jaco Geldenhuys, Brink van der Merwe

South Afr. Comput. J., 2009

Reducing Nondeterministic Finite Automata with SAT Solvers.

Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl

Proceedings of the Finite-State Methods and Natural Language Processing, 2009

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

Path Languages of Random Permitting Context Tree Grammars are Regular.

Frank Drewes, Brink van der Merwe

Fundam. Informaticae, 2008

2007

Ducci-sequences and cyclotomic polynomials.

Florian Breuer, Ernest Lötter, Brink van der Merwe

Finite Fields Their Appl., 2007

2005

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