Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robert Brijder, Hendrik Jan Hoogeboom |
Extending the Overlap Graph for Gene Assembly in Ciliates. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Holger Petersen 0001 |
Sorting and Element Distinctness on One-Way Turing Machines. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren |
Efficient Inclusion Checking for Deterministic Tree Automata and DTDs. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner |
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Yoshinaka |
An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan |
Further Results on Insertion-Deletion Systems with One-Sided Contexts. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Insertion-deletion systems, computational non-completeness, universality |
1 | Ondrej Klíma 0001, Libor Polák |
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
MSC 2000 Classification 68Q45 Formal languages and automata |
1 | Malgorzata Moczurad, Wlodzimierz Moczurad |
How Many Figure Sets Are Codes?. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
asymptotic density, codes, Polyominoes |
1 | Martin Kutrib, Andreas Malcher |
Fast Reversible Language Recognition Using Cellular Automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Zoltán L. Németh |
On the Regularity of Binoid Languages: A Comparative Approach. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Krystyna Stawikowska, Edward Ochmanski |
On Star-Free Trace Languages and their Lexicographic Representations. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Markus Lohrey, Benjamin Steinberg |
The submonoid and rational subset membership problems for graph groups. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Jürgen Dassow, Henning Fernau |
Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Olivier Bodini, Thomas Fernique, Eric Rémila |
A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Andreas Maletti |
Compositions of Extended Top-down Tree Transducers. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Pietro di Lena, Luciano Margara |
Computational Complexity of Dynamical Systems: the case of Cellular Automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Hartmut Messerschmidt, Friedrich Otto |
On Determinism Versus Non-Determinism for Restarting Automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Artiom Alhazov, Carlos Martín-Vide, Yurii Rogozhin |
Networks of Evolutionary Processors with Two Nodes Are Unpredictable. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Miklós Krész |
Nondeterministic soliton automata with a single external vertex. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Kevin Corcoran, Jenell Nyberg |
Fine and Wilf's Periodicity Result on Partial Words and Consequences. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Pál Dömösi |
Automata Networks without any Letichevsky Criteria. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001 |
Computational Complexity of NFA Minimization for Finite and Unary Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Yo-Sub Han, Derick Wood |
Generalizations of One-Deterministic Regular Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Pavel V. Martugin |
A series of slowly synchronizable automata with a zero state over a small alphabet. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Deian Tabakov, Moshe Y. Vardi |
Model Checking Buechi Specifications. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Frantisek Mráz, Friedrich Otto, Martin Plátek |
Free Word-Order and Restarting Automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Camilo Thorne |
Categorial Module Grammars of Bounded Size have Finite Bounded Density. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Tomás Masopust, Alexander Meduna |
Descriptional Complexity of Grammars Regulated by Context Conditions. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Julien Bourdaillet, Jean-Gabriel Ganascia |
Practical block sequence alignment with moves. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Liviu Petrisor Dinu, Radu Gramatovici, Florin Manea |
On the syllabification of words via go-through automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Suna Bensch |
An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Remco Loos, Szilárd Zsolt Fazekas, Carlos Martín-Vide (eds.) |
LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Bernd Borchert, Klaus Reinhardt |
Deterministically and Sudoku-Deterministically Recognizable Picture Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Alexander Okhotin |
Unambiguous Boolean grammars. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Costas S. Iliopoulos, Inuka Jayasekera, Borivoj Melichar, Jan Supol |
Weighted Degenerated Approximate Pattern Matching. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Helmut Jürgensen |
Synchronization. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Kazuya Ogasawara, Satoshi Kobayashi |
Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Benedikt Bollig, Dietrich Kuske |
Muller Message-Passing Automata and Logics. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Christos Nomikos, Panos Rondogiannis |
Locally Stratified Boolean Grammars. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Farid M. Ablayev, Aida Gainutdinova |
Classical Simulation Complexity of Quantum Branching Programs. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Paolo Boldi, Violetta Lonati, Roberto Radicioni, Massimo Santini 0001 |
The Number of Convex Permutominoes. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Pawel Baturo, Wojciech Rytter |
Occurrence and Lexicographic Properties of Standard Sturmian Words. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Martin Kutrib, Jens Reimann |
Succinct Description of Regular Languages by Weak Restarting Automata. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Pavlos Antoniou, Maxime Crochemore, Costas S. Iliopoulos, Pierre Peterlongo |
Application of suffix trees for the acquisition of common motifs with gaps in a set of strings. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
Verification of Succinct Hierarchical State Machines. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Grigoriy Povarov |
Descriptive Complexity of the Hamming Neighborhood of a Regular Language. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Baptiste Blanpain, Jean-Marc Champarnaud, Jean-Philippe Dubernard |
Geometrical Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure |
Topology-based Geometric Modelling for Biological Cellular Processes. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Ekaterina Komendantskaya |
First-order deduction in neural networks. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Franz Baader, Jan Hladik, Rafael Peñaloza |
SI! Automata Can Show PSPACE Results for Description Logics. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Vinay Choudhary, Anand Kumar Sinha, Somenath Biswas |
Universality for Nondeterministic Logspace. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Victor L. Selivanov |
Classifying omega-regular partitions. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Ralf Stiebe |
Slender Siromoney Matrix Languages. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Martin Kochol, Nad'a Krivonáková, Silvia Smejová, Katarína Sranková |
Reductions of matrices associated with nowhere-zero flows. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Henning Bordihn, György Vaszil |
On leftmost derivations in CD grammar systems. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu 0001 |
State Complexity of Basic Operations Combined with Reversal. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Juntae Yoon, Gil-Young Song, Seonho Kim |
Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Nissim Francez, Michael Kaminski |
Pushdown automata with cancellation and commutation-augmented pregroups grammars. |
LATA |
2007 |
DBLP BibTeX RDF |
|
1 | Volker Diekert |
Equations: From Words to Graph Products. |
LATA |
2007 |
DBLP BibTeX RDF |
|