Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marcella Anselmo, Maria Madonia |
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata . |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Hsu-Chun Yen |
On Deterministic Catalytic Systems. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Klein 0001, Christel Baier |
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Sakarovitch |
The Language, the Expression, and the (Small) Automaton. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey, Sebastian Maneth |
Tree Automata and XPath on Compressed Trees. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cano, Pedro García 0001 |
Finite Automata and Unions of Regular Patterns with Bounded Constant Segments. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | José João Morais, Nelma Moreira, Rogério Reis |
Acyclic Automata with Easy-to-Find Short Regular Expressions. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
1 | German Tischler |
Parametric Weighted Finite Automata for Figure Drawing. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir A. Zakharov, Ivan Zakharyaschev |
On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu 0001 (eds.) |
Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Björn Borchardt |
Code Selection by Tree Series Transducers. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil |
Regional Finite-State Error Repair. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Couvreur |
A BDD-Like Implementation of an Automata Package. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zeshan Peng, H. F. Ting |
Time and Space Efficient Algorithms for Constrained Sequence Alignment. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Debski, Wojciech Fraczak |
Concatenation State Machines and Simple Functions. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Baozhen Shan |
Stochastic Context-Free Graph Grammars for Glycoprotein Modelling. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Mehryar Mohri, Brian Roark |
A General Weighted Grammar Library. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yonghua Han, Bin Ma 0002, Kaizhong Zhang |
An Automata Approach to Match Gapped Sequence Tags Against Protein Database. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lynette van Zijl |
Magic Numbers for Symmetric Difference NFAs. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark G. Eramian, Matthew Drotar |
Does Hausdorff Dimension Measure Texture Complexity?. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru |
Simulating the Process of Gene Assembly in Ciliates. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Derick Wood |
The Generalization of Generalized Automata: Expression Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gaoyan Xie, Cheng Li, Zhe Dang |
Testability of Oracle Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Florent Nicart, Djelloul Ziadi |
Computing the Follow Automaton of an Expression. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Binder, Rudolf Freund, Georg Lojka, Marion Oswald |
Implementation of Catalytic P Systems. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema |
Finding Finite Automata That Certify Termination of String Rewriting. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitutions, Trajectories and Noisy Channels. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Delgado 0001, José Morais |
Approximation to the Smallest Regular Expression for a Given Regular Language. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean Berstel, Olivier Carton |
On the Complexity of Hopcroft's State Minimization Algorithm. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian John |
Minimal Unambiguous eNFA. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michiel Frishert, Bruce W. Watson |
Combining Regular Expressions with (Near-)Optimal Brzozowski Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Anssi Yli-Jyrä |
Approximating Dependency Grammars Through Intersection of Regular Languages. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bryan Krawetz, John Lawrence, Jeffrey O. Shallit |
State Complexity and the Monoid of Transformations of a Finite Set. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Attila Egri-Nagy, Chrystopher L. Nehaniv |
Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek 0001, Galina Jirásková, Alexander Szabari |
State Complexity of Concatenation and Complementation of Regular Languages. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hellis Tamm, Matti Nykänen, Esko Ukkonen |
Size Reduction of Multitape Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mark Daley, Ian McQuillan |
Viral Gene Compression: Complexity and Verification. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra |
Automata-Theoretic Techniques for Analyzing Infinite-State Systems. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Polcar, Borivoj Melichar |
Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Libor Polák |
Minimalizations of NFA Using the Universal Automaton. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Lee 0005, Jeffrey O. Shallit |
Enumerating Regular Expressions and Their Languages. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cezar Câmpeanu, Andrei Paun |
Tight Bounds for NFA to DFCA Transformations for Binary Alphabets. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harumichi Nishimura, Tomoyuki Yamakami |
An Application of Quantum Finite Automata to Interactive Proof Systems. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
quantum finite automaton, quantum interactive proof system, quantum measurement, quantum circuit |
1 | Mathieu Giraud, Dominique Lavenier |
Linear Encoding Scheme for Weighted Finite Automata. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Fabien Coulon, Thomas Paranthoën |
Brute Force Determinization of NFAs by Means of State Covers. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Denis Lugiez |
From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P). |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Avraham Trakhtman |
Reducing the Time Complexity of Testing for Local Threshold Testability. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
threshold locally testable, algorithm, graph, Automaton |
1 | Juhani Karhumäki |
Automata on Words. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nico Wallmeier, Patrick Hütten, Wolfgang Thomas |
Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Borivoj Melichar, Tomás Polcar |
The Longest Common Subsequence Problem A Finite Automata Approach. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | José M. Castaño |
LR Parsing for Global Index Languages (GILs). |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tsai-Hung Fan, Shufen Lee, Hsueh-I Lu, Tsung-Shan Tsou, Tsai-Cheng Wang, Adam Yao |
An Optimal Algorithm for Maximum-Sum Segment and Its Application in Bioinformatics Extended Abstract. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Preston, Mukkai S. Krishnamoorthy |
AVA: An Applet for Visualizing FRACTRAN and Other Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ernest Ketcha Ngassam, Bruce W. Watson, Derrick G. Kourie |
Preliminary Experiments in Hardcoding Finite Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Franck Guingne, André Kempe, Florent Nicart |
Running Time Complexity of Printing an Acyclic Automaton. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Sutner |
The Ehrenfeucht-Mycielski Sequence. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch |
Introducing VAUCANSON. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Haruo Hosoya, Makoto Murata |
Boolean Operations for Attribute-Element Constraints. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Robert Kelly, Julie Carson-Berndsen |
Computational Linguistic Motivations for a Finite-State Machine Hierarchy. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Hsu-Chun Yen |
Timing Parameter Characterization of Real-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Mehryar Mohri |
An Efficient Pre-determinization Algorithm. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Tozawa, Masami Hagiya |
XML Schema Containment Checking Based on Semi-implicit Techniques. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Vilares Ferro, Victor M. Darriba, Jesús Vilares Ferro, Leandro Rodríguez Liñares |
Robust Parsing Using Dynamic Programming. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Satoru Miyamoto, Shunsuke Inenaga, Masayuki Takeda, Ayumi Shinohara |
Ternary Directed Acyclic Word Graphs. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bala Ravikumar |
Weak Minimization of DFA - An Algorithm and Applications. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Éric Laugerotte, Faissal Ouardi, Djelloul Ziadi |
From Regular Weighted Expressions to Finite Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Zhe Dang (eds.) |
Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olgierd Unold, Maciej Troc, Tadeusz Dobosz, Alicja Trusewicz |
Finite-State Molecular Computing. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Fritz |
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Automata for Specifying Component Interfaces. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Denis Maurel (eds.) |
Implementation and Application of Automata, 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Ingmar Meinecke |
Branching Automata with Costs - A Way of Reflecting Parallelism in Costs. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lynette van Zijl |
Succinct Descriptions of Regular Languages with Binary +-NFAs. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | César Bravo, João José Neto |
Building Context-Sensitive Parsers from CF Grammars with Regular Control Language. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Geng-Dian Hwang, Fang Yu 0001 |
TCTL Inevitability Analysis of Dense-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
1 | Hellis Tamm, Esko Ukkonen |
Bideterministic Automata and Minimal Representations of Regular Languages. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mark Daley, Mark G. Eramian, Ian McQuillan |
Bag Automata and Stochastic Retrieval of Biomolecules in Solution. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart |
WFSC - A New Weighted Finite State Compiler. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gaoyan Xie, Cheng Li, Zhe Dang |
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michiel Frishert, Loek G. Cleophas, Bruce W. Watson |
The Effect of Rewriting Regular Expressions on Their Accepting Automata. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Franck Guingne, Florent Nicart |
Finite State Lazy Operations in NLP. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cezar Câmpeanu, Andrei Paun |
The Number of Similarity Relations and the Number of Minimal Deterministic Finite Cover Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mehryar Mohri |
Edit-Distance of Weighted Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Vilares Ferro, Victor M. Darriba, Miguel A. Alonso 0001 |
Searching for Asymptotic Error Repair. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Miguel A. Alonso 0001, Víctor J. Díaz, Manuel Vilares Ferro |
Tabulation of Bidirectional Push Down Automata. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu 0001 |
Regex and Extended Regex. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
regex, extended regex, programming languages, formal languages, Regular expressions |
1 | Heiko Körner |
On Minimizing Cover Automata for Finite Languages in O(n log n) Time. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Balík |
DAWG versus Suffix Array. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan Daciuk |
Comparison of Construction Algorithms for Minimal, Acyclic, Deterministic, Finite-State Automata from Sets of Strings. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Tronícek |
Common Subsequence Automaton. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Okhotin |
Whale Calf, a Parser Generator for Conjunctive Grammars. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gaëlle Largeteau, Dominique Geniet |
Term Validation of Distributed Hard Real-Time Applications. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Gheorghiu, Janusz A. Brzozowski |
Feedback-Free Circuits in the Algebra of Transients. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anne Brüggemann-Klein, Derick Wood |
On Predictive Parsing and Extended Context-Free Grammars. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bruce W. Watson, Derick Wood (eds.) |
Implementation and Application of Automata, 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001, Revised Papers |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Marianne Flouret |
Star Normal Form, Rational Expressions, and Glushkov WFAs Properties. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
|