| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maria Pittou, George Rahonis |
Weighted Variable Automata over Infinite Alphabets.  |
CIAA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Matús Palmovský, Juraj Sebej |
Kleene Closure on Regular and Prefix-Free Languages. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Kira Goldner, Aidan Shackleton |
Minimal Partial Languages and Automata. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Michael Luttenberger, Maximilian Schlund |
FPsolve: A Generic Solver for Fixpoint Equations over Semirings. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Dumitran, Javier Gil, Florin Manea, Victor Mitrana |
Bounded Prefix-Suffix Duplication. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On the Ambiguity, Finite-Valuedness, and Lossiness Problems in Acceptors and Transducers. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Biegler, Ian McQuillan |
On Comparing Deterministic Finite Automata and the Shuffle of Words. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristína Cevorová, Galina Jirásková, Ivana Krajnáková |
On the Square of Regular Languages. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Gusev, Elena V. Pribavkina |
Reset Thresholds of Automata with Two Cycle Lengths. |
CIAA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Kushik, Nina Yevtushenko 0001 |
On the Length of Homing Sequences for Nondeterministic Finite State Machines. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti |
Hyper-optimization for Deterministic Tree Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Mahbubul Hasan, A. S. M. Sohidull Islam, M. Sohel Rahman, Ayon Sen |
On Palindromic Sequence Automata and Applications. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Gianluca Mezzetti |
Towards Nominal Context-Free Model-Checking. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Kisielewicz 0001, Marek Szykula |
Generating Small Automata and the Černý Conjecture. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, David Liu 0003 |
Universal Witnesses for State Complexity of Basic Operations Combined with Reversal. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes |
Applications of Symbolic Finite Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Maia, Nelma Moreira, Rogério Reis |
Incomplete Transition Complexity of Basic Operations on Finite Languages. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu |
Cover Languages and Implementations. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomohiro I, Takaaki Nishimoto, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Compressed Automata for Dictionary Matching. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Jirásek 0001, Galina Jirásková |
On the Boundary of Regular Languages. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen |
Two-Pass Greedy Regular Expression Parsing. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Bala Ravikumar |
Some Decision Problems Concerning NPDAs, Palindromes, and Dyck Languages. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Debarbieux, Olivier Gauwin, Joachim Niehren, Tom Sebastian, Mohamed Zergaoui |
Early Nested Word Automata for XPath Query Answering on XML Streams. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit |
Using Regular Grammars for Event-Based Testing. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Henry, Géraud Sénizergues |
LALBLC A Program Testing the Equivalence of dpda's. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Deterministic Counter Machines and Parallel Matching Computations. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt |
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis (eds.) |
Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat |
A Completion Algorithm for Lattice Tree Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Mráz, Friedrich Otto |
Lambda-Confluence Is Undecidable for Clearing Restarting Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Chistikov 0001, Rupak Majumdar |
A Uniformization Theorem for Nested Word to Word Transductions. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Balkanski, Francine Blanchet-Sadri, Matthew Kilgore, Benjamin J. Wyatt |
Partial Word DFAs. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko |
Enhancing Approximations for Regular Reachability Analysis. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Sebastian Jakobi |
Brzozowski's Minimization Algorithm - More Robust than Expected - (Extended Abstract). |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Sutner |
Invertible Transducers, Iteration and Coordinates. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch |
Implementation Concepts in Vaucanson 2. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Houda Abbad, Éric Laugerotte |
Computing Weights. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot |
Trimming Visibly Pushdown Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Jürgensen |
Automata for Codes. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Prusa, Frantisek Mráz, Friedrich Otto |
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata. |
CIAA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko |
On Positive TAGED with a Bounded Number of Constraints. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Reidenbach, Markus L. Schmid |
Automata with Modulo Counters and Nondeterministic Counter Bounds. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingwen Liu, Yong Sun, Li Guo 0001, Binxing Fang |
SDFA: Series DFA for Memory-Efficient Regular Expression Matching. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Friedrich Otto |
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Strict Local Testability with Consensus Equals Regularity. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Amavi, Jacques Chabin, Pierre Réty |
Weak Inclusion for Recursive XML Types. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehryar Mohri |
A Disambiguation Algorithm for Finite Automata and Functional Transducers. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Jez, Andreas Maletti |
Hyper-minimization for Deterministic Tree Automata. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel V. Martyugin |
Synchronization of Automata with One Undefined or Ambiguous Transition. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Allauzen, Michael Riley 0001 |
A Pushdown Transducer Extension for the OpenFst Library. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Gusev |
Synchronizing Automata of Bounded Rank. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Mandrali |
Weighted LTL with Discounting. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski |
In Search of Most Complex Regular Languages. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
A Formal Framework for Processes Inspired by the Functioning of Living Cells. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ines Klimann, Jean Mairesse, Matthieu Picantin |
Implementing Computations in Automaton (Semi)groups. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail V. Berlinkov |
Synchronizing Automata on Quasi-Eulerian Digraph. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Lombardy, Jacques Sakarovitch |
The Removal of Weighted ε-Transitions. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Sunic |
Cellular Automata on Regular Rooted Trees. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fedor M. Fominykh, Mikhail V. Volkov 0001 |
P(l)aying for Synchronization. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Amarni, Sylvain Lombardy |
Factor and Subsequence Kernels and Signatures of Rational Languages. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Benjamin Monmege |
Adding Pebbles to Weighted Automata. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Nicholas Q. Trân |
How to Synchronize the Heads of a Multitape Automaton. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Prusa, Frantisek Mráz |
Restarting Tiling Automata. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Jahn, Manfred Kufleitner, Alexander Lauser |
Regular Ideal Languages and Their Boolean Combinations. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira |
Typed Linear Algebra for Weigthed (Probabilistic) Automata. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Goc, Dane Henshall, Jeffrey O. Shallit |
Automatic Theorem-Proving in Combinatorics on Words. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Tomás Masopust |
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao 0001, Kai Salomaa |
In Memoriam Sheng Yu. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Bundit Pibaljommee |
Weighted Nested Word Automata and Logics over Strong Bimonoids. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelma Moreira, Rogério Reis (eds.) |
Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Faro, Thierry Lecroq |
A Fast Suffix Automata Based Algorithm for Exact Online String Matching. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Multi-Tilde-Bar Derivatives. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Gian-Luigi Ferrari 0002, Gianluca Mezzetti |
Nominal Automata for Resource Usage Control. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Reuß, Helmut Seidl |
Crossing the Syntactic Barrier: Hom-Disequalities for H1-Clauses. |
CIAA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Martin Kutrib, Katja Meckel |
Nondeterministic State Complexity of Star-Free Languages. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel (eds.) |
Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle, Irène Durand |
Fly-Automata, Their Properties and Applications. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Daciuk, Dawid Weiss |
Smaller Representation of Finite State Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny Skvortsov, Evgeny Tipikin |
Experimental Study of the Shortest Reset Word of Random Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Sang-Ki Ko |
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren |
Streamable Fragments of Forward XPath. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra |
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesna Pajic, Gordana Pavlovic-Lazetic, Milos Pajic |
Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erez Buchnik |
Bouma2 - A High-Performance Input-Aware Multiple String-Match Algorithm. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gawrychowski |
Chrobak Normal Form Revisited, with Applications. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Flouri, Jan Janousek, Borivoj Melichar, Costas S. Iliopoulos, Solon P. Pissis |
Tree Template Matching in Ranked Ordered Trees by Pushdown Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Felscher, Wolfgang Thomas |
Compositional Failure Detection in Structured Transition Systems. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Alexander Ja. Dikovsky, Annie Foret |
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Jez, Andreas Maletti |
Computing All ℓ-Cover Automata Fast. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Violetta Lonati, Matteo Pradella |
Towards More Expressive 2D Deterministic Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl, Alois C. Knoll |
On the Hardness of Priority Synthesis. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Castaño, Rodrigo Castaño |
Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Carnino, Sven De Felice |
Random Generation of Deterministic Acyclic Automata Using Markov Chains. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giusi Castiglione, Antonio Restivo, Marinella Sciortino |
Nondeterministic Moore Automata and Brzozowski's Algorithm. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Supaporn Chairungsee, Maxime Crochemore |
Building Phylogeny with Minimal Absent Words. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty |
Weak Inclusion for XML Types. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens |
Distributed Event Clock Automata - Extended Abstract. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko 0001 |
Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Martyugin |
Complexity of Problems Concerning Reset Words for Cyclic and Eulerian Automata. |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license