|
|
Conferences in DBLP
- Oscar H. Ibarra
Automata-Theoretic Techniques for Analyzing Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:1- [Conf]
- Jonathan Lee, Jeffrey Shallit
Enumerating Regular Expressions and Their Languages. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:2-22 [Conf]
- Cyril Allauzen, Mehryar Mohri, Brian Roark
A General Weighted Grammar Library. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:23-34 [Conf]
- Jean Berstel, Olivier Carton
On the Complexity of Hopcroft's State Minimization Algorithm. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:35-44 [Conf]
- Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald
Implementation of Catalytic P Systems. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:45-56 [Conf]
- Björn Borchardt
Code Selection by Tree Series Transducers. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:57-67 [Conf]
- Henning Bordihn, Markus Holzer, Martin Kutrib
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:68-79 [Conf]
- Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën
Brute Force Determinization of NFAs by Means of State Covers. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:80-89 [Conf]
- Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi
Computing the Follow Automaton of an Expression. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:90-101 [Conf]
- Mark Daley, Ian McQuillan
Viral Gene Compression: Complexity and Verification. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:102-112 [Conf]
- Wojciech Debski, Wojciech Fraczak
Concatenation State Machines and Simple Functions. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:113-124 [Conf]
- Michiel Frishert, Loek G. Cleophas, Bruce W. Watson
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:125-133 [Conf]
- Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema
Finding Finite Automata That Certify Termination of String Rewriting. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:134-145 [Conf]
- Mathieu Giraud, Dominique Lavenier
Linear Encoding Scheme for Weighted Finite Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:146-155 [Conf]
- Yo-Sub Han, Derick Wood
The Generalization of Generalized Automata: Expression Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:156-166 [Conf]
- Yonghua Han, Bin Ma, Kaizhong Zhang
An Automata Approach to Match Gapped Sequence Tags Against Protein Database. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:167-177 [Conf]
- Jozef Jirásek, Galina Jirásková, Alexander Szabari
State Complexity of Concatenation and Complementation of Regular Languages. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:178-189 [Conf]
- Sebastian John
Minimal Unambiguous eNFA. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:190-201 [Conf]
- Lila Kari, Stavros Konstantinidis, Petr Sosík
Substitutions, Trajectories and Noisy Channels. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:202-212 [Conf]
- Bryan Krawetz, John Lawrence, Jeffrey Shallit
State Complexity and the Monoid of Transformations of a Finite Set. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:213-224 [Conf]
- Harumichi Nishimura, Tomoyuki Yamakami
An Application of Quantum Finite Automata to Interactive Proof Systems. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:225-236 [Conf]
- Z. S. Peng, H. F. Ting
Time and Space Efficient Algorithms for Constrained Sequence Alignment. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:237-246 [Conf]
- Baozhen Shan
Stochastic Context-Free Graph Grammars for Glycoprotein Modelling. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:247-258 [Conf]
- German Tischler
Parametric Weighted Finite Automata for Figure Drawing. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:259-268 [Conf]
- Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil
Regional Finite-State Error Repair. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:269-280 [Conf]
- Anssi Yli-Jyrä
Approximating Dependency Grammars Through Intersection of Regular Languages. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:281-292 [Conf]
- Vladimir A. Zakharov, Ivan Zakharyaschev
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:293-305 [Conf]
- Cezar Câmpeanu, Andrei Paun
Tight Bounds for NFA to DFCA Transformations for Binary Alphabets. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:306-307 [Conf]
- Liliana Cojocaru
Simulating the Process of Gene Assembly in Ciliates. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:308-309 [Conf]
- Jean-Michel Couvreur
A BDD-Like Implementation of an Automata Package. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:310-311 [Conf]
- Manuel Delgado, José Morais
Approximation to the Smallest Regular Expression for a Given Regular Language. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:312-314 [Conf]
- Attila Egri-Nagy, Chrystopher L. Nehaniv
Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:315-316 [Conf]
- Mark G. Eramian, Matthew Drotar
Does Hausdorff Dimension Measure Texture Complexity?. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:317-318 [Conf]
- Michiel Frishert, Bruce W. Watson
Combining Regular Expressions with (Near-)Optimal Brzozowski Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:319-320 [Conf]
- Denis Lugiez
From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P). [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:321-322 [Conf]
- Andreas Maletti
Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:323-324 [Conf]
- Libor Polák
Minimalizations of NFA Using the Universal Automaton. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:325-326 [Conf]
- Tomás Polcar, Borivoj Melichar
Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:327-328 [Conf]
- Hellis Tamm, Matti Nykänen, Esko Ukkonen
Size Reduction of Multitape Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:329-330 [Conf]
- Gaoyan Xie, Cheng Li, Zhe Dang
Testability of Oracle Automata. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:331-332 [Conf]
- Lynette van Zijl
Magic Numbers for Symmetric Difference NFAs. [Citation Graph (0, 0)][DBLP]
CIAA, 2004, pp:333-334 [Conf]
|
