| 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.  |
AFL  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Christian Rauch 0001 |
On Minimal Pumping Constants for Regular Languages. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Luca Prigioniero |
Once-Marking and Always-Marking 1-Limited Automata. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy |
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Tran |
Separating Words from Every Start State with Horner Automata. |
AFL |
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. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshiki Nakamura 0001, Ryoma Sin'ya |
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman |
When Stars Control a Grammar's Work. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataliya Gribovskaya, Irina B. Virbitskaite |
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher |
Reversible Two-Party Computations. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Szilárd Zsolt Fazekas, Shinnosuke Seki |
Freezing 1-Tag Systems with States. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason P. Bell, Daniel Smertnig, Hellis Tamm |
Duality of lattices associated to left and right quotients. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bianca Truthe |
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Damljanovic, Miroslav Ciric 0001, Jelena Ignjatovic |
Weighted Automata over Vector Spaces. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Ciric 0001, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen |
Approximate State Reduction of Fuzzy Finite Automata. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea-Teodora Nász |
Solving the Weighted HOM-Problem With the Help of Unambiguity. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O. Shallit, Sonja Linghui Shan |
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mansur Ziiatdinov, Aliya Khadieva, Abuzer Yakaryilmaz |
GAPs for Shallow Implementation of Quantum Finite Automata. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková |
Operations on Boolean and Alternating Finite Automata. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Nils Oskar Nuernbergk |
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Barcucci, Antonio Bernini, Stefano Bilotta, Renzo Pinzani |
A Construction for Variable Dimension Strong Non-Overlapping Matrices. |
AFL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Plátek, Friedrich Otto |
On h-Lexicalized Restarting Automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Zoltán Ésik, Werner Kuich |
The Triple-Pair Construction for Weighted ω-Pushdown Automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna J. Lavado, Giovanni Pighizzini, Luca Prigioniero |
Weakly and Strongly Irreversible Regular Languages. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Double-Head Pushdown Automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, S. Osborne |
Constructing Words with High Distinct Square Densities. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy, Shaghayegh Parchami, Hamid Mir Mohammad Sadeghi |
A New Sensing 5'->3' Watson-Crick Automata Concept. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Nakanishi, Abuzer Yakaryilmaz |
Affine counter automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Özlem Salehi, Flavio D'Alessandro, A. C. Cem Say |
Generalized Results on Monoids as Memory. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Kun Chen, Kenneth Hawes |
Dyck Words, Lattice Paths, and Abelian Borders. |
AFL |
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. |
AFL |
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. |
AFL |
2017 |
DBLP BibTeX RDF |
|
| 1 | Simon Beier, Markus Holzer 0001, Martin Kutrib |
On the Descriptional Complexity of Operations on Semilinear Sets. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella |
Higher-order Operator Precedence Languages. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joey Becker, Francine Blanchet-Sadri, Laure Flapan, Stephen Watkins |
Unavoidable Sets of Partial Words of Uniform Length. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Moss |
Derivatives of Parsing Expression Grammars. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurette Marais, Lynette van Zijl |
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kitti Gelle, Szabolcs Iván |
Reversible languages having finitely many reduced automata. |
AFL |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Rudolf Freund, Sergiu Ivanov 0001, Sergey Verlan |
(Tissue) P Systems with Vesicles of Multisets. |
AFL |
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. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Löding |
Decision Problems for Deterministic Pushdown Automata on Infinite Words. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
Measuring Communication in Parallel Communicating Finite Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Valmari |
Character Strings and Gödel's Incompleteness Proof. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Matthew Hague |
Saturation algorithms for model-checking pushdown systems. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth |
Equivalence Problems for Tree Transducers: A Brief Survey. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | László Hegedüs, Benedek Nagy |
Representations of Circular Words. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maris Valdats |
Boolean Circuit Complexity of Regular Languages. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Barash, Alexander Okhotin |
Grammars with two-sided contexts. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Daniel Quernheim |
Hyper-Minimization for Deterministic Weighted Tree Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berglund, Frank Drewes, Brink van der Merwe |
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Rudolf Freund, Markus Holzer 0001 |
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Klíma 0001 |
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract). |
AFL |
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. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer 0001 |
From Finite Automata to Regular Expressions and Back-A Summary on Descriptional Complexity. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Milka Hutagalung, Martin Lange, Étienne Lozes |
Buffered Simulation Games for Büchi Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Carnino, Sylvain Lombardy |
On Determinism and Unambiguity of Weighted Two-way Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Gareth Davies 0001 |
Maximally Atomic Languages. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu |
Simplifying Nondeterministic Finite Cover Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Szabolcs Iván |
Synchronizing weighted automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Commutative Languages and their Composition by Consensual Methods. |
AFL |
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. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Vorel |
Subset Synchronization of Transitive Automata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karel Brinda |
Languages of lossless seeds. |
AFL |
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. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Sebastian Jakobi |
More Structural Characterizations of Some Subregular Language Families by Biautomata. |
AFL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri |
Open Problems on Avoidable Patterns in Partial Words. |
AFL |
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. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lila Kari, Zhi Xu 0003 |
De Bruijn Sequences Revisited. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Bo Liu 0092 |
Quotient Complexity of Star-Free Languages. |
AFL |
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. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Sarah Nelson, Amelia Tebbe |
On Operations Preserving Primitivity of Partial Words with One Hole. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander Meduna, Lukás Vrábel, Petr Zemek |
On Nondeterminism in Programmed Grammars. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Attila Egri-Nagy, Chrystopher L. Nehaniv |
Symmetries of Automata. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Szabolcs Iván, Ágnes Mészáros |
Müller context-free grammars generating well-ordered words. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Esther-Anna Loeliger, Chrystopher L. Nehaniv |
Affordance Graphs for User Interface Design: Application of Category-theoretic Constructs. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Cermák, Alexander Meduna |
n-Accepting Restricted Pushdown Automata Systems. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Masami Ito |
K-Restricted Duplication Closure of Languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa, Sándor Vágvölgyi |
Tree Homomorphisms for Unranked Trees. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andreas Maletti |
Notes on Hyper-minimization. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Shinnosuke Seki |
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean-Éric Pin |
Equational descriptions of languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hiroshi Umeo |
Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations. |
AFL |
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. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Szilárd Zsolt Fazekas, Peter Leupold, Kayoko Shikishima-Tsuji |
Palindromes and Primitivity. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yoshiyuki Kunimochi |
Algebraic Properties of Petri Net Morphisms based on Place Connectivity. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andreas Maletti, Daniel Quernheim |
Hyper-minimisation of deterministic weighted finite automata over semifields. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv |
Algorithms for the Efficient Calculation of the Holonomy Decomposition. |
AFL |
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. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Borgwardt, Rafael Peñaloza |
The Inclusion Problem for Weighted Automata on Infinite Trees. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Benedek Nagy, Friedrich Otto |
Deterministic Pushdown-CD-Systems of Stateless Deterministic R(1)-Automata. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vedala T. K. Pramod, Kanduru V. Krishna |
Towards Shortest Synchronizing Words in Polynomial Time. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Choffrut |
On relations of finite words over infinite alphabets. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib |
The Chop of Languages. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Antonio Cano, Eija Jurvanen |
Varieties of Languages and Frontier Check. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Florin Manea, Bianca Truthe |
Accepting Networks of Evolutionary Processors with Subregular Filters. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manfred Kufleitner, Alexander Lauser |
Around Dot-Depth One. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miklós Bartha |
Simulation equivalence of automata and circuits. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Breveglieri, Alessandra Cherubini, Claudia Di Nucci, Emanuele Rodaro |
NP-completeness of the alphabetical satisfiability problem for trace equations. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Sublinearly Space Bounded Iterative Arrays. |
AFL |
2008 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license