E-LIB Suche - Ergebnisse für: van der Merwe, Brink

1

Making Superhuman AI More Human in Chess:

, In: Lecture Notes in Computer Science; Advances in Computer Games,

Barrish, Daniel ; Kroon, Steve ; van der Merwe, Brink - p. 3-14 , 2024

Link: https://doi.org/10.1007/..

2

Learning Type Inference for Enhanced Dataflow Analysis:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,

Seidel, Lukas ; Baker Effendi, Sedick David ; Pinho, Xavier... - p. 184-203 , 2024

Link: https://doi.org/10.1007/..

3

Automatic assignment of diagnosis codes to free-form text m..:

Strydom, Stefan ; Dreyer, Andrei Michael ; van der Merwe, Brink
JUCS - Journal of Universal Computer Science. 29 (2023) 4 - p. 349-373 , 2023

Link: https://doi.org/10.3897/..

4

Re-examining regular expressions with backreferences:

Berglund, Martin ; van der Merwe, Brink
Theoretical Computer Science. 940 (2023) - p. 66-80 , 2023

Link: https://doi.org/10.1016/..

5

Ordered Context-Free Grammars:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

van der Merwe, Brink ; Berglund, Martin - p. 53-66 , 2022

Link: https://doi.org/10.1007/..

6

Regular Expressions with Lookahead:

Berglund, Martin ; van der Merwe, Brink ; van Litsenborgh, Steyn
JUCS - Journal of Universal Computer Science. 27 (2021) 4 - p. 324-340 , 2021

Link: https://doi.org/10.3897/..

7

Formalising and implementing Boost POSIX regular expression..:

Berglund, Martin ; Bester, Willem ; van der Merwe, Brink
Theoretical Computer Science. 857 (2021) - p. 147-165 , 2021

Link: https://doi.org/10.1016/..

8

Memoized Regular Expressions:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

van der Merwe, Brink ; Mouton, Jacobie ; van Litsenborgh, Steyn. - p. 39-52 , 2021

Link: https://doi.org/10.1007/..

9

Suitability of Graph Database Technology for the Analysis o..:

Baker Effendi, Sedick ; van der Merwe, Brink ; Balke, Wolf-Tilo
Future Internet. 12 (2020) 5 - p. 78 , 2020

Link: https://doi.org/10.3390/..

10

Testing Ethereum Smart Contracts: A Comparison of Symbolic ..:

, In: Conference of the South African Institute of Computer Scientists and Information Technologists 2020,

Leid, Alexander ; van der Merwe, Brink ; Visser, Willem - p. 35-43 , 2020

Link: https://dl.acm.org/doi/1..

11

Formalising Boost POSIX Regular Expression Matching:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,

Berglund, Martin ; Bester, Willem ; van der Merwe, Brink - p. 99-115 , 2018

Link: https://doi.org/10.1007/..

12

Turning evil regexes harmless:

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

van der Merwe, Brink ; Weideman, Nicolaas ; Berglund, Martin - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

13

StateComparator : Detecting Unbounded Variables Using JP:

Botha, Heila ; van der Merwe, Brink ; Visser, Willem.
ACM SIGSOFT Software Engineering Notes. 41 (2017) 6 - p. 1-5 , 2017

Link: https://dl.acm.org/doi/1..

14

On the semantics of regular expression parsing in the wild:

Berglund, Martin ; van der Merwe, Brink
Theoretical Computer Science. 679 (2017) - p. 69-82 , 2017

Link: https://doi.org/10.1016/..

15

Addressing challenges in obtaining high coverage when model..:

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

Botha, Heila ; Tkachuk, Oksana ; Merwe, Brink van der. - p. 31-40 , 2017

Link: https://dl.acm.org/doi/1..