Login / Signup
AFL
2008
2012
2018
2023
2008
2023
Keyphrases
Publications
2023
Galina Jirásková
Operations on Boolean and Alternating Finite Automata.
AFL
(2023)
Henning Fernau
,
Lakshmanan Kuppusamy
,
Indhumathi Raman
When Stars Control a Grammar's Work.
AFL
(2023)
Giovanni Pighizzini
,
Luca Prigioniero
Once-Marking and Always-Marking 1-Limited Automata.
AFL
(2023)
Elena Barcucci
,
Antonio Bernini
,
Stefano Bilotta
,
Renzo Pinzani
A Construction for Variable Dimension Strong Non-Overlapping Matrices.
AFL
(2023)
Nataliya Gribovskaya
,
Irina B. Virbitskaite
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.
AFL
(2023)
Andreea-Teodora Nász
Solving the Weighted HOM-Problem With the Help of Unambiguity.
AFL
(2023)
Miroslav Ciric
,
Ivana Micic
,
Stefan Stanimirovic
,
Linh Anh Nguyen
Approximate State Reduction of Fuzzy Finite Automata.
AFL
(2023)
Szilárd Zsolt Fazekas
,
Shinnosuke Seki
Freezing 1-Tag Systems with States.
AFL
(2023)
Yoshiki Nakamura
,
Ryoma Sin'ya
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements.
AFL
(2023)
Victor Mitrana
,
Mihaela Paun
On the Degree of Extension of Some Models Defining Non-Regular Languages.
AFL
(2023)
Martin Kutrib
,
Andreas Malcher
Reversible Two-Party Computations.
AFL
(2023)
Nada Damljanovic
,
Miroslav Ciric
,
Jelena Ignjatovic
Weighted Automata over Vector Spaces.
AFL
(2023)
Andreas Maletti
,
Nils Oskar Nuernbergk
Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings.
AFL
(2023)
Mansur Ziiatdinov
,
Aliya Khadieva
,
Abuzer Yakaryilmaz
GAPs for Shallow Implementation of Quantum Finite Automata.
AFL
(2023)
Jeffrey O. Shallit
,
Sonja Linghui Shan
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory.
AFL
(2023)
Benedek Nagy
State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters.
AFL
(2023)
Bianca Truthe
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars.
AFL
(2023)
Nicholas Tran
Separating Words from Every Start State with Horner Automata.
AFL
(2023)
Markus Holzer
,
Christian Rauch
On Minimal Pumping Constants for Regular Languages.
AFL
(2023)
volume 386, 2023
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023.
AFL
386 (2023)
2017
Stefano Crespi-Reghizzi
,
Matteo Pradella
Higher-order Operator Precedence Languages.
AFL
(2017)
Joey Becker
,
Francine Blanchet-Sadri
,
Laure Flapan
,
Stephen Watkins
Unavoidable Sets of Partial Words of Uniform Length.
AFL
(2017)
Aaron Moss
Derivatives of Parsing Expression Grammars.
AFL
(2017)
Manfred Droste
,
Zoltán Ésik
,
Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata.
AFL
(2017)
Francine Blanchet-Sadri
,
S. Osborne
Constructing Words with High Distinct Square Densities.
AFL
(2017)
Simon Beier
,
Markus Holzer
,
Martin Kutrib
On the Descriptional Complexity of Operations on Semilinear Sets.
AFL
(2017)
Markus Holzer
,
Martin Kutrib
,
Andreas Malcher
,
Matthias Wendlandt
Input-Driven Double-Head Pushdown Automata.
AFL
(2017)
Benedek Nagy
,
Shaghayegh Parchami
,
Hamid Mir Mohammad Sadeghi
3' Watson-Crick Automata Concept.
AFL
(2017)
Laurette Marais
,
Lynette van Zijl
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata.
AFL
(2017)
Masaki Nakanishi
,
Abuzer Yakaryilmaz
Affine counter automata.
AFL
(2017)
Kitti Gelle
,
Szabolcs Iván
Reversible languages having finitely many reduced automata.
AFL
(2017)
Artiom Alhazov
,
Rudolf Freund
,
Sergiu Ivanov
,
Sergey Verlan
(Tissue) P Systems with Vesicles of Multisets.
AFL
(2017)
Özlem Salehi
,
Flavio D'Alessandro
,
A. C. Cem Say
Generalized Results on Monoids as Memory.
AFL
(2017)
Martin Plátek
,
Friedrich Otto
On h-Lexicalized Restarting Automata.
AFL
(2017)
Francine Blanchet-Sadri
,
Kun Chen
,
Kenneth Hawes
Dyck Words, Lattice Paths, and Abelian Borders.
AFL
(2017)
Giovanna J. Lavado
,
Giovanni Pighizzini
,
Luca Prigioniero
Weakly and Strongly Irreversible Regular Languages.
AFL
(2017)
Alexander Meduna
,
Jakub Martisko
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages.
AFL
(2017)
volume 252, 2017
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017.
AFL
252 (2017)
2014
László Hegedüs
,
Benedek Nagy
Representations of Circular Words.
AFL
(2014)
Ondrej Klíma
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract).
AFL
(2014)
Szabolcs Iván
Synchronizing weighted automata.
AFL
(2014)
Stefano Crespi-Reghizzi
,
Pierluigi San Pietro
Commutative Languages and their Composition by Consensual Methods.
AFL
(2014)
Henning Bordihn
,
Martin Kutrib
,
Andreas Malcher
Measuring Communication in Parallel Communicating Finite Automata.
AFL
(2014)
Claudia Carapelle
,
Shiguang Feng
,
Oliver Fernandez Gil
,
Karin Quaas
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.
AFL
(2014)
Kristína Cevorová
,
Galina Jirásková
,
Peter Mlynárcik
,
Matús Palmovský
,
Juraj Sebej
Operations on Automata with All States Final.
AFL
(2014)
Vojtech Vorel
Subset Synchronization of Transitive Automata.
AFL
(2014)
Karel Brinda
Languages of lossless seeds.
AFL
(2014)
Chen Fei Du
,
Jeffrey O. Shallit
Similarity density of the Thue-Morse word with overlap-free infinite binary words.
AFL
(2014)
Maris Valdats
Boolean Circuit Complexity of Regular Languages.
AFL
(2014)
volume 151, 2014
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014.
AFL
151 (2014)