Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dag Hovland |
The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Lutz |
The Computer Science of DNA Nanotechnology. |
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 | Stefan Hetzl |
Applying Tree Languages in Proof Theory. |
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 | 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 | Daniel Reidenbach, Markus L. Schmid |
Finding Shuffle Words That Represent Optimal Scheduling of Shared Memory Access. |
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 | Pavel Labath, Branislav Rovan |
Simplifying DPDA Using Supplementary Information. |
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 | Robert Brijder, Hendrik Blockeel |
Characterizing Compressibility of Disjoint Subgraphs with NLC Grammars. |
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 | Marcus Gelderie |
Classifying Regular Languages via Cascade Products of Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kévin Perrot, Eric Rémila |
Avalanche Structure in the Kadanoff Sand Pile Model. |
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 | Krishnendu Chatterjee, Nathanaël Fijalkow |
Finitary Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dana Angluin, James Aspnes, Raonne Barbosa Vargas |
Mutation Systems. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Narad Rampersad |
Abstract Numeration Systems. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll 0001 |
A Local Greibach Normal Form for Hyperedge Replacement Grammars. |
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 | Arto Salomaa, Kai Salomaa, Sheng Yu 0001 |
Undecidability of the State Complexity of Composed Regular Operations. |
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 | Thomas Colcombet |
Green's Relations and Their Use in Automata Theory. |
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 | Ehud S. Conley, Shmuel Tomi Klein |
Improved Alignment Based Algorithm for Multilingual Text Compression. |
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 | 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 | Holger Bock Axelsen, Robert Glück |
A Simple and Efficient Universal Reversible Turing Machine. |
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 | 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 | 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 0001, Michel A. Reniers |
Rule Formats for Distributivity. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bakhadyr Khoussainov |
Automatic Structures and Groups. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John Case, Sanjay Jain 0001, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan 0001 |
Automatic Learning of Subclasses of Pattern Languages. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lasse Nielsen, Fritz Henglein |
Bit-coded Regular Expression Parsing. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emilie Charlier, Michael Domaratzki, Tero Harju, Jeffrey O. Shallit |
Finite Orbits of Language Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jana Hadravová |
The Block Structure of Successor Morphisms. |
LATA |
2011 |
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 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Partial Derivatives of an Extended Regular Expression. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn 0001 |
The Complexity of Request-Response Games. |
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 | Natalie Schluter |
Restarting Automata with Auxiliary Symbols and Small Lookahead. |
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 | Miroslaw Kowaluk, Andrzej Lingas, Eva-Marta Lundell |
Unique Small Subgraphs Are Not Easier to Find. |
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 | Alexei Lisitsa 0001, Igor Potapov, Rafiq Saleh |
Planarity of Knots, Register Automata and LogSpace Computability. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anna Kasprzik, Timo Kötzing |
String Extension Learning Using Lattices. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Qinglong Luo, Frank Stephan 0001 |
Learnability of Automatic Classes. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, Tomasz Walen |
On the Maximal Number of Cubic Runs in a String. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Jonathan Grattage |
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Buszkowski, Zhe Lin 0002 |
Pregroup Grammars with Letter Promotions. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank Weinberg, Markus E. Nebel |
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Hemmerling, Katarína Smolenová, Winfried Kurth |
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Complexity of Guided Insertion-Deletion in RNA-Editing. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benedek Nagy, Friedrich Otto |
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Rosa-Velardo, Giorgio Delzanno |
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski |
Complexity in Convex Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Borivoj Melichar |
Arbology: Trees and Pushdown Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
Short Witnesses and Accepting Lassos in omega-Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Marschall, Sven Rahmann |
Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata. |
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 | Alberto Policriti, Alexandru I. Tomescu, Francesco Vezzi |
A Randomized Numerical Aligner (rNA). |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Peñaloza |
Using Sums-of-Products for Non-standard Reasoning. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Geometricity of Binary Regular Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah N. Arslan |
A Fast Longest Common Subsequence Algorithm for Similar Strings. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Complexity of the Satisfiability Problem for a Class of Propositional Schemata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Robert Mercas, Sean Simmons 0001, Eric Weissenstein |
Avoidable Binary Patterns in Partial Words. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Orna Kupferman, Sarai Sheinvald |
Variable Automata over Infinite Alphabets. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Milo, Tamar Pinhas, Michal Ziv-Ukelson |
SA-REPC - Sequence Alignment with Regular Expression Path Constraint. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sakthi Balan Muthiah, 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 |
|
1 | Rafael Carrascosa, François Coste, Matthias Gallé, Gabriel G. Infante López |
Choosing Word Occurrences for the Smallest Grammar Problem. |
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 | Peter Leupold |
Primitive Words Are Unavoidable for Context-Free Languages. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dag Hovland |
The Inclusion Problem for Regular Expressions. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Lin 0002 |
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Clark |
Three Learnable Models for the Description of Language. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Dino Mandrioli |
Operator Precedence and the Visibly Pushdown Property. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Travis Gagie, Pawel Gawrychowski |
Grammar-Based Compression in a Streaming Model. |
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 | Alexander A. Letichevsky, Arsen S. Shoukourian, Samvel K. Shoukourian |
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Cabessa, Alessandro E. P. Villa |
A Hierarchical Classification of First-Order Recurrent Neural Networks. |
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 | Florin Manea, Catalin Tiseanu |
Hard Counting Problems for Partial Words. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Gopal Gupta 0001 |
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). |
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 | Claudia Casadio |
Agreement and Cliticization in Italian: A Pregroup Analysis. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anca Muscholl |
Analysis of Communicating Automata. |
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 | Nicolas Bousquet, Christof Löding |
Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hellis Tamm |
Some Minimality Results on Biresidual and Biseparable Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Plátek, Frantisek Mráz, Markéta Lopatková |
Restarting Automata with Structured Output and Functional Generative Description. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
On the Expressive Power of FO[ + ]. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Jane I. Kim, Robert Mercas, William Severa, Sean Simmons 0001 |
Abelian Square-Free Partial Words. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Turlough Neary |
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Reversible Pushdown Automata. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Stefan Gulan |
Simplifying Regular Expressions. |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.) |
Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings |
LATA |
2010 |
DBLP DOI BibTeX RDF |
|