| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.  |
LATA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Alwen Tiu |
Matching Trace Patterns with Regular Policies. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michelangelo Bucci, Alessandro De Luca 0002 |
On a Family of Morphic Images of Arnoux-Rauzy Words. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Sheng Yu 0001 |
State Complexity of Combined Operations for Prefix-Free Regular Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Bounded Delay and Concurrency for Earliest Query Answering. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicco Verwer, Mathijs de Weerdt, Cees Witteveen |
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Masopust |
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Sherzod Turaev |
Grammars Controlled by Special Petri Nets. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena V. Pribavkina, Emanuele Rodaro |
Finitely Generated Synchronizing Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Mitrana, Bianca Truthe |
On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Giovanni Pighizzini |
Converting Self-verifying Automata into Deterministic Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Ollinger |
Tiling the Plane with a Fixed Number of Polyominoes. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa |
State Complexity of Nested Word Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Robert Mercas, Abraham Rashin, Elara Willett |
An Answer to a Conjecture on Overlaps in Partial Words Using Periodicity Algorithms. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Vijay Suman, Paritosh K. Pandya |
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Sophie Pinchinat, Jean-Baptiste Raclet |
Refinement and Consistency of Timed Modal Specifications. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul V. Salimov |
Constructing Infinite Words of Intermediate Arithmetical Complexity. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo |
Prediction of Creole Emergence in Spatial Language Dynamics. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Büchse, Torsten Stüber |
Monadic Datalog Tree Transducers. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Beate Bollig |
Larger Lower Bounds on the OBDD Complexity of Integer Multiplication. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Roman |
Genetic Algorithm for Synchronization. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Bonizzoni, Claudio Ferretti, Anthonath Roslin Sagaya Mary, Giancarlo Mauri |
Picture Languages Generated by Assembling Tiles. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Bailly, François Denis |
Absolute Convergence of Rational Series Is Semi-decidable. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Pardubská, Martin Plátek, Friedrich Otto |
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle |
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Clarridge, Kai Salomaa |
A Cryptosystem Based on the Composition of Reversible Cellular Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryuichi Matoba, Makoto Nakamura, Satoshi Tojo |
Efficiency of the Symmetry Bias in Grammar Acquisition. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Moore |
The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian-Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide (eds.) |
Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Jacquemard, Francis Klay, Camille Vacher |
Rigid Tree Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Behle, Andreas Krebs, Stephanie Reifferscheid |
Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer 0001, Martin Kutrib |
Descriptional and Computational Complexity of Finite Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianpiero Cattaneo, Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-uniform Cellular Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Undecidability of Operation Problems for T0L Languages and Subclasses. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Glaßer, Aduri Pavan, Stephen D. Travers |
The Fault Tolerance of NP-Hard Problems. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller 0003 |
Nondeterministic Instance Complexity and Proof Systems with Advice. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomohiro I, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Counting Parameterized Border Arrays for a Binary Alphabet. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain 0001 |
Hypothesis Spaces for Learning. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaoru Onodera |
New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001, Igor Potapov, Rafiq Saleh |
Automata on Gauss Words. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Carle, Paliath Narendran |
On Extended Regular Expressions. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Céline Scornavacca, Vincent Berry, Vincent Ranwez |
From Gene Trees to Species Trees through a Supertree Approach. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aude Liefooghe, Hélène Touzet, Jean-Stéphane Varré |
Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimmo Fredriksson, Szymon Grabowski |
Nested Counters in Bit-Parallel String Matching. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank J. Balbach, Thomas Zeugmann |
Recent Developments in Algorithmic Teaching. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Berg, Harald Hempel |
Reoptimization of Traveling Salesperson Problems: Changing Single Edge-Weights. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Kasprzik |
Two Equivalent Regularizations for Tree Adjoining Grammars. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
Tree Adjoining Grammar, Multi-Dimensional Trees, Regularization, Lifting |
| 1 | Sergey A. Afonin, Denis Golomazov |
Minimal Union-Free Decompositions of Regular Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyril Nicaud |
On the Average Size of Glushkov's Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markéta Lopatková, Tomás Holan |
Segmentation Charts for Czech - Relations among Segments in Complex Sentences. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
Multi-tilde Operators and Their Glushkov Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nutan Limaye, Meena Mahajan |
Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Ito, Peter Leupold, Victor Mitrana |
Bounded Hairpin Completion. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Gierasimczuk |
Learning by Erasing in Dynamic Epistemic Logic. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Llull-Chavarría, Óscar Valero |
An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiamou Liu, Mia Minnes |
Analysing Complexity in Classes of Unary Automatic Structures. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees Hemerik |
Towards a Taxonomy for ECFG and RRPG Parsing. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Emily Allen, Cameron Byrum, Robert Mercas |
How Many Holes Can an Unbordered Partial Word Contain?. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohji Akama |
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jeffrey O. Shallit, Zhi Xu 0002 |
Decision Problems for Convex Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Straßburger |
A Kleene Theorem for Forest Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Gnaedig |
Termination of Priority Rewriting. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wataru Matsubara, Kazuhiko Kusano, Hideo Bannai, Ayumi Shinohara |
A Series of Run-Rich Strings. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Boigelot, Jean-François Degbomont |
Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel |
Optional and Iterated Types for Pregroup Grammars. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Lambek Categorial Grammars, Categorial Dependency Grammar, Pregroups |
| 1 | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau |
Anti-pattern Matching Modulo. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Phuong Le, Nguyên Thi Minh Huyên, Azim Roussanaly, Hô Tuòng Vinh |
A Hybrid Approach to Word Segmentation of Vietnamese Texts. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Mercer |
Lower Bounds for Generalized Quantum Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine Render, Mark Kambites |
Polycyclic and Bicyclic Valence Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Klunder |
Characterization of Star-Connected Languages Using Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Capobianco |
Induced Subshifts and Cellular Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 2000 37B15, 68Q80 |
| 1 | Terry Anderson, Narad Rampersad, Nicolae Santean, Jeffrey O. Shallit |
Finite Automata, Palindromes, Powers, and Patterns. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Korp, Aart Middeldorp |
Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti |
Minimizing Deterministic Weighted Tree Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Perekrestenko |
Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail V. Volkov 0001 |
Synchronizing Automata and the Cerny Conjecture. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Consensual Definition of Languages by Regular Sets. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Puzynina |
On Periodicity of Generalized Two-Dimensional Words. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kallmeyer, Yannick Parmentier 0001 |
On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG). |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas |
Automatic Presentations for Cancellative Semigroups. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giusi Castiglione, Antonio Restivo, Marinella Sciortino |
Hopcroft's Algorithm and Cyclic Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari |
On Linear Logic Planning and Concurrency. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Martín-Vide, Friedrich Otto, Henning Fernau (eds.) |
Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Leupold |
On Regularity-Preservation by String-Rewriting Systems. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artiom Alhazov, Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Yurii Rogozhin |
About Universal Hybrid Networks of Evolutionary Processors of Small Size. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Hybrid networks of evolutionary processors, Small universal systems, Circular Post machines, Descriptional complexity, Bio-inspired computing |
| 1 | Jan-Henrik Altenbernd |
On Bifix Systems and Generalizations. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Etsuro Moriya, Friedrich Otto |
On Alternating Phrase-Structure Grammars. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Giraud |
Not So Many Runs in Strings. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Becker |
Transformations and Preservation of Self-assembly Dynamics through Homotheties. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu 0001 |
Length Codes, Products of Languages and Primality. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Catenation of languages, language decomposition, prime decomposition, length code, star language |
| 1 | Benjamin Steinberg |
Subsequence Counting, Matrix Representations and a Theorem of Eilenberg. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Sherzod Turaev |
k-Petri Net Controlled Grammars. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Regnault, Nicolas Schabanel, Eric Thierry |
On the Analysis of "Simple" 2D Stochastic Cellular Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Martin Plátek |
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Kitaev, Toufik Mansour, Patrice Séébold |
Counting Ordered Patterns in Words Generated by Morphisms. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
rises, descents, patterns, inversions, repetitions, Morphisms |
| 1 | Michael Domaratzki |
Formal Language Tools for Template-Guided DNA Recombination. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk |
Tree-Walking Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothea Baumeister, Jörg Rothe |
The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gawrychowski, Andrzej Kisielewicz 0001 |
2-Synchronizing Words. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
synchronizing automata, Formal languages |
| 1 | Henning Bordihn, Markus Holzer 0001 |
Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license