| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ryoma Sin'ya |
Context-Freeness of Word-MIX Languages.  |
DLT  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Barker, Pamela Fleischmann, Katharina Harwardt, Florin Manea, Dirk Nowotka |
Scattered Factor-Universality of Words. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Edwin Hamel-De le Court, Jean-Gabriel Luque |
A Study of a Simple Class of Modifiers: Product Modifiers. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Kopra |
Dynamics of Cellular Automata on Beta-Shifts and Direct Topological Factorizations. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Amazigh Amrane, Nicolas Bedon |
Equational Theories of Scattered and Countable Series-Parallel Posets. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaela Löbel, Michael Luttenberger, Helmut Seidl |
Equivalence of Linear Tree Transducers with Output in the Free Group. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Kevin Stier |
On Tree Substitution Grammars. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Fleischmann, Marie Lejeune, Florin Manea, Dirk Nowotka, Michel Rigo |
Reconstructing Words from Right-Bounded-Block Words. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus de Oliveira Oliveira, Michael Wehar |
On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasa Jonoska, Dmytro Savchuk (eds.) |
Developments in Language Theory - 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rowland, Manon Stipulanti |
Avoiding 5/4-Powers on the Alphabet of Nonnegative Integers (Extended Abstract). |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Frosini, Lama Tarsissi |
The Characterization of Rational Numbers Belonging to a Minimal Path in the Stern-Brocot Tree According to a Second Order Balancedness. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Collin Bleak |
On Normalish Subgroups of the R. Thompson Groups. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunjoon Cheon, Yo-Sub Han |
Computing the Shortest String and the Edit-Distance for Parsing Expression Languages. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Rukavicka |
Transition Property for α-Power Free Languages with $\alpha \ge 2$ and $k\ge 3$ Letters. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Modanese |
Sublinear-Time Language Recognition and Decision by One-Dimensional Cellular Automata. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaela Löbel, Michael Luttenberger, Helmut Seidl |
On the Balancedness of Tree-to-Word Transducers. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabienne Chouraqui |
An Approach to the Herzog-Schönheim Conjecture Using Automata. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Jozef Jirásek Jr., Ian McQuillan, Luca Prigioniero |
Space Complexity of Stack Automata Models. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Fleischer, Jeffrey O. Shallit |
The State Complexity of Lexicographically Smallest Words and Computing Successors. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lietard, Matthieu Rosenfeld |
Avoidability of Additive Cubes over Alphabets of Four Numbers. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Timothy Ng 0001 |
Descriptional Complexity of Semi-simple Splicing Systems. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Hospodár, Peter Mlynárcik |
Operations on Permutation Automata. |
DLT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin, Amaldev Manuel, R. Govind 0001 |
Logics for Reversible Regular Languages and Semigroups with Involution. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Brough, Alan J. Cain, Markus Pfeiffer |
Context-Free Word Problem Semigroups. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker |
Inherent Size Blowup in ω-Automata. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotrek Hofman, Michal Skrzypczak (eds.) |
Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Zuzana Bednárová, Alexander Szabari |
Input-Driven Pushdown Automata for Edit Distance Neighborhood. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksi Saarela |
Separating Many Words by Counting Occurrences of Factors. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Kuperberg, Laureline Pinault, Damien Pous |
Coinductive Algorithms for Büchi Automata. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinnosuke Seki |
Single-Stranded Architectures for Computing. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Ambroz, Edita Pelantová |
On Palindromic Length of Sturmian Sequences. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Umer Azfar, Costanza Catalano, Ludovic Charlier, Raphaël M. Jungers |
A Linear Bound on the K-Rendezvous Time for Primitive Sets of NZ Matrices. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Di-De Yen, Hsu-Chun Yen |
Characterizing the Valuedness of Two-Way Finite Transducers. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi 0001 |
On Timed Scope-Bounded Context-Sensitive Languages. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Iosti, Denis Kuperberg |
Eventually Safe Languages. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Goldwurm, Jianyi Lin, Marco Vignati |
Analysis of Symbol Statistics in Bicomponent Rational Models. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Massazza |
Hole-Free Partially Directed Animals. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Egor Dobronravov, Nikita Dobronravov, Alexander Okhotin |
On the Length of Shortest Strings Accepted by Two-Way Finite Automata. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Kari, Andrew Ryzhikov, Anton Varonka |
Words of Minimum Rank in Deterministic Finite Automata. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Mráz, Friedrich Otto |
On Shrinking Restarting Automata of Window Size One and Two. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Lejeune, Julien Leroy 0002, Michel Rigo |
Computing the k-binomial Complexity of the Thue-Morse Word. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Gao |
The Teaching Complexity of Erasing Pattern Languages with Bounded Variable Frequency. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka |
k-Spectra of Weakly-c-Balanced Words. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyunjoon Cheon, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa |
The Relative Edit-Distance Between Two Input-Driven Languages. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Jez |
Deciding Context Unification (with Regular Constraints). |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna E. Frid |
First Lower Bounds for Palindromic Length. |
DLT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturo Carpi, Flavio D'Alessandro |
On the Commutative Equivalence of Context-Free Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Da-Jung Cho, Yo-Sub Han, Hwee Kim, Kai Salomaa |
Site-Directed Deletion. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sang-Ki Ko, Reino Niskanen, Igor Potapov |
Reachability Problems in Nondeterministic Polynomial Maps on the Integers. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Alexander Okhotin |
Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Sang-Ki Ko, Timothy Ng 0001, Kai Salomaa |
Closest Substring Problems for Regular Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Michielini |
Uniformization Problem for Variants of First Order Logic over Finite Words. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Winslow |
Some Open Problems in Polyomino Tilings. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaull Almagor, Michaël Cadilhac, Filip Mazowiecki, Guillermo A. Pérez 0001 |
Weak Cost Register Automata Are Still Powerful. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
A Brief Excursion to Parity Games. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomohiro I |
The Runs Theorem and Beyond. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carton, Maurice Pouzet |
Simon's Theorem for Scattered Words. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin |
A Pattern Logic for Automata with Outputs. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, Daniel Prusa |
Two-Way Automata and One-Tape Machines - Read Only Versus Linear Time. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Björklund |
Tree-to-Graph Transductions with Scope. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
A Tale of Conjunctive Grammars. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Perrin |
Groups, Languages and Dendric Shifts. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander A. Rubtsov |
A Structural Lemma for Deterministic Context-Free Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl |
Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Beier, Markus Holzer 0001 |
Decidability of Right One-Way Jumping Finite Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Deque Languages, Automata and Planar Graphs. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário J. J. Branco, Jean-Éric Pin |
Inequalities for One-Step Products. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Baudru, Pierre-Alain Reynier |
From Two-Way Transducers to Regular Function Expressions. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar |
On Counting Functions of Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Sebastian Jakobi, Jozef Jirásek Jr. |
Computational Complexity of Decision Problems on Self-verifying Finite Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Giancarlo, Giovanni Manzini, Antonio Restivo, Giovanna Rosone, Marinella Sciortino |
Block Sorting-Based Transformations on Words: Beyond the Magic BWT. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Guillon, Martin Kutrib, Andreas Malcher, Luca Prigioniero |
Reversible Pushdown Transducers. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles J. Colbourn, Ryan E. Dougherty, Thomas Finn Lidbetter, Jeffrey O. Shallit |
Counting Subwords and Regular Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus de Oliveira Oliveira, Michael Wehar |
Intersection Non-emptiness and Hardness Within Polynomial Time. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Loff, Nelma Moreira, Rogério Reis |
The Computational Power of Parsing Expression Grammars. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mizuho Hoshi, Shinnosuke Seki (eds.) |
Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Gusev, Raphaël M. Jungers, Daniel Prusa |
Dynamics of the Independence Number and Automata Synchronization. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Fleischer |
The Intersection Problem for Finite Semigroups. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Complementation of Finitely Ambiguous Büchi Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Löding, Anton Pirogov |
On Finitely Ambiguous Büchi Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Landwehr, Christof Löding |
Projection for Büchi Tree Automata with Constraints Between Siblings. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
On Deterministic Ordered Restart-Delete Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel D. Day, Pamela Fleischmann, Florin Manea, Dirk Nowotka, Markus L. Schmid |
On Matching Generalised Repetitive Patterns. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Costanza Catalano, Raphaël M. Jungers |
The Synchronizing Probability Function for Primitive Sets of Matrices. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Svetlana Puzynina, Markus A. Whiteland |
On Abelian Subshifts. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Caucal, Chloé Rispal |
Recognizability for Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | François Gonze, Raphaël M. Jungers |
On Completely Reachable Automata and Subset Reachability. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenija A. Bondar, Mikhail V. Volkov 0001 |
A Characterization of Completely Reachable Automata. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Davies |
A General Approach to State Complexity of Operations: Formalization and Limitations. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Gruber, Markus Holzer 0001, Simon Wolfsteiner |
On Minimal Grammar Problems for Finite Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason P. Bell, Thomas Finn Lidbetter, Jeffrey O. Shallit |
Additive Number Theory via Approximation by Regular Languages. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Ian McQuillan |
Generalizations of Checking Stack Automata: Characterizations and Hierarchies. |
DLT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère |
Computer Aided Synthesis: A Game-Theoretic Approach. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Beier, Markus Holzer 0001, Martin Kutrib |
Operational State Complexity and Decidability of Jumping Finite Automata. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
One-Way Bounded-Error Probabilistic Pushdown Automata and Kolmogorov Complexity - (Preliminary Report). |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Skrzypczak |
Connecting Decidability and Complexity for MSO Logic. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Hugot, Adrien Boiret, Joachim Niehren |
Equivalence of Symbolic Tree Transducers. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michiel de Bondt, Henk Don, Hans Zantema |
DFAs and PFAs with Long Shortest Synchronizing Word Length. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Zantema, Wieb Bosma |
Classifying Non-periodic Sequences by Permutation Transducers. |
DLT |
2017 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license