Conferences in DBLP
Rusins Freivalds Languages Recognizable by Quantum Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Sakarovitch The Language, the Expression, and the (Small) Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Johann Deneux , Lisa Kaati , Marcus Nilsson Minimization of Non-deterministic Automata with Large Alphabets. [Citation Graph (0, 0)][DBLP ] Conf ] Marcella Anselmo , Maria Madonia Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata . [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Bailly , Mireille Clerbout , Isabelle Simplot-Ryl Component Composition Preserving Behavioural Contracts Based on Communication Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Miklós Bartha Strong Retiming Equivalence of Synchronous Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Cédric Bastien , Jurek Czyzowicz , Wojciech Fraczak , Wojciech Rytter Prime Normal Form and Equivalence of Simple Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Cezar Câmpeanu , Andrei Paun , Jason R. Smith An Incremental Algorithm for Constructing Minimal Deterministic Finite Cover Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Cano , Pedro García Finite Automata and Unions of Regular Patterns with Bounded Constant Segments. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Claveirole , Sylvain Lombardy , Sarah O'Connor , Louis-Noël Pouchet , Jacques Sakarovitch Inside Vaucanson. [Citation Graph (0, 0)][DBLP ] Conf ] Akio Fujiyoshi , Ikuo Kawaharada Deterministic Recognition of Trees Accepted by a Linear Pushdown Tree Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Yo-Sub Han , Derick Wood Shorter Regular Expressions from Finite-State Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Johanna Högberg Wind in the Willows - Generating Music by Means of Tree Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra , Hsu-Chun Yen On Deterministic Catalytic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Jurdzinski , Friedrich Otto Restricting the Use of Auxiliary Symbols for Restarting Automata. [Citation Graph (0, 0)][DBLP ] Conf ] André Kempe , Jean-Marc Champarnaud , Jason Eisner , Franck Guingne , Florent Nicart A Class of Rational n -WFSM Auto-intersections. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Klein , Christel Baier Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Louis Latour Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey , Sebastian Maneth Tree Automata and XPath on Compressed Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Radek Pelánek , Jan Strejcek Deeper Connections Between LTL and Alternating Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Rytter The Structure of Subword Graphs and Suffix Trees of Fibonacci Words. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Schulte Althoff , Wolfgang Thomas , Nico Wallmeier Observations on Determinization of Büchi Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Tamara Shcherbak The Interval Rank of Monotonic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Hariharan Subramanian , Priti Shankar Compressing XML Documents Using Recursive Finite State Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Tadahiro Suda , Haruo Hosoya Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment. [Citation Graph (0, 0)][DBLP ] Conf ] Hellis Tamm , Matti Nykänen , Esko Ukkonen Size Reduction of Multitape Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Vilares Ferro , Juan Otero Pombo , Jesús Vilares Ferro Robust Spelling Correction. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Zdárek , Borivoj Melichar On Two-Dimensional Pattern Matching by Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Daciuk , Denis Maurel , Agata Savary Incremental and Semi-incremental Construction of Pseudo-Minimal Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro García , José Ruiz , Antonio Cano , Gloria Alvarez Is Learning RFSAs Better Than Learning DFAs?. [Citation Graph (0, 0)][DBLP ] Conf ] Colin de la Higuera , Frédéric Piat , Frédéric Tantini Learning Stochastic Finite Automata for Musical Style Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Miklós Krész Simulation of Soliton Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] José João Morais , Nelma Moreira , Rogério Reis Acyclic Automata with Easy-to-Find Short Regular Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Rimma I. Podlovchenko , Dmitry M. Rusakov , Vladimir A. Zakharov On the Equivalence Problem for Programs with Mode Switching. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Tellier Automata and AB-Categorial Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Vielhaber , Mónica del Pilar Canales Chacon On a Class of Bijective Binary Transducers with Finitary Description Despite Infinite State Set. [Citation Graph (0, 0)][DBLP ] Conf ] 