Search for persons
X
?
Lecture Notes in Computer Science; Advances in Computer Games ,
1
Making Superhuman AI More Human in Chess:
, In:
?
Computer Security – ESORICS 2023; Lecture Notes in Computer Science ,
2
Learning Type Inference for Enhanced Dataflow Analysis:
, In:
?
Implementation and Application of Automata; Lecture Notes in Computer Science ,
5
Ordered Context-Free Grammars:
, In:
?
Implementation and Application of Automata; Lecture Notes in Computer Science ,
8
Memoized Regular Expressions:
, In:
?
Conference of the South African Institute of Computer Scientists and Information Technologists 2020 ,
10
Testing Ethereum Smart Contracts: A Comparison of Symbolic ..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science ,
11
Formalising Boost POSIX Regular Expression Matching:
, In:
?
Proceedings of the South African Institute of Computer Scientists and Information Technologists ,
12
Turning evil regexes harmless:
, In:
?
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software ,
15