Cited in
(64)- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy
- Tree automata for detecting attacks on protocols with algebraic cryptographic primitives
- Tiburon: A Weighted Tree Automata Toolkit
- Narrowing and rewriting logic: from foundations to applications
- TAGED Approximations for Temporal Properties Model-Checking
- Symbol different term rewrite systems
- Feasible Trace Reconstruction for Rewriting Approximations
- Finer Is Better: Abstraction Refinement for Rewriting Approximations
- Handling Algebraic Properties in Automatic Analysis of Security Protocols
- Term orderings for non-reachability of (conditional) rewriting
- The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
- Termination criteria for tree automata completion
- Controlled term rewriting
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- How to Tackle Integer Weighted Automata Positivity
- Rewriting approximations for properties verification over CCS specifications
- Reachability analysis of fragments of mobile ambients in AC term rewriting
- One-variable context-free hedge automata
- scientific article; zbMATH DE number 5141412 (Why is no real title available?)
- Equational approximations for tree automata completion
- Towards an Efficient Implementation of Tree Automata Completion
- Reachability in conditional term rewriting systems
- Approximation-based tree regular model-checking
- Some decidability results on one-pass reductions
- Reachability analysis of term rewriting systems with Timbuk
- A note on partially ordered tree automata
- A theoretical limit for safety verification techniques with regular fix-point computations
- \texttt{Autowrite}: a tool for term rewrite systems and tree automata
- A logic of reachable patterns in linked data-structures
- Handling left-quadratic rules when completing tree automata
- HERMES
- Autowrite
- Tiburon
- TREX
- ELAN
- AVISPA
- scientific article; zbMATH DE number 1950261 (Why is no real title available?)
- FSA
- LETHAL
- InvA
- TORPA
- Maude-NPA
- NRL
- MTBDD
- C-SHORe
- McCLIM
- Combining Equational Tree Automata over AC and ACI Theories
- Reachability analysis over term rewriting systems
- Tree Automata
- Term rewriting with prefix context constraints and bottom-up strategies
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- Descendants of a recognizable tree language for sets of linear monadic term rewrite rules
- Reachability, confluence, and termination analysis with state-compatible automata
- On tree automata that certify termination of left-linear term rewriting systems
- Generalized rewrite theories, coherence completion, and symbolic methods
- Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting
- HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA
- Reachability analysis of innermost rewriting
- Symbolic Model Checking of Infinite-State Systems Using Narrowing
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- Decidable classes of tree automata mixing local and global constraints modulo flat theories
- Completeness of tree automata completion
- The Isabelle collections framework
- Foundations of Software Science and Computation Structures
This page was built for software: Timbuk