Incremental construction of minimal acyclic finite-state automata J Daciuk, S Mihov, BW Watson, RE Watson Computational linguistics 26 (1), 3-16, 2000 | 268 | 2000 |
Taxonomies and toolkits of regular language algorithms BW Watson | 244 | 1995 |
Prevalence of symptoms, comorbidities, fibrin amyloid microclots and platelet pathology in individuals with Long COVID/Post-Acute Sequelae of COVID-19 (PASC) E Pretorius, C Venter, GJ Laubscher, MJ Kotze, SO Oladejo, LR Watson, ... Cardiovascular diabetology 21 (1), 148, 2022 | 165 | 2022 |
A taxonomy of finite automata minimization algorithms BW Watson Technische Universiteit Eindhoven, 1993 | 128 | 1993 |
The Correctness-by-Construction Approach to Programming DG Kourie, BW Watson Springer, 2012 | 100 | 2012 |
A taxonomy of finite automata construction algorithms BW Watson Technische Universiteit Eindhoven, 1993 | 97 | 1993 |
Analytics scripting systems and methods A Basu, FJ Venter, BW Watson US Patent 9,031,889, 2015 | 91 | 2015 |
Implementing and using finite automata toolkits BW Watson Natural Language Engineering 2 (4), 295-302, 1996 | 70 | 1996 |
Standards and agile software development WHM Theunissen, DG Kourie, BW Watson Proceedings of SAICSIT 30 (3), 178-188, 2003 | 69 | 2003 |
An incremental algorithm to construct a lattice of set intersections DG Kourie, S Obiedkov, BW Watson, D Van Der Merwe Science of Computer Programming 74 (3), 128-142, 2009 | 66 | 2009 |
An efficient incremental DFA minimization algorithm BW Watson, J Daciuk Natural Language Engineering 9 (1), 49-64, 2003 | 65 | 2003 |
Incremental construction of minimal acyclic finite state automata and transducers J Daciuk, BW Watson, RE Watson Finite State Methods in Natural Language Processing, 1998 | 64 | 1998 |
Challenges and Automata Applications in Chip-Design Software B Watson Jul 16, 38-40, 2007 | 63 | 2007 |
Analyzing matching time behavior of backtracking regular expression matchers by using ambiguity of NFA N Weideman, B Van Der Merwe, M Berglund, B Watson Implementation and Application of Automata: 21st International Conference …, 2016 | 53 | 2016 |
A taxonomy of sublinear multiple keyword pattern matching algorithms BW Watson, G Zwaan Science of Computer Programming 27 (2), 85-118, 1996 | 51 | 1996 |
The performance of single-keyword and multiple-keyword pattern matching algorithms BW Watson Technische Universiteit Eindhoven, 1994 | 46 | 1994 |
A new algorithm for the construction of minimal acyclic DFAs BW Watson Science of Computer Programming 48 (2-3), 81-97, 2003 | 40 | 2003 |
A taxonomy of keyword pattern matching algorithms BW Watson, G Zwaan Technische Universiteit Eindhoven, 1992 | 35 | 1992 |
Constructing minimal acyclic deterministic finite automata BW Watson PQDT-Global, 2010 | 33 | 2010 |
Tool support for correctness-by-construction T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 31 | 2019 |