Conferences in DBLP
Jérôme Amilhastre , Philippe Janssen , Marie-Catherine Vilarem FA Minimisation Heuristics for a Class of Finite Languages. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:1-12 [Conf ] Philippe Andary , Pascal Caron , Jean-Marc Champarnaud , Gérard Duchamp , Marianne Flouret , Éric Laugerotte SEA: A Symbolic Environment for Automata Theory. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:13-26 [Conf ] Anne Bergeron , Riccardo Catalano Analysis of Reactive Systems with n Timers. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:27-38 [Conf ] Beatrix Braune , Stephan Diehl , Andreas Kerren , Reinhard Wilhelm Animation of the Generation and Computation of Finite Automata for Learning Software. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:39-47 [Conf ] Cristian Calude , Kai Salomaa , Sheng Yu Metric Lexical Analysis. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:48-59 [Conf ] Cezar Câmpeanu , Karel Culik II , Kai Salomaa , Sheng Yu State Complexity of Basic Operations on Finite Languages. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:60-70 [Conf ] Jan Daciuk Treatment of Unknown Words. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:71-80 [Conf ] Mark G. Eramian Computing Entropy Maps of Finite-Automaton-Encoded Binary Images. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:81-90 [Conf ] Dora Giammarresi , Jean-Luc Ponty , Derick Wood Thompson Digraphs: A Characterization. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:91-100 [Conf ] Helmut Jürgensen , Ludwig Staiger Finite Automata Encoding Geometric Figures. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:101-108 [Conf ] George Anton Kiraz Compressed Storage of Sparse Finite-State Transducers. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:109-121 [Conf ] Gertjan van Noord , Dale Gerdemann An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:122-139 [Conf ] Gheorghe Paun , Gabriel Thierrin Multiset Processing by Means of Systems of Finite State Transducers. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:140-157 [Conf ] Markus Seuring , Michael Gössel A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:158-163 [Conf ] A. N. Trahtman An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:164-173 [Conf ] Bruce W. Watson A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. [Citation Graph (0, 0)][DBLP ] WIA, 1999, pp:174-182 [Conf ]