Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Victor Mitrana, Mihaela Paun |
On the Degree of Extension of Some Models Defining Non-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 12-24, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Christian Rauch 0001 |
On Minimal Pumping Constants for Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 127-141, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Pighizzini, Luca Prigioniero |
Once-Marking and Always-Marking 1-Limited Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 215-227, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy |
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 170-184, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Tran |
Separating Words from Every Start State with Horner Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 243-252, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai (eds.) |
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001, Ryoma Sin'ya |
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 185-199, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
When Stars Control a Grammar's Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 96-111, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nataliya Gribovskaya, Irina B. Virbitskaite |
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 112-126, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Reversible Two-Party Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 142-154, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Szilárd Zsolt Fazekas, Shinnosuke Seki |
Freezing 1-Tag Systems with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 82-95, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jason P. Bell, Daniel Smertnig, Hellis Tamm |
Duality of lattices associated to left and right quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 35-50, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bianca Truthe |
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 253-268, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nada Damljanovic, Miroslav Ciric 0001, Jelena Ignjatovic |
Weighted Automata over Vector Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 67-81, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav Ciric 0001, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen |
Approximate State Reduction of Fuzzy Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 51-66, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreea-Teodora Nász |
Solving the Weighted HOM-Problem With the Help of Unambiguity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 200-214, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey O. Shallit, Sonja Linghui Shan |
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 228-242, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mansur Ziiatdinov, Aliya Khadieva, Abuzer Yakaryilmaz |
GAPs for Shallow Implementation of Quantum Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 269-280, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Galina Jirásková |
Operations on Boolean and Alternating Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 3-10, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti, Nils Oskar Nuernbergk |
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 155-169, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elena Barcucci, Antonio Bernini, Stefano Bilotta, Renzo Pinzani |
A Construction for Variable Dimension Strong Non-Overlapping Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023., pp. 25-34, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Plátek, Friedrich Otto |
On h-Lexicalized Restarting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 219-233, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Zoltán Ésik, Werner Kuich |
The Triple-Pair Construction for Weighted ω-Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 101-113, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna J. Lavado, Giovanni Pighizzini, Luca Prigioniero |
Weakly and Strongly Irreversible Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 143-156, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Double-Head Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 128-142, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, S. Osborne |
Constructing Words with High Distinct Square Densities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 71-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Shaghayegh Parchami, Hamid Mir Mohammad Sadeghi |
A New Sensing 5'->3' Watson-Crick Automata Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 195-204, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Nakanishi, Abuzer Yakaryilmaz |
Affine counter automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 205-218, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say |
Generalized Results on Monoids as Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 234-247, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Kun Chen, Kenneth Hawes |
Dyck Words, Lattice Paths, and Abelian Borders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 56-70, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Meduna, Jakub Martisko |
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 170-179, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil (eds.) |
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Simon Beier, Markus Holzer 0001, Martin Kutrib |
On the Descriptional Complexity of Operations on Semilinear Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 41-55, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Matteo Pradella |
Higher-order Operator Precedence Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 86-100, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joey Becker, Francine Blanchet-Sadri, Laure Flapan, Stephen Watkins |
Unavoidable Sets of Partial Words of Uniform Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 26-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Moss |
Derivatives of Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 180-194, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Laurette Marais, Lynette van Zijl |
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 157-169, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kitti Gelle, Szabolcs Iván |
Reversible languages having finitely many reduced automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 114-127, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Artiom Alhazov, Rudolf Freund, Sergiu Ivanov 0001, Sergey Verlan |
(Tissue) P Systems with Vesicles of Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017., pp. 11-25, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik, Zoltán Fülöp 0001 (eds.) |
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christof Löding |
Decision Problems for Deterministic Pushdown Automata on Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 55-73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
Measuring Communication in Parallel Communicating Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 124-138, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari |
Character Strings and Gödel's Incompleteness Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 355-369, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Matthew Hague |
Saturation algorithms for model-checking pushdown systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 1-24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth |
Equivalence Problems for Tree Transducers: A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 74-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | László Hegedüs, Benedek Nagy |
Representations of Circular Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 261-270, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maris Valdats |
Boolean Circuit Complexity of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 342-354, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Barash, Alexander Okhotin |
Grammars with two-sided contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 94-108, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti, Daniel Quernheim |
Hyper-Minimization for Deterministic Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 314-326, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Berglund, Frank Drewes, Brink van der Merwe |
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 109-123, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Rudolf Freund, Markus Holzer 0001 |
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 246-260, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Klíma 0001 |
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 49-54, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 174-187, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001 |
From Finite Automata to Regular Expressions and Back-A Summary on Descriptional Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 25-48, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Milka Hutagalung, Martin Lange, Étienne Lozes |
Buffered Simulation Games for Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 286-300, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 188-200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 327-341, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski, Gareth Davies 0001 |
Maximally Atomic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 151-161, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cezar Câmpeanu |
Simplifying Nondeterministic Finite Cover Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 162-173, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Szabolcs Iván |
Synchronizing weighted automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 301-313, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Commutative Languages and their Composition by Consensual Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 216-230, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kristína Cevorová, Galina Jirásková, Peter Mlynárcik, Matús Palmovský, Juraj Sebej |
Operations on Automata with All States Final. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 201-215, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Vorel |
Subset Synchronization of Transitive Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 370-381, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karel Brinda |
Languages of lossless seeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 139-150, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chen Fei Du, Jeffrey O. Shallit |
Similarity density of the Thue-Morse word with overlap-free infinite binary words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 231-245, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Sebastian Jakobi |
More Structural Characterizations of Some Subregular Language Families by Biautomata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014., pp. 271-285, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri |
Open Problems on Avoidable Patterns in Partial Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 12-24, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Pál Dömösi, Szabolcs Iván (eds.) |
Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![, 978-615-5097-19-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Lila Kari, Zhi Xu 0003 |
De Bruijn Sequences Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 241-254, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Janusz A. Brzozowski, Bo Liu 0092 |
Quotient Complexity of Star-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 138-152, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Gemma Bel Enguix, María Adela Grando, María Dolores Jiménez-López |
Grammar Systems as Orchestras of Grammatical Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 65-78, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Sarah Nelson, Amelia Tebbe |
On Operations Preserving Primitivity of Partial Words with One Hole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 93-107, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alexander Meduna, Lukás Vrábel, Petr Zemek |
On Nondeterminism in Programmed Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 315-327, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Attila Egri-Nagy, Chrystopher L. Nehaniv |
Symmetries of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 391, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Szabolcs Iván, Ágnes Mészáros |
Müller context-free grammars generating well-ordered words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 225-240, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Esther-Anna Loeliger, Chrystopher L. Nehaniv |
Affordance Graphs for User Interface Design: Application of Category-theoretic Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 392-394, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Martin Cermák, Alexander Meduna |
n-Accepting Restricted Pushdown Automata Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 168-183, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Masami Ito |
K-Restricted Duplication Closure of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 28-33, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Xiaoxue Piao, Kai Salomaa, Sándor Vágvölgyi |
Tree Homomorphisms for Unranked Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 343-357, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Andreas Maletti |
Notes on Hyper-minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 34-49, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Oscar H. Ibarra, Shinnosuke Seki |
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 211-224, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jean-Éric Pin |
Equational descriptions of languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 50-63, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Hiroshi Umeo |
Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 368-387, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas |
Channel Synthesis for Finite Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 79-92, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Szilárd Zsolt Fazekas, Peter Leupold, Kayoko Shikishima-Tsuji |
Palindromes and Primitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 184-196, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Yoshiyuki Kunimochi |
Algebraic Properties of Petri Net Morphisms based on Place Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 270-284, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Andreas Maletti, Daniel Quernheim |
Hyper-minimisation of deterministic weighted finite automata over semifields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 285-299, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv |
Algorithms for the Efficient Calculation of the Holonomy Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 389-390, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Janusz A. Brzozowski, Galina Jirásková, Baiyu Li, Joshua Smith 0001 |
Quotient Complexity of Bifix-, Factor-, and Subword-Free Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 123-137, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Stefan Borgwardt, Rafael Peñaloza |
The Inclusion Problem for Weighted Automata on Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 108-122, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Benedek Nagy, Friedrich Otto |
Deterministic Pushdown-CD-Systems of Stateless Deterministic R(1)-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 328-342, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Vedala T. K. Pramod, Kanduru V. Krishna |
Towards Shortest Synchronizing Words in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 358-367, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Christian Choffrut |
On relations of finite words over infinite alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 25-27, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib |
The Chop of Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 197-210, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Antonio Cano, Eija Jurvanen |
Varieties of Languages and Frontier Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 153-167, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Florin Manea, Bianca Truthe |
Accepting Networks of Evolutionary Processors with Subregular Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 300-314, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Manfred Kufleitner, Alexander Lauser |
Around Dot-Depth One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 13th International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011, Proceedings., pp. 255-269, 2011, 978-615-5097-19-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Miklós Bartha |
Simulation equivalence of automata and circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings., pp. 86-99, 2008, 978-963-311-367-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Luca Breveglieri, Alessandra Cherubini, Claudia Di Nucci, Emanuele Rodaro |
NP-completeness of the alphabetical satisfiability problem for trace equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings., pp. 111-121, 2008, 978-963-311-367-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Sublinearly Space Bounded Iterative Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFL ![In: Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings., pp. 292-301, 2008, 978-963-311-367-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|