|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 67 keywords
|
|
|
Results
Found 132 publication records. Showing 132 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | William R. Bevier |
Kit: A Study in Operating System Verification. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit |
114 | William R. Bevier, Jørgen F. Søgaard-Andersen |
Mechanically Checked Proofs of Kernel Specification. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
mechanical proof checking, Boyer-Moore Theorem Prover, Kernel, labeled transition systems, safety properties, stepwise development |
104 | David M. Goldschlag |
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity |
104 | Sun Yong-qiang, Lu Ru-zhan, Bi Hua |
Program synthesis based on Boyer-Moore theorem proving techniques. |
ACM Conference on Computer Science |
1985 |
DBLP DOI BibTeX RDF |
Boyer-Moore technique, program sysnthesis, theorem proving, resolution |
95 | Yuebin Bai, Hidetsune Kobayashi |
New String Matching Technology for Network Security. |
AINA |
2003 |
DBLP DOI BibTeX RDF |
|
95 | Bruce W. Watson |
A New Regular Grammar Pattern Matching Algorithm. |
ESA |
1996 |
DBLP DOI BibTeX RDF |
|
90 | Han Kesong, Yongcheng Wang, Guilin Chen |
Research on a faster algorithm for pattern matching. |
IRAL |
2000 |
DBLP DOI BibTeX RDF |
Boyer-Moore algorithm, quick search algorithm, pattern matching, time complexity |
86 | Yang Wang |
A new method to obtain the shift-table in Boyer-Moore's string matching algorithm. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Domenico Cantone, Simone Faro |
Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm. |
WEA |
2003 |
DBLP DOI BibTeX RDF |
string matching, text processing, experimental algorithms |
86 | Tim Bell 0001, Matt Powell, Amar Mukherjee, Donald A. Adjeroh |
Searching BWT Compressed Text with the Boyer-Moore Algorithm and Binary Search. |
DCC |
2002 |
DBLP DOI BibTeX RDF |
|
86 | Jorma Tarhio, Esko Ukkonen |
Boyer-Moore Approach to Approximate String Matching (Extended Abstract). |
SWAT |
1990 |
DBLP DOI BibTeX RDF |
|
86 | Alexandre Bronstein, Carolyn L. Talcott |
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
81 | Shmuel Tomi Klein, Miri Ben-Nissan |
Accelerating Boyer Moore Searches on Binary Texts. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
Boyer-Moore, BDM, binary texts, compressed matching, pattern matching |
71 | Yang Wang |
Effects of Suffix Repetition Rates of a String on the Performance of String Matching Algorithms. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
71 | Lei Chen, Shiyong Lu, Jeffrey L. Ram |
Compressed Pattern Matching in DNA Sequences. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Richard S. Bird |
Polymorphic string matching. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation |
66 | Yoshihiko Futamura, Zenjiro Konishi, Robert Glück |
Automatic generation of efficient string matching algorithms by generalized partial computation. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
Boyer-Moore pattern matcher, Knuth-Morris-Pratt pattern matcher, naive pattern matcher, automatic program generation |
66 | Sergio Antoy, John D. Gannon |
Using Term Rewriting to Verify Software. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction |
66 | Robert S. Boyer, Yuan Yu |
Automated Correctness Proofs of Machine Code Programs for a Commercial Microprocessor. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
Nqthm, Boyer-Moore Theorem Prover, Gnu, Ada, C, Automated reasoning, object code, formal program verification |
62 | Petri Kalsi, Leena Salmela, Jorma Tarhio |
Tuning Approximate Boyer-Moore for Gene Sequences. |
SPIRE |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Milos Besta, Frank A. Stomp |
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
|
62 | Gonzalo Navarro 0001, Jorma Tarhio |
Boyer-Moore String Matching over Ziv-Lempel Compressed Text. |
CPM |
2000 |
DBLP DOI BibTeX RDF |
|
62 | Yusuke Shibata, Tetsuya Matsumoto, Masayuki Takeda, Ayumi Shinohara, Setsuo Arikawa |
A Boyer-Moore Type Algorithm for Compressed Pattern Matching. |
CPM |
2000 |
DBLP DOI BibTeX RDF |
|
62 | Paul Y. Gloess |
An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
62 | Zvi Galil |
On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm. |
ICALP |
1978 |
DBLP DOI BibTeX RDF |
|
48 | Chen Zhen, Wu Di |
Improving Wu-Manber: A Multi-pattern Matching Algorithm. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Milos Besta, Frank A. Stomp |
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
formal methods, pattern matching, theorem proving, PVS |
48 | Jussi Rautio, Jani Tanninen, Jorma Tarhio |
String Matching with Stopper Encoding and Code Splitting. |
CPM |
2002 |
DBLP DOI BibTeX RDF |
|
48 | David M. Goldschlag |
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Warren A. Hunt Jr., Bishop Brock |
The Verification of a Bit-slice ALU. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
48 | Natarajan Shankar |
A mechanical proof of the Church-Rosser theorem. |
J. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
48 | Alan Bundy |
The Use of Explicit Plans to Guide Inductive Proofs. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
inductive proofs, formal methods, planning, theorem proving, automatic programming, Proof plans |
42 | John R. Cowles, Ruben Gamboa |
Unique factorization in ACL2: Euclidean domains. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
Boyer-Moore logic, Euclidean domains, unique factorization, ACL2 |
42 | Robert S. Boyer, Yuan Yu |
Automated Proofs of Object Code for a Widely Used Microprocessor. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
Boyer-Moore logic, MC68xxx, Nqthm, program proving, formal methods, Ada, C, program verification, automated reasoning, Common Lisp, mechanical theorem proving, object code, machine code |
38 | Thierry Lecroq |
A fast implementation of the good-suffix array for the Boyer-Moore string matching algorithm. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
38 | Yulong Li, Chenhao Li, Yang Jiao, Guogang Zhao, Yang Liu, Tian Zhang |
Research on intrusion detection based on Boyer-Moore pattern matching algorithm. |
EITCE |
2023 |
DBLP DOI BibTeX RDF |
|
38 | Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek Cleophas |
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees. |
Theor. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Laet Laet Lin, Myat Thuzar Soe |
Searching Process Using Boyer Moore Algorithm in Digital Library. |
ICO |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Petros Papapanagiotou, Jacques D. Fleuriot |
The Boyer-Moore Waterfall Model Revisited. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
38 | Teh Faradilla Abdul Rahman, Alya Geogiana Buja, Kamarularifin Abd. Jalil, Fakariah Mohd Ali |
SQL Injection Attack Scanner Using Boyer-Moore String Matching Algorithm. |
J. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
38 | Adrián Domínguez, Pedro P. Carballo, Antonio Núñez |
Programmable SoC platform for deep packet inspection using enhanced Boyer-Moore algorithm. |
ReCoSoC |
2017 |
DBLP DOI BibTeX RDF |
|
38 | Masaki Waga, Takumi Akazaki, Ichiro Hasuo |
A Boyer-Moore Type Algorithm for Timed Pattern Matching. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
38 | Jens Allmer |
Exact pattern matching: Adapting the Boyer-Moore algorithm for DNA searches. |
PeerJ Prepr. |
2016 |
DBLP DOI BibTeX RDF |
|
38 | Masaki Waga, Takumi Akazaki, Ichiro Hasuo |
A Boyer-Moore Type Algorithm for Timed Pattern Matching. |
FORMATS |
2016 |
DBLP DOI BibTeX RDF |
|
38 | Nadia Ben Nsira, Thierry Lecroq, Mourad Elloumi |
A fast Boyer-Moore type pattern matching algorithm for highly similar sequences. |
Int. J. Data Min. Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Yosang Jeong, Myungho Lee, Dukyun Nam, Jik-Soo Kim, Soonwook Hwang |
High performance parallelization of Boyer-Moore algorithm on many-core accelerators. |
Clust. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
38 | Yosang Jeong, Myungho Lee, Dukyun Nam, Jik-Soo Kim, Soonwook Hwang |
High Performance Parallelization of Boyer-Moore Algorithm on Many-Core Accelerators. |
ICCAC |
2014 |
DBLP DOI BibTeX RDF |
|
38 | Domenico Cantone, Simone Faro, Emanuele Giaquinta |
Adapting Boyer-Moore-like Algorithms for Searching Huffman Encoded Texts. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
38 | Markus E. Nebel |
Searching Texts - But Fast! The Boyer-Moore-Horspool Algorithm. |
Algorithms Unplugged |
2011 |
DBLP DOI BibTeX RDF |
|
38 | Kengo Terasawa, Toshio Kawashima, Yuzuru Tanaka |
The Extended Boyer-Moore-Horspool Algorithm for Locality-Sensitive Pseudo-code. |
VISAPP |
2011 |
DBLP BibTeX RDF |
|
38 | Leena Salmela, Jorma Tarhio, Petri Kalsi |
Approximate Boyer-Moore String Matching for Small Alphabets. |
Algorithmica |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Mohssen M. Z. E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, Izzeldin Amin |
Zero-day Polymorphic Worms Detection Using A modified Boyer-Moore Algorithm. |
Security and Management |
2010 |
DBLP BibTeX RDF |
|
38 | Ateeq Sharfuddin, Xiaofan Feng |
Improving Boyer-Moore-Horspool using machine-words for comparison. |
ACM Southeast Regional Conference |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Zhengda Xiong |
A Composite Boyer-Moore Algorithm for the String Matching Problem. |
PDCAT |
2010 |
DBLP DOI BibTeX RDF |
|
38 | Yang Wang |
On the shift-table in Boyer-Moore's String Matching Algorithm. |
J. Digit. Content Technol. its Appl. |
2009 |
DBLP BibTeX RDF |
|
38 | Ricardo Baeza-Yates, Véronique Bruyère, Olivier Delgrange, Rodrigo Scheihing |
On the size of Boyer-Moore automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Shmuel T. Klein, Miri Kopel Ben-Nissan |
Accelerating Boyer-Moore searches on binary texts. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Domenico Cantone, Simone Faro, Emanuele Giaquinta |
Adapting Boyer-Moore-Like Algorithms for Searching Huffman Encoded Texts. |
Stringology |
2009 |
DBLP BibTeX RDF |
|
38 | Markus E. Nebel |
Texte durchsuchen - aber schnell! Der Boyer-Moore-Horspool Algorithmus. |
Taschenbuch der Algorithmen |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Loek G. Cleophas, Bruce W. Watson |
A Boyer-Moore-Horspool algorithm derivation. |
South Afr. Comput. J. |
2008 |
DBLP BibTeX RDF |
|
38 | Olivier Danvy, Henning Korsholm Rohde |
On obtaining the Boyer-Moore string-matching algorithm by partial evaluation. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Tsung-Hsi Tsai |
Average case analysis of the Boyer-Moore algorithm. |
Random Struct. Algorithms |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Domenico Cantone, Simone Faro |
Fast-Search Algorithms: New Efficient Variants of the Boyer-Moore Pattern-Matching Algorithm. |
J. Autom. Lang. Comb. |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Gonzalo Navarro 0001, Jorma Tarhio |
LZgrep: a Boyer-Moore string matching tool for Ziv-Lempel compressed text. |
Softw. Pract. Exp. |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Frank A. Stomp |
Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Bruce W. Watson, Richard E. Watson |
A Boyer-Moore-style algorithm for regular expression pattern matching. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Domenico Cantone, Simone Faro |
Forward-Fast-Search: Another Fast Variant of the Boyer-Moore String Matching Algorithm. |
Stringology |
2003 |
DBLP BibTeX RDF |
|
38 | Robert T. Smythe |
The Boyer-Moore-Horspool heuristic with Markovian input. |
Random Struct. Algorithms |
2001 |
DBLP DOI BibTeX RDF |
|
38 | José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos |
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
38 | Yvonne Kallberg, Hans Jörnvall, Bengt Persson |
Implementing the Boyer-Moore Algorithm. |
German Conference on Bioinformatics |
1998 |
DBLP BibTeX RDF |
|
38 | Hosam M. Mahmoud, Robert T. Smythe, Mireille Régnier |
Analysis of Boyer-Moore-Horspool string-matching heuristic. |
Random Struct. Algorithms |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Bruce W. Watson |
A Boyer-Moore (or Watson-Watson) Type Algorithm for Regular Tree Pattern Matching. |
Stringology |
1997 |
DBLP BibTeX RDF |
|
38 | Matt Kaufmann, Paolo Pecchiari |
Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. |
J. Autom. Reason. |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Tadao Takaoka |
A Left-to-Right Preprocessing Computation for the Boyer-Moore String Matching Algorithm. |
Comput. J. |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Nadia El-Mabrouk, Maxime Crochemore |
Boyer-Moore Strategy to Efficient Approximate String Matching. |
CPM |
1996 |
DBLP DOI BibTeX RDF |
|
38 | David M. Russinoff |
A Formalization of a Subset of VHDL in the Boyer-Moore Logic. |
Formal Methods Syst. Des. |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Kenneth Kunen |
A Ramsey Theorem in Boyer-Moore Logic. |
J. Autom. Reason. |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Brenda S. Baker |
Parameterized Pattern Matching by Boyer-Moore-Type Algorithms. |
SODA |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Laurence Pierre |
Describing and verifying synchronous circuits with the Boyer-Moore theorem prover. |
CHARME |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Ricardo A. Baeza-Yates, Christian Choffrut, Gaston H. Gonnet |
On Boyer-Moore Automata. |
Algorithmica |
1994 |
DBLP DOI BibTeX RDF |
|
38 | P. D. Smith |
Short Communication: On Tuning the Boyer-Moore-Horspool String Searching Algorithm. |
Softw. Pract. Exp. |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Richard Cole 0001 |
Tight Bounds on the Complexity of the Boyer-Moore String Matching Algorithm. |
SIAM J. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
38 | Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. |
Formal Methods Syst. Des. |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Debora Weber-Wulff |
Proof Movie - A Proof with the Boyer-Moore Prover. |
Formal Aspects Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Jorma Tarhio, Esko Ukkonen |
Approximate Boyer-Moore String Matching. |
SIAM J. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Thierry Lecroq |
A Variation on the Boyer-Moore Algorithm. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
38 | Ricardo A. Baeza-Yates, Mireille Régnier |
Average Running Time of the Boyer-Moore-Horspool Algorithm. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
38 | Matt Kaufmann |
An Extension of the Boyer-Moore Theorem Prover to Support First-Order Quantification. |
J. Autom. Reason. |
1992 |
DBLP DOI BibTeX RDF |
|
38 | David M. Russinoff |
A Verification System for Current Programs Based on the Boyer-Moore Prover. |
Formal Aspects Comput. |
1992 |
DBLP BibTeX RDF |
|
38 | Timo Raita |
Tuning the Boyer-Moore-Horspool String Searching Algorithm. |
Softw. Pract. Exp. |
1992 |
DBLP DOI BibTeX RDF |
|
38 | Richard J. Boulton |
Boyer-Moore Automation for the HOL System. |
TPHOLs |
1992 |
DBLP BibTeX RDF |
|
38 | Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man |
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
38 | D. J. Kinniment, Albert Koelmans |
Modelling and Verification of Timing Conditions with the Boyer Moore Prover. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
38 | Richard Cole 0001 |
Tight Bounds on the Complexity of the Boyer-Moore String Matching Algorithm. |
SODA |
1991 |
DBLP DOI BibTeX RDF |
|
38 | Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man |
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis. |
TPHOLs |
1991 |
DBLP BibTeX RDF |
|
38 | Christian Choffrut |
An Optimal Algorithm for building the Boyer-Moore automaton. |
Bull. EATCS |
1990 |
DBLP BibTeX RDF |
|
38 | Ricardo A. Baeza-Yates, Gaston H. Gonnet, Mireille Régnier |
Analysis of Boyer-Moore-Type String Searching Algorithms. |
SODA |
1990 |
DBLP DOI BibTeX RDF |
|
38 | Alexandre Bronstein |
MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits. |
|
1989 |
RDF |
|
38 | Robert Schaback |
On the Expected Sublinearity of the Boyer-Moore Algorithm. |
SIAM J. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Matt Kaufmann |
An Interactive Enhancement to the Boyer-Moore Theorem Prover. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 132 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|