You have Guest access.
Log In
Sebastian Maneth
Front matter
1
Implementation and Application of Automata in String Processing
2
Applications of Automata in XML Processing
3
Program Analysis through Finite Tree Automata
4-13
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton
14-23
On Extremal Cases of Hopcroft’s Algorithm
24-33
Compact Normal Form for Regular Languages as Xor Automata
34-43
Cellular Automata with Sparse Communication
44-53
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule
54-64
On Parallel Implementations of Deterministic Finite Automata
65-74
FAdo and GUItar
75-83
A Testing Framework for Finite-State Morphology
84-93
A Table Compression Method for Extended Aho-Corasick Automaton
94-104
Compact Representation for Answer Sets of n-ary Regular Queries
105-114
Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata
115-124
Random Generation of Deterministic Tree (Walking) Automata
125-134
Hedge Pattern Partial Derivative
135-144
TAGED Approximations for Temporal Properties Model-Checking
145-154
Verifying Parallel Programs with Dynamic Communication Structures
155-164
Fixpoint Guided Abstraction Refinement for Alternating Automata
165-177
Automata-Based Termination Proofs
178-187
Implementation of State Elimination Using Heuristics
188-197
Short Regular Expressions from Finite Automata: Empirical Results
198-207
Small Extended Expressions for Acyclic Automata
208-216
Quantum Queries on Permutations with a Promise
217-226
Time-Optimal Winning Strategies for Poset Games
227-236
Amount of Nonconstructivity in Finite Automata
237-240
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units
241-244
Efficient Parsing Using Filtered-Popping Recursive Transition Networks
245-248
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms
249-252
Formally Synthesising a Protocol Converter: A Case Study
253-257
Compiler Generator Based on Restarting Automata
258-261
Are Statecharts Finite Automata?
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info