### 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.