Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm
Theoretical Computer Science
Speeding Up Pattern Matching by Text Compression
CIAC '00 Proceedings of the 4th Italian Conference on Algorithms and Complexity
A new regular grammar pattern matching algorithm
Theoretical Computer Science
A Boyer--Moore-style algorithm for regular expression pattern matching
Science of Computer Programming
SPARE parts: a C++ toolkit for string pattern recognition
Software—Practice & Experience
TABASCO: a taxonomy-based domain engineering method
SAICSIT '05 Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
A complete mechanization of correctness of a string-preprocessing algorithm
Formal Methods in System Design
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithms
Science of Computer Programming
A taxonomy of some right-to-left string-matching algorithms
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Hi-index | 0.00 |