Conferences in DBLP
Mehryar Mohri Edit-Distance of Weighted Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Cyril Allauzen , Mehryar Mohri p-Subsequentiable Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Alonso , Víctor J. Díaz , Manuel Vilares Ferro Tabulation of Bidirectional Push Down Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Marcella Anselmo , Dora Giammarresi , Stefano Varricchio Finite Automata and Non-self-Embedding Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz A. Brzozowski , Mihaela Gheorghiu Simulation of Gate Circuits in the Algebra of Transients. [Citation Graph (0, 0)][DBLP ] Conf ] Cezar Câmpeanu , Andrei Paun The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Cezar Câmpeanu , Kai Salomaa , Sheng Yu Regex and Extended Regex. [Citation Graph (0, 0)][DBLP ] Conf ] Jurek Czyzowicz , Wojciech Fraczak , Andrzej Pelc , Wojciech Rytter Prime Decompositions of Regular Prefix Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Abolfazl Fatholahzadeh Implementation of Dictionaries via Automata and Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Mihaela Gheorghiu , Janusz A. Brzozowski Feedback-Free Circuits in the Algebra of Transients. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Körner On Minimizing Cover Automata for Finite Languages in O(n log n) Time. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Graña , Gloria Andrade , Jesús Vilares Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Guingne , Florent Nicart Finite State Lazy Operations in NLP. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Holzer , Martin Kutrib State Complexity of Basic Operations on Nondeterministic Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] João José Neto , César Bravo Adaptive Automata - A Revisited Proposal. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Okhotin Efficient Automaton-Based Recognition for Linear Conjunctive Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Libor Polák Syntactic Semiring and Language Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Sutner Reduced Power Automata. [Citation Graph (0, 0)][DBLP ] Conf ] A. N. Trahtman A Polynomial Time Algorithm for Left [Right] Local Testability. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Okhotin Whale Calf, a Parser Generator for Conjunctive Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Sutner automata, a Hybrid System for Computational Automata Theory. [Citation Graph (0, 0)][DBLP ] Conf ] A. N. Trahtman A Package TESTAS for Checking Some Kinds of Testability. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Balík DAWG versus Suffix Array. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Brüggemann-Klein , Derick Wood On Predictive Parsing and Extended Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Caron , Marianne Flouret Star Normal Form, Rational Expressions, and Glushkov WFAs Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Daciuk Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Gaëlle Largeteau , Dominique Geniet Term Validation of Distributed Hard Real-Time Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Zdenek Tronícek Common Subsequence Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Vilares Ferro , Victor M. Darriba , Miguel A. Alonso Searching for Asymptotic Error Repair. [Citation Graph (0, 0)][DBLP ] Conf ] Constantinos Bartzis , Tevfik Bultan Automata-Based Representations for Arithmetic Constraints in Automated Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Holub , Maxime Crochemore On the Implementation of Compact DAWG's. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Holub Dynamic Programming - NFA Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Borivoj Melichar Deterministic Parsing of Cyclic Strings. [Citation Graph (0, 0)][DBLP ] Conf ] 