The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Tree-Manipulating Systems and Church-Rosser Theorems
Journal of the ACM (JACM)
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algorithm for reasoning about equality
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
A fast string searching algorithm
Communications of the ACM
Perfect hashing functions: a single probe retrieving method for static sets
Communications of the ACM
Efficient string matching: an aid to bibliographic search
Communications of the ACM
Off-line and on-line algorithms for deducing equalities
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Minimal and optimal computations of recursive programs
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An interpreter generator using tree pattern matching
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A String Matching Algorithm Fast on the Average
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
OPTRAN, a Language for the Specification of Program Transformations
Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI
Proceedings of the International Conference on Mathematical Studies of Information Processing
Universal classes of hash functions (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Complexity of finitely presented algebras
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Rapid identification of repeated patterns in strings, trees and arrays
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
The SAC-1 system: An introduction and survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The complexity of unification.
The complexity of unification.
Tree templates and subtree transformational grammars.
Tree templates and subtree transformational grammars.
Up-down parsing with prefix grammars
ACM SIGPLAN Notices
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Limitations of Graham-Glanville style code generation
ACM SIGPLAN Notices
DAGON: technology binding and local optimization by DAG matching
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Complexity of matching problems
Journal of Symbolic Computation
An improvement to bottom-up tree pattern matching
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parsing Languages by Pattern Matching
IEEE Transactions on Software Engineering
DAGON: Technology binding and local optimization by DAG matching
25 years of DAC Papers on Twenty-five years of electronic design automation
A language for writing code generators
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Code generation using tree matching and dynamic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel tree pattern matching
Journal of Symbolic Computation
Automata-driven indexing of Prolog clauses
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using types as search keys in function libraries
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Look ma, no hashing, and no arrays neither
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Computers
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Table compression for tree automata
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mapping switch-level simulation onto gate-level hardware accelerators
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Nonlinear pattern matching in trees
Journal of the ACM (JACM)
BURG: fast optimal instruction selection and tree parsing
ACM SIGPLAN Notices
Incremental generation of lexical scanners
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pattern-based tree attribution
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Engineering a simple, efficient code-generator generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Journal of the ACM (JACM)
Lazy and incremental program generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An optimized implementation for VML based on pattern matching and dynamic programming
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Non-standard stringology: algorithms and complexity
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of using history for equational systems with applications
Journal of the ACM (JACM)
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Logic decomposition during technology mapping
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Tree pattern matching and subset matching in randomized O(nlog3m) time
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Statically checkable pattern abstractions
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
On accelerating pattern matching for technology mapping
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Code generation for fixed-point DSPs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Tree pattern matching and subset matching in deterministic O(n log3 n)-time
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Efficient tree pattern matching (extended abstract): an aid to code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Area and search space control for technology mapping
Proceedings of the 37th Annual Design Automation Conference
Watermarking while preserving the critical path
Proceedings of the 37th Annual Design Automation Conference
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending Graham-Glanville techniques for optimal code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new structural pattern matching algorithm for technology mapping
Proceedings of the 38th annual Design Automation Conference
ACM Transactions on Information Systems (TOIS)
Best-Match Retrieval for Structured Images
IEEE Transactions on Pattern Analysis and Machine Intelligence
Experience with a Graham-Glanville style code generator
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Tree transformation techniques and experiences
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Verifying candidate matches in sparse and wildcard matching
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
An incremental XSLT transformation processor for XML document manipulation
Proceedings of the 11th international conference on World Wide Web
High-quality code generation via bottom-up tree pattern matching
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithmics and applications of tree and graph searching
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Technology mapping algorithms for domino logic
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient concise deterministic pattern-matching automata for ambiguous patterns
ACM SIGPLAN Notices
Discovering approximate keys in XML data
Proceedings of the eleventh international conference on Information and knowledge management
Tree pattern matching with a more general notion of occurrence of the pattern
Information Processing Letters
Minimal deterministic left-to-right pattern-matching automata
ACM SIGPLAN Notices
A System for Approximate Tree Matching
IEEE Transactions on Knowledge and Data Engineering
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Tree Pattern Matching for Linear Static Terms
SPIRE 2002 Proceedings of the 9th International Symposium on String Processing and Information Retrieval
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Improving Space, Time, and Termination in Rewriting-Based Programming
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Optimal Adaptive Pattern Matching
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Rewriting Strategies for Instruction Selection
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Gain-based technology mapping for discrete-size cell libraries
Proceedings of the 40th annual Design Automation Conference
Handbook of automated reasoning
Implementation of an interpreter for abstract equations
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
The abstraction and instantiation of string-matching programs
The essence of computation
Querying structured text in an XML database
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Stream processing of XPath queries with predicates
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
A Succinct Physical Storage Scheme for Efficient Evaluation of Path Queries in XML
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Efficient transformation-based parsing
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
From searching text to querying XML streams
Journal of Discrete Algorithms - SPIRE 2002
Text-oriented structure commands for structure editors
ACM SIGPLAN Notices
Formalization and abstract implementation of rewriting with nested rules
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Transactions on Database Systems (TODS)
A survey on tree edit distance and related problems
Theoretical Computer Science
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Some reduction strategies for algebraic term rewriting
ACM SIGSAM Bulletin
Efficient pattern matching for non-strongly sequential term rewriting systems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Low-power clustering with minimum logic replication for coarse-grained, antifuse based FPGAs
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Data mining in an engineering design environment: OR applications from graph matching
Computers and Operations Research
Twig2Stack: bottom-up processing of generalized-tree-pattern queries over XML documents
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Structured Data Extraction from the Web Based on Partial Tree Alignment
IEEE Transactions on Knowledge and Data Engineering
Theoretical Computer Science
Execution patterns in object-oriented visualization
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Electronic Notes in Theoretical Computer Science (ENTCS)
Binary Search Trees, Recurrent Properties andWave Equations
Fundamenta Informaticae
Local query translation and optimization in a distributed system
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Forest FIRE and FIRE Wood: Tools for Tree Automata and Tree Algorithms
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
Bit-Parallel Tree Pattern Matching Algorithms for Unordered Labeled Trees
WADS '09 Proceedings of the 11th International Symposium on Algorithms and Data Structures
A data mining based method for web site maintenance
Intelligent Data Analysis
Answering XML queries using materialized views revisited
Proceedings of the 18th ACM conference on Information and knowledge management
A new algorithm for tree mapping in XML databases
IMSA '07 Proceedings of the Eleventh IASTED International Conference on Internet and Multimedia Systems and Applications
More efficient left-to-right pattern matching in non-sequential equational programs
CPM'03 Proceedings of the 14th annual conference on Combinatorial pattern matching
BURS-based instruction set selection
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A time optimal algorithm for evaluating tree pattern queries
Proceedings of the 2010 ACM Symposium on Applied Computing
Aho-Corasick like multiple subtree matching by pushdown automata
Proceedings of the 2010 ACM Symposium on Applied Computing
Confluence of pattern-based calculi
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Semantics-based change impact analysis for heterogeneous collections of documents
Proceedings of the 10th ACM symposium on Document engineering
ACM Transactions on Database Systems (TODS)
Algorithms and theory of computation handbook
A metric normalization of tree edit distance
Frontiers of Computer Science in China
The tree inclusion problem: In linear space and faster
ACM Transactions on Algorithms (TALG)
Tree template matching in ranked ordered trees by pushdown automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Computing all subtree repeats in ordered ranked trees
SPIRE'11 Proceedings of the 18th international conference on String processing and information retrieval
Finding maximal similar paths between XML documents using sequential patterns
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Knowledge hiding from tree and graph databases
Data & Knowledge Engineering
Complete pattern matching: recursivity versus multi-threading
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
Code selection by tree series transducers
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Arbology: trees and pushdown automata
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
A bit-parallel tree matching algorithm for patterns with horizontal VLDC's
SPIRE'05 Proceedings of the 12th international conference on String Processing and Information Retrieval
Converting intermediate code to assembly code using declarative machine descriptions
CC'06 Proceedings of the 15th international conference on Compiler Construction
Faster bit-parallel algorithms for unordered pseudo-tree matching and tree homeomorphism
Journal of Discrete Algorithms
Binary Search Trees, Recurrent Properties andWave Equations
Fundamenta Informaticae
Tree template matching in ranked ordered trees by pushdown automata
Journal of Discrete Algorithms
Optimizing XML queries: Bitmapped materialized views vs. indexes
Information Systems
Constraint-based code generation
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
Tree template matching in unranked ordered trees
Journal of Discrete Algorithms
Simple tree pattern matching for trees in the prefix bar notation
Discrete Applied Mathematics
Hi-index | 0.01 |