| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Norbert Hundeshagen, Friedrich Otto |
Characterizing the Rational Functions by Restarting Transducers.  |
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 | 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 |
|
| 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 | Julien Cervelle |
Covering Space in the Besicovitch Topology. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey |
A Parameterized Complexity Tutorial. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Reidenbach, Markus L. Schmid |
Patterns with Bounded Treewidth. |
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 | Vikraman Arvind, Yadu Vasudev |
Isomorphism Testing of Boolean Functions Computable by Constant-Depth Circuits. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Beate Bollig, Tobias Pröger |
An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Krassovitskiy, Peter Leupold |
Computing by Observing Insertion. |
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 | Adam Roman |
P-NP Threshold for Synchronizing Road Coloring. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara, Thomas Schwentick, Tony Tan |
Feasible Automata for Two-Variable Logic with Successor on Data Words. |
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 Shallit |
k-Automatic Sets of Rational Numbers. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Woryna |
Automaton Ranks of Some Self-similar Groups. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot |
Approximate Regular Expressions and Their Derivatives. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Hovland |
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. |
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 | Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup |
Nash Equilibria in Concurrent Priced Games. |
LATA |
2012 |
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 | 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 | 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 | Max Rabkin |
Ogden's Lemma for ET0L Languages. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack H. Lutz |
The Computer Science of DNA Nanotechnology. |
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 | Philip Bille, Inge Li Gørtz, Jesper Kristensen |
Longest Common Extensions via Fingerprinting. |
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 | Michal Forisek, Lucia Keller, Monika Steinová |
Advice Complexity of Online Coloring for Paths. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Durica Nikolic, Fausto Spoto |
Automaton-Based Array Initialization Analysis. |
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 | Mateus de Oliveira Oliveira |
Canonizable Partial Order Generators. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin |
Measuring Information in Timed 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 | Mathilde Noual |
Dynamics of Circuits and Intersecting Circuits. |
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 | Mikhail Barash, Alexander Okhotin |
Defining Contexts in Context-Free Grammars. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hetzl |
Applying Tree Languages in Proof Theory. |
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 | Danny Dubé, Mario Latendresse, Pascal Tesson |
Conservative Groupoids Recognize Only Regular Languages. |
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 | Gabriel Ciobanu, G. Michele Pinna |
Catalytic Petri Nets Are Turing Complete. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Johannes Schmidt, Michael Thomas, 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 | Ziyuan Gao, Frank Stephan |
Learnability of Co-r.e. Classes. |
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 | Ruth Corran, Michael Hoffmann 0002, Dietrich Kuske, Richard M. Thomas |
Singular Artin Monoids of Finite Coxeter Type Are Automatic. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen, Robert Glück |
A Simple and Efficient Universal Reversible Turing Machine. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey Shallit |
Finite Orbits of Language Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Rigo, Élise Vandomme |
Syntactic Complexity of Ultimately Periodic Sets of Integers. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalie Schluter |
Restarting Automata with Auxiliary Symbols and Small Lookahead. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Kevin Black, Andrew Zemke |
Unary Pattern Avoidance in Partial Words Dense with Holes. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
The Complexity of Request-Response Games. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Hadravová |
The Block Structure of Successor Morphisms. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berglund, Henrik Björklund, Johanna Högberg |
Recognizing Shuffled Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Brijder, Hendrik Blockeel |
Characterizing Compressibility of Disjoint Subgraphs with NLC Grammars. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehud S. Conley, Shmuel Tomi Klein |
Improved Alignment Based Algorithm for Multilingual Text Compression. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Labath, Branislav Rovan |
Simplifying DPDA Using Supplementary Information. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lasse Nielsen, Fritz Henglein |
Bit-coded Regular Expression Parsing. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux |
Vector Addition System Reachability Problem: A Short Self-contained Proof. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
Finitary Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
Automatic Learning of Subclasses of Pattern Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Kai Salomaa |
Descriptional Complexity of Unambiguous Nested Word Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Classification of String Languages via Tiling Recognizable Picture Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Huschenbett |
Models for Quantitative Distributed Systems and Multi-Valued Logics. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide (eds.) |
Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Angluin, James Aspnes, Raonne Barbosa Vargas |
Mutation Systems. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Kowaluk, Andrzej Lingas, Eva-Marta Lundell |
Unique Small Subgraphs Are Not Easier to Find. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa, Igor Potapov, Rafiq Saleh |
Planarity of Knots, Register Automata and LogSpace Computability. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawek Staworko, Marc Tommasi |
Normalization of Sequential Top-Down Tree-to-Word Transducers. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Policriti, Alexandru I. Tomescu |
Well-Quasi-Ordering Hereditarily Finite Sets. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll |
A Local Greibach Normal Form for Hyperedge Replacement Grammars. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Narad Rampersad |
Abstract Numeration Systems. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Perrot, Eric Rémila |
Avalanche Structure in the Kadanoff Sand Pile Model. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Decision Problems for Interval Markov Chains. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Gelderie |
Classifying Regular Languages via Cascade Products of Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy, Friedrich Otto |
Globally Deterministic CD-Systems of Stateless R(1)-Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
Rule Formats for Distributivity. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Colcombet |
Green's Relations and Their Use in Automata Theory. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Partial Derivatives of an Extended Regular Expression. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Reidenbach, Markus L. Schmid |
Finding Shuffle Words That Represent Optimal Scheduling of Shared Memory Access. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Barecka, Witold Charatonik |
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Florin Manea, Bianca Truthe |
Networks of Evolutionary Processors with Subregular Filters. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Marciniec |
Tarski's Principle, Categorial Grammars and Learnability. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov |
Automatic Structures and Groups. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Undecidability of the State Complexity of Composed Regular Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Quaas |
On the Interval-Bound Problem for Weighted Timed Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers |
Short Witnesses and Accepting Lassos in omega-Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Kanazawa, Sylvain Salvati |
The Copying Power of Well-Nested Multiple Context-Free Grammars. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher |
Reversible Pushdown Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William Cruz-Santos, Guillermo Morales-Luna |
On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Costa Florêncio, Henning Fernau |
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli |
Parametric Metric Interval Temporal Logic. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Leupold |
Primitive Words Are Unavoidable for Context-Free Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Jordan, Thomas Zeugmann |
Untestable Properties Expressible with Four First-Order Quantifiers. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Klunder, Wojciech Rytter |
Post Correspondence Problem with Partially Commutative Alphabets. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Borivoj Melichar |
Arbology: Trees and Pushdown Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muthiah Sakthi Balan, Parameswaran Seshan |
Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Yoshinaka, Yuichi Kaji, Hiroyuki Seki |
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")