The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Implementation and Application of Automata (CIAA) (wia)
1999 (conf/wia/1999)

  1. 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]
  2. 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]
  3. Anne Bergeron, Riccardo Catalano
    Analysis of Reactive Systems with n Timers. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:27-38 [Conf]
  4. 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]
  5. Cristian Calude, Kai Salomaa, Sheng Yu
    Metric Lexical Analysis. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:48-59 [Conf]
  6. 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]
  7. Jan Daciuk
    Treatment of Unknown Words. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:71-80 [Conf]
  8. Mark G. Eramian
    Computing Entropy Maps of Finite-Automaton-Encoded Binary Images. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:81-90 [Conf]
  9. Dora Giammarresi, Jean-Luc Ponty, Derick Wood
    Thompson Digraphs: A Characterization. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:91-100 [Conf]
  10. Helmut Jürgensen, Ludwig Staiger
    Finite Automata Encoding Geometric Figures. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:101-108 [Conf]
  11. George Anton Kiraz
    Compressed Storage of Sparse Finite-State Transducers. [Citation Graph (0, 0)][DBLP]
    WIA, 1999, pp:109-121 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002