| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Semyon Petrov, Alexander Okhotin |
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata.  |
LATA  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroki Morizumi |
On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
State Complexity of the Set of Synchronizing Words for Circular Automata and Automata over Binary Alphabets. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Mrykhin, Alexander Okhotin |
On Hardest Languages for One-Dimensional Cellular Automata. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kévin Perrot, Pacôme Perrotin, Sylvain Sené |
Optimising Attractor Computation in Boolean Automata Networks. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Bélanger, Ziyuan Gao, Sanjay Jain 0001, Wei Li 0050, Frank Stephan 0001 |
Learnability and Positive Equivalence Relations. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
Usefulness of Information and Unary Languages. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastien Sérée, Loïg Jezequel, Didier Lime |
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sarai Sheinvald |
Finite-Word Hyperlanguages. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasi S. Kulkarni, Jayalal Sarma, Janani Sundaresan |
On the Computational Power of Programs over BA2 Monoid. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Dörband, Thomas Feller 0001, Kevin Stier |
Approximated Determinisation of Weighted Tree Automata. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Dörband, Thomas Feller 0001, Kevin Stier |
Sequentiality of Group-Weighted Tree Automata. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Tree-Like Unit Refutations in Horn Constraint Systems. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dolce, L'ubomíra Dvoráková, Edita Pelantová |
On Balanced Sequences and Their Asymptotic Critical Exponent. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Oliver Gutsfeld, Markus Müller-Olm, Christian Dielitz |
Temporal Logics with Language Parameters. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.) |
Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Takayuki Miyazaki, Yasuhiko Minamide |
Context-Free Grammars with Lookahead. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Lye |
Deciding Non-emptiness of Hypergraph Languages Generated by Connection-preserving Fusion Grammars is NP-complete. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Pape-Lange |
Cadences in Grammar-Compressed Strings. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Birkmann, Stefan Milius, Henning Urbat |
On Language Varieties Without Boolean Operations. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina Dorigatti, Paolo Massazza |
Partially Directed Animals with a Bounded Number of Holes. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamoru Ishizuka, Takahito Aoto 0001, Munehiro Iwami |
Commutative Rational Term Rewriting. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Roderick Bloem, Masoud Ebrahimi 0002 |
Learning Mealy Machines with One Timer. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sankardeep Chakraborty, Roberto Grossi, Kunihiko Sadakane, Srinivasa Rao Satti |
Succinct Representations for (Non)Deterministic Finite Automata. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis |
Location Based Automata for Expressions with Shuffle. |
LATA |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Lye |
Context-Sensitive Fusion Grammars Are Universal. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Dondi, Giancarlo Mauri, Italo Zoppis |
Complexity Issues of String to Graph Approximate Matching. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Moss |
Simplified Parsing Expression Derivatives. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Labai, Tomer Kotek, Magdalena Ortiz 0001, Helmut Veith |
Pebble-Intervals Automata and FO2 with Two Orders. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Daviaud |
Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Éric Pin |
How to Prove that a Language Is Regular or Star-Free? |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Serge Haddad |
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place |
Deciding Classes of Regular Languages: The Covering Approach. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffery Dick, Laura K. Hutchinson, Robert Mercas, Daniel Reidenbach |
Reducing the Ambiguity of Parikh Matrices. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender |
The New Complexity Landscape Around Circuit Minimization. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Berdinsky, Prohrak Kruengthomya |
Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles over the Circle. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Christian Choffrut |
$\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Bhaskar, Jane Chandlee, Adam Jardine, Christopher Oakden |
Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen |
On Collapsing Prefix Normal Words. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Zantema |
Complexity of Automatic Sequences. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
The Automatic Baire Property and an Effective Property of ømega-Rational Functions. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Ji, Jeffrey Heinz |
Input Strictly Local Tree Transducers. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehmet Utkan Gezer |
Windable Heads and Recognizing NL with Constant Randomness. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron (eds.) |
Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Amano |
On the Size of Depth-Two Threshold Circuits for the Inner Product Mod 2 Function. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Klíma 0001, Peter Kostolányi |
Geometrically Closed Positive Varieties of Star-Free Languages. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Haase |
Approaching Arithmetic Theories with Finite-State Automata. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky 0001 |
On the Weisfeiler-Leman Dimension of Fractional Packing. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Alexey Sorokin |
Cyclic Shift on Multi-component Grammars. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Clelia De Felice, Rocco Zaccagnino, Rosalba Zizza |
Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Grosshans |
The Power of Programs over Monoids in [inline-graphic not available: see fulltext]. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Jez |
Recompression: Technique for Word Equations and Compressed Data. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Keeler, Kai Salomaa |
Alternating Finite Automata with Limited Universal Branching. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Bilal Uçan |
Limited Two-Way Deterministic Finite Automata with Advice. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Néraud |
Complete Variable-Length Codes: An Excursion into Word Edit Operations. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Gao, Sanjay Jain 0001, Ji Qi, Philipp Schlicht, Frank Stephan 0001, Jacob Tarr |
Ordered Semiautomatic Rings with Applications to Geometry. |
LATA |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Fenner, Daniel Padé |
Complexity of Regex Crosswords. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Émilie Charlier, Svetlana Puzynina, Élise Vandomme |
Recurrence in Multidimensional Words. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahad N. Zehmakan |
Tight Bounds on the Minimum Size of a Dynamic Monopoly. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Meer, Ameen Naif |
Automata over Infinite Sequences of Reals. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Becker, Klaus Sutner |
Orbits of Abelian Automaton Groups. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Rytter, Wiktor Zuba |
Syntactic View of Sigma-Tau Generation of Permutations. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau |
Modern Aspects of Complexity Within Formal Languages. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.) |
Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir A. Zakharov |
Equivalence Checking of Prefix-Free Transducers and Deterministic Two-Tape Automata. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca |
Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Dubernard, Giovanna Guaiana, Ludovic Mignot |
Geometrical Closure of Binary V_3/2 Languages. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Iovka Boneva, Joachim Niehren, Momar Sakho |
Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Zakirzyanov, António Morgado 0001, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva 0001 |
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery |
Closure and Nonclosure Properties of the Compressible and Rankable Sets. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Rule-Based Unification in Combined Theories and the Finite Variant Property. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Klíma 0001, Libor Polák |
On Varieties of Ordered Automata. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpana Mahalingam, Palak Pandoh |
On the Maximum Number of Distinct Palindromic Sub-arrays. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
Generalized Register Context-Free Grammars. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Ondrej Klíma 0001 |
Deterministic Biautomata and Subclasses of Deterministic Linear Languages. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim V. Lozin |
From Words to Graphs, and Back. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthold Hoffmann, Mark Minas |
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Bishop, Murray Elder |
Bounded Automata Groups are co-ET0L. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Cordero |
A Note with Computer Exploration on the Triangle Conjecture. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Müllner, Andrew Ryzhikov |
Palindromic Subsequences in Finite Words. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Transformation of Petri Nets into Context-Dependent Fusion Grammars. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Malek Anabtawi, Sabit Hassan, Christos A. Kapoutsis, Mohammad Zakzok |
An Oracle Hierarchy for Small One-Way Finite Automata. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Linard, Colin de la Higuera, Frits W. Vaandrager |
Learning Unions of k-Testable Languages. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Parys |
Extensions of the Caucal Hierarchy? |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Observation and Interaction - Invited Paper. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amazigh Amrane, Nicolas Bedon |
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Timothy Ng 0001 |
State Complexity of Pseudocatenation. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszynski, Tomasz Walen, Wiktor Zuba |
Efficient Representation and Counting of Antipower Factors in Words. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Maria Madonia, Carla Selmi |
Toroidal Codes and Conjugate Pictures. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Michal Hospodár |
The Range of State Complexities of Languages Resulting from the Cut Operation. |
LATA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin, Elizaveta Sazhneva |
Formal Languages over GF(2). |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gerdjikov |
A General Class of Monoids Supporting Canonisation and Minimisation of (Sub)sequential Transducers. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Schlachter |
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
On Periodicity Lemma for Partial Words. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Asinowski, Axel Bacher, Cyril Banderier, Bernhard Gittenberger |
Analytic Combinatorics of Lattice Paths with Forbidden Patterns: Enumerative Aspects. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
Underlying Principles and Recurring Ideas of Formal Grammars. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license