Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
Loops and Overloops for Tree Walking Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
Gaining Power by Input Operations: Finite Automata and Beyond. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Domaratzki, Kai Salomaa (eds.) |
Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Yu 0001 |
Derick Wood: Always in Our Hearts. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Attila Egri-Nagy, Chrystopher L. Nehaniv |
On Straight Words and Minimal Permutators in Finite Transformation Semigroups. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | J. Howard Johnson |
Uniformizing Rational Relations for Natural Language Applications Using Weighted Determinization. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Hsien Tsai 0001, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay |
State of Büchi Complementation. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Le Maout |
Regular Expressions at Their Best: A Case for Rational Design. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Zdárek, Borivoj Melichar |
A Note on a Tree-Based 2D Indexing. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider |
Reachability Games on Automatic Graphs. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Okui, Taro Suzuki |
Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Ingmar Meinecke |
Regular Expressions on Average and in the Long Run. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
Better Hyper-minimization - Not as Fast, But Fewer Errors. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fang Yu 0001, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-track Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karen Rudie |
A Summary of Some Discrete-Event System Control Problems. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Reidenbach, Markus L. Schmid |
A Polynomial Time Match Test for Large Classes of Extended Regular Expressions. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Giusi Castiglione, Cyril Nicaud, Marinella Sciortino |
A Challenging Family of Automata for Classical Minimization Algorithms. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Marco Roveri, Stefano Tonetta |
From Sequential Extended Regular Expressions to NFA with Symbolic Labels. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu |
The Cayley-Hamilton Theorem for Noncommutative Semirings. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Regular Geometrical Languages and Tiling the Plane. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Corinna Cortes, Mehryar Mohri |
Large-Scale Training of SVMs with Automata Kernels. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Hundeshagen, Friedrich Otto, Marcel Vollweiler |
Transductions Computed by PC-Systems of Monotone Deterministic Restarting Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Epifanio, Christiane Frougny, Alessandra Gabriele, Filippo Mignosi, Jeffrey O. Shallit |
On Lazy Representations and Sturmian Graphs. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Steffen Kopecki |
Complexity Results and the Growths of Hairpin Completions of Regular Languages (Extended Abstract). |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wit Forys, Piotr Oprocha, Slawomir Bakalarski |
Symbolic Dynamics, Flower Automata and Infinite Traces. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Antos, Borivoj Melichar |
Finite Automata for Generalized Approach to Backward Pattern Matching. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Incremental DFA Minimisation. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Andreas Maletti |
Simulations of Weighted Tree Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gerbush, Brent Heeringa |
Approximating Minimum Reset Sequences. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yanbing Liu, Li Guo 0001, Ping Liu 0001, Jianlong Tan |
Compressing Regular Expressions' DFA Table by Matrix Decomposition. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Chmiel, Adam Roman |
COMPAS - A Computing Package for Synchronization. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kufleitner, Alexander Lauser |
Partially Ordered Two-Way Büchi Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bo Cui 0001, Yuan Gao 0001, Lila Kari, Sheng Yu 0001 |
State Complexity of Catenation Combined with Union and Intersection. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Michael Riley 0001, Johan Schalkwyk |
Filters for Efficient Composition of Weighted Finite-State Transducers. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Tîrnauca, Catalin Ionut Tîrnauca |
Types of Trusted Information That Make DFA Identification with Correction Queries Feasible. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa |
Partial Derivative Automata Formalized in Coq. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Two-Party Watson-Crick Computations. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Natasa Jonoska |
Using Automata to Describe Self-Assembled Nanostructures. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Nicolas Maquet, Jean-François Raskin |
Fixpoint Guided Abstraction Refinement for Alternating Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
TAGED Approximations for Temporal Properties Model-Checking. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koch 0001 |
Applications of Automata in XML Processing. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz |
Random Generation of Deterministic Tree (Walking) Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Taro Suzuki, Satoshi Okui |
Hedge Pattern Partial Derivative. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanbing Liu, Yifu Yang, Ping Liu 0001, Jianlong Tan |
A Table Compression Method for Extended Aho-Corasick Automaton. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Giusi Castiglione, Antonio Restivo, Marinella Sciortino |
On Extremal Cases of Hopcroft's Algorithm. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Cellular Automata with Sparse Communication. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jan Procházka |
Compiler Generator Based on Restarting Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
restarting automata, semantics, compiler-compiler |
1 | Jean Vuillemin, Nicolas Gama |
Compact Normal Form for Regular Languages as Xor Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jing Cao, Albert Nymeyer |
Formally Synthesising a Protocol Converter: A Case Study. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds |
Amount of Nonconstructivity in Finite Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Agata Savary |
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
multi-word units, finite-state morphology, Multiflex |
1 | Helmut Seidl |
Program Analysis through Finite Tree Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Akio Fujiyoshi |
Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Haruo Hosoya |
Compact Representation for Answer Sets of n-ary Regular Queries. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rusins Freivalds, Kazuo Iwama |
Quantum Queries on Permutations with a Promise. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adam Clarridge, Kai Salomaa |
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
car traffic, single lane, simulation, model, cellular automata, highway |
1 | Jan Holub 0001, Stanislav Stekr |
On Parallel Implementations of Deterministic Finite Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis |
FAdo and GUItar. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth (eds.) |
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Tayssir Touili |
Verifying Parallel Programs with Dynamic Communication Structures. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Andreas Maletti |
An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Barthélemy |
A Testing Framework for Finite-State Morphology. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001, Michael Tautschnig |
Short Regular Expressions from Finite Automata: Empirical Results. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jae-Hee Ahn, Yo-Sub Han |
Implementation of State Elimination Using Heuristics. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif, Adam Rogalewicz |
Automata-Based Termination Proofs. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Navarro 0001 |
Implementation and Application of Automata in String Processing. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Javier Miguel Sastre-Martínez |
Efficient Parsing Using Filtered-Popping Recursive Transition Networks. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Small Extended Expressions for Acyclic Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Loek G. Cleophas, Kees Hemerik |
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Zimmermann 0002 |
Time-Optimal Winning Strategies for Poset Games. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hanlin Lu, Sheng Yu 0001 |
Are Statecharts Finite Automata? |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
interaction machines, statecharts, finite automata |
1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pedro García 0001, Manuel Vazquez de Parga, Gloria Inés Alvarez, José Ruiz 0001 |
Learning Regular Languages Using Nondeterministic Finite Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Harald Hempel, Madlen Kimmritz |
Persistent Computations of Turing Machines. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
Nondeterministic Finite Automata-Recent Results on the Descriptional and Computational Complexity. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Szabolcs Iván |
Games for Temporal Logics on Trees. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth |
Multi-Return Macro Tree Transducers. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Khaled El-Fakih, Nina Yevtushenko 0001 |
Progressive Solutions to FSM Equations. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cyril Allauzen, Mehryar Mohri |
3-Way Composition of Weighted Finite-State Transducers. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Lahoda, Borivoj Melichar, Jan Zdárek |
Pattern Matching in DCA Coded Text. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Takuya Nishiyama, Yasuhiko Minamide |
A Translation from the HTML DTD into a Regular Hedge Grammar. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Dixon, Ömer Egecioglu, Timothy Sherwood |
Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L). |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages |
1 | Rob J. van Glabbeek, Bas Ploeger |
Five Determinisation Algorithms. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
Tree-Series-to-Tree-Series Transformations. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini |
Deterministic Pushdown Automata and Unary Languages. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Matsumoto, Kazuhito Hagio, Masayuki Takeda |
A Run-Time Efficient Implementation of Compressed Pattern Matching Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kai Salomaa |
Language Decompositions, Primality, and Trajectory-Based Operations. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Akio Fujiyoshi |
Combination of Context-Free Grammars and Tree Automata for Unranked and Ranked Trees. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Paun, Mihaela Paun, Alfonso Rodríguez-Patón |
Hopcroft's Minimization Technique: Queues or Stacks?. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Baturo, Marcin Piatkowski, Wojciech Rytter |
The Number of Runs in Sturmian Words. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Bala Ravikumar (eds.) |
Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Razet |
Finite Eilenberg Machines. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Badr |
Hyper-Minimization in O(n2). |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar |
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihalis Yannakakis |
Automata, Probability, and Recursion. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Antimirov and Mosses's Rewrite System Revisited. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
regular expression equivalence, minimal automata, regular expressions, rewriting systems, regular languages, derivatives, partial derivatives |
1 | François Cantin, Axel Legay, Pierre Wolper |
Computing Convex Hulls by Automata Iteration. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hsu-Chun Yen |
Concurrency, Synchronization, and Conflicts in Petri Nets. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|