|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Oliver Boldt, Helmut Jürgensen (eds.) |
Automata Implementation, 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers |
WIA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | George Anton Kiraz |
Compressed Storage of Sparse Finite-State Transducers. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bergeron, Riccardo Catalano |
Analysis of Reactive Systems with n Timers. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
real-time systems, verification, synthesis, automata |
1 | Cristian Calude, Kai Salomaa, Sheng Yu 0001 |
Metric Lexical Analysis. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | A. N. Trahtman |
An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
locally threshold testable, semigroup AMS subject classification 68Q25, 68Q68, 20M07, algorithm, deterministic finite automaton, 68Q45 |
1 | Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.) |
Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Mark G. Eramian |
Computing Entropy Maps of Finite-Automaton-Encoded Binary Images. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Paun, Gabriel Thierrin |
Multiset Processing by Means of Systems of Finite State Transducers. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Amilhastre, Philippe Janssen, Marie-Catherine Vilarem |
FA Minimisation Heuristics for a Class of Finite Languages. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gertjan van Noord, Dale Gerdemann |
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Andary, Pascal Caron, Jean-Marc Champarnaud, Gérard Duchamp, Marianne Flouret, Éric Laugerotte |
SEA: A Symbolic Environment for Automata Theory. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dora Giammarresi, Jean-Luc Ponty, Derick Wood |
Thompson Digraphs: A Characterization. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Jürgensen, Ludwig Staiger |
Finite Automata Encoding Geometric Figures. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Beatrix Braune, Stephan Diehl 0001, Andreas Kerren, Reinhard Wilhelm |
Animation of the Generation and Computation of Finite Automata for Learning Software. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Cezar Câmpeanu, Karel Culík II, Kai Salomaa, Sheng Yu 0001 |
State Complexity of Basic Operations on Finite Languages. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jan Daciuk |
Treatment of Unknown Words. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Markus Seuring, Michael Gössel |
A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Watson |
A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Derick Wood, Sheng Yu 0001 (eds.) |
Automata Implementation, Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997, Revised Papers |
WIA |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Darrell R. Raymond, Derick Wood, Sheng Yu 0001 (eds.) |
Automata Implementation, First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996, Revised Papers |
WIA |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|