| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Javier Esparza, Michael Luttenberger, Maximilian Schlund |
A Brief History of Strahler Numbers.  |
LATA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet |
Formulae for Polyominoes on Twisted Cylinders. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
Learning Sequential Tree-to-Word Transducers. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Arroyo, Sandra Gómez Canaval, Victor Mitrana, Stefan Popescu |
Networks of Polarized Evolutionary Processors Are Computationally Complete. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Mazadi, Ziyuan Gao, Sandra Zilles |
Distinguishing Pattern Languages with Membership Examples. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro López-Ortiz |
On the List Update Problem with Advice. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | María Martos-Salgado, Fernando Rosa-Velardo |
Expressiveness of Dynamic Networks of Timed Petri Nets. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Weidner |
Probabilistic ω-Regular Expressions. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Felgenhauer, René Thiemann |
Reachability Analysis with State-Compatible Automata. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
How to Travel between Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Schaeffer |
Ostrowski Numeration and the Local Period of Sturmian Words. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Justin Lazarow |
Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo de Souza |
Uniformisation of Two-Way Transducers. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Bala, Dariusz Jackowski |
Limited Non-determinism Hierarchy of Counter Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Coinductive Proof Techniques for Language Equivalence. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parisa Babaali, Christopher Knaplund |
On the Construction of a Family of Automata That Are Generically Non-minimal. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi |
From Regular Tree Expression to Position Tree Automaton. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski |
Maximizing Entropy over Markov Processes. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Bala, Artur Koninski |
Unambiguous Automata Denoting Finitely Sequential Functions. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stuart Haber, William G. Horne, Pratyusa K. Manadhata, Miranda Mowbray, Prasad Rao |
Efficient Submatch Extraction for Practical Regular Expressions. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Björklund, Henning Fernau, Anna Kasprzik |
MAT Learning of Universal Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Ong |
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanislav Zák, Jirí Síma |
A Turing Machine Distance Hierarchy. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
Asynchronous PC Systems of Pushdown Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Ludovic Mignot |
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-Yi Cai |
Complexity Dichotomy for Counting Problems. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara 0002, Thomas Schwentick |
Dynamic Communicating Automata and Branching High-Level MSCs. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Smith |
Infiniteness and Boundedness in 0L, DT0L, and T0L Systems. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Milka Hutagalung, Martin Lange, Étienne Lozes |
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Marc Ducobu, Olivier Gauwin |
Visibly Pushdown Automata: Universality and Inclusion via Antichains. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rusins Freivalds, Thomas Zeugmann, Grant R. Pogosyan |
On the Size Complexity of Deterministic Frequency Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina |
A Conditional Superpolynomial Lower Bound for Extended Resolution. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Goc, Hamoon Mousavi, Jeffrey O. Shallit |
On the Number of Unbordered Factors. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine |
Discrete Linear Dynamical Systems. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Bala Ravikumar |
On Bounded Languages and Reversal-Bounded Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Seppo Sippu, Eljas Soisalon-Soininen |
Online Matching of Multiple Regular Patterns with Gaps and Character Classes. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Shamir 0001 |
Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Jacquemard, Michaël Rusinowitch |
Rewrite Closure and CF Hedge Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Nakamura, Keita Imada |
Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong |
The Buffered π-Calculus: A Model for Concurrent Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Riccardo Traverso |
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Michelle Bodnar, Nathan Fox, Joe Hidakatsu |
A Graph Polynomial Approach to Primitivity. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk |
Duplication-Loss Genome Alignment: Complexity and Algorithm. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov, Anton Konovalov |
Boolean Algebras of Regular ω-Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aistis Atminas, Vadim V. Lozin, Mikhail Moshkov |
Deciding WQO for Factorial Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Pinar Heggernes, Yngve Villanger |
A Multivariate Analysis of Some DFA Problems. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahito Aoto 0001, Munehiro Iwami |
Termination of Rule-Based Calculi for Uniform Semi-Unification. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
Mix-Automatic Sequences. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Brink van der Merwe, Mark Farag, Jaco Geldenhuys |
Counting Minimal Symmetric Difference NFAs. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Goc, Kalle Saari, Jeffrey O. Shallit |
Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Montanari, Pietro Sala |
Interval Logics and ωB-Regular Languages. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Luttenberger, Maximilian Schlund |
Convergence of Newton's Method over Commutative Semirings. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Quaas |
Model Checking Metric Temporal Logic over Automata with One Counter. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kousha Etessami |
Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan 0001 |
On the Complexity of Shortest Path Problems on Discounted Cost Graphs. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara |
Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick |
XML Schema Management: A Challenge for Automata Theory. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cewei Cui, Zhe Dang, Thomas R. Fischer, Oscar H. Ibarra |
Execution Information Rate for Some Classes of Automata. |
LATA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Bille, Morten Stöckel |
Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Reidenbach, Markus L. Schmid |
Patterns with Bounded Treewidth. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Chaining. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara 0002, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikraman Arvind, Yadu Vasudev |
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nguyen Van Tang, Hitoshi Ohsaki |
On Model Checking for Visibly Pushdown Automata. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Ciobanu, G. Michele Pinna |
Catalytic Petri Nets Are Turing Complete. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathilde Noual |
Dynamics of Circuits and Intersecting Circuits. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey |
A Parameterized Complexity Tutorial. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Genova |
Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen |
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ville Salo, Ilkka Törmä |
On Stable and Unstable Limit Sets of Finite Families of Cellular Automata. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cervelle |
Covering Space in the Besicovitch Topology. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dubé, Mario Latendresse, Pascal Tesson |
Conservative Groupoids Recognize Only Regular Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Hundeshagen, Friedrich Otto |
Characterizing the Rational Functions by Restarting Transducers. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Geilke, Sandra Zilles |
Polynomial-Time Algorithms for Learning Typed Pattern Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Johannes Schmidt 0001, Michael Thomas 0001, Heribert Vollmer |
On the Parameterized Complexity of Default Logic and Autoepistemic Logic. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Julien Brusten, Jean-François Degbomont |
Automata-Based Symbolic Representations of Polyhedra. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Travis Gagie, Pawel Gawrychowski, Juha Kärkkäinen, Yakov Nekrich, Simon J. Puglisi |
A Faster Grammar-Based Self-index. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Bille, Inge Li Gørtz, Jesper Kristensen |
Longest Common Extensions via Fingerprinting. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Rabkin |
Ogden's Lemma for ET0L Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
One-Way Reversible and Quantum Finite Automata with Advice. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Rowland, Jeffrey O. Shallit |
k-Automatic Sets of Rational Numbers. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Miasnikov, Zoran Sunic |
Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Yoshinaka |
Integration of the Dual Approaches in the Distributional Learning of Context-Free Grammars. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Durica Nikolic, Fausto Spoto |
Automaton-Based Array Initialization Analysis. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Nicholas Q. Trân |
Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
Nash Equilibria in Concurrent Priced Games. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Measuring Information in Timed Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateus de Oliveira Oliveira |
Canonizable Partial Order Generators. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Bruno Guillon, Giovanni Pighizzini |
Two-Way Automata Making Choices Only at the Endmarkers. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Barash, Alexander Okhotin |
Defining Contexts in Context-Free Grammars. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Krassovitskiy, Peter Leupold |
Computing by Observing Insertion. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Gao, Frank Stephan 0001 |
Learnability of Co-r.e. Classes. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Roman |
P-NP Threshold for Synchronizing Road Coloring. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli |
Strong Termination for Gap-Order Constraint Abstractions of Counter Systems. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian-Horia Dediu, Carlos Martín-Vide (eds.) |
Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license