Brink van der Merwe

60 papers C 15Misc 1Journal 27Unranked 17

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