5 papers:
ICPR-2008-Wang #algorithm #string- A new method to obtain the shift-table in Boyer-Moore’s string matching algorithm (YW), pp. 1–4.
CIAA-2007-KleinB07a- Accelerating Boyer Moore Searches on Binary Texts (STK, MBN), pp. 130–143.
CADE-1988-Kaufmann #interactive #proving #theorem proving- An Interactive Enhancement to the Boyer-Moore Theorem Prover (MK), pp. 735–736.
- CADE-1980-Gloess #correctness #empirical #parsing #proving #theorem proving
- An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions (PYG), pp. 154–169.
ICALP-1978-Galil #algorithm #on the #string- On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.
