| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ferdinando Cicalese, Zsuzsanna Lipták, Massimiliano Rossi 0001 |
Bubble-Flip - A New Generation Algorithm for Prefix Normal Words.  |
LATA  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eli Shamir 0001 |
Reshaping the Context-Free Model: Linguistic and Algorithmic Aspects. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux |
Pomsets and Unfolding of Reset Petri Nets. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Murray Elder, Yoong Kuan Goh |
Permutations Sorted by a Finite and an Infinite Stack in Series. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Andres Montoya, Christian Nolasco |
On the Synchronization of Planar Automata. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Saers, Dekai Wu |
Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Demen Güler, Andreas Krebs, Klaus-Jörn Lange, Petra Wolf 0002 |
Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager |
Model Learning as a Satisfiability Modulo Theories Problem. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
Timed Comparisons of Semi-Markov Processes. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira (eds.) |
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Moses Ganardi, Danny Hucke, Markus Lohrey |
Sliding Window Algorithms for Regular Languages. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maris Valdats |
Descriptional and Computational Complexity of the Circuit Representation of Finite Automata. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Event-Clock Nested Automata. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Teichmann, Antoine Venant, Alexander Koller |
Efficient Translation with Linear Bimorphisms. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain 0001, Shao Ning Kuek, Eric Martin 0002, Frank Stephan 0001 |
Learners Based on Transducers. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov |
Constraint Satisfaction Problems: Complexity and Algorithms. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Klaus Fichte, Markus Hecher, Irina Schindler |
Default Logic and Bounded Treewidth. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey N. Zhirabok, Alexey Ye. Shumsky |
Disturbance Decoupling in Finite Automata. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Berdinsky, Phongpitak Trakuldit |
Measuring Closeness Between Cayley Automatic Groups and Automatic Groups. |
LATA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiming Chen, Ping Lu 0007 |
Derivatives and Finite Automata of Expressions in Star Normal Form. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis |
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL_0. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Corwin Sinnamon |
Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Björklund, Loek Cleophas |
Minimization of Finite State Automata Through Partition Aggregation. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hellis Tamm, Brink van der Merwe |
Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Sang-Ki Ko, Timothy Ng 0001, Kai Salomaa |
Consensus String Problem for Multiple Regular Languages. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Don, Hans Zantema |
Finding DFAs with Maximal Shortest Synchronizing Word Length. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas |
N-Memory Automata over the Alphabet N. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis |
Efficient Pattern Matching in Elastic-Degenerate Texts. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gerdjikov, Stoyan Mihov |
Over Which Monoids is the Transducer Determinization Procedure Applicable? |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark-Jan Nederhof, Anssi Yli-Jyrä |
A Derivational Model of Discontinuous Parsing. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer |
On the Complexity of Hard Enumeration Problems. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruggero Lanotte, Massimo Merro |
A Calculus of Cyber-Physical Systems. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Síma, Petr Savický |
Cut Languages in Rational Bases. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nariyoshi Chida, Kimio Kuramitsu |
Linear Parsing Expression Grammars. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Ivan Lanese |
Most General Property-Preserving Updates. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan |
On Finite-Index Indexed Grammars and Their Restrictions. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Jardine, Kevin McMullin |
Efficient Learning of Tier-Based Strictly k-Local Languages. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Gärtner, Ahad N. Zehmakan |
Color War: Cellular Automata with Majority-Rule. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusan Knop |
Partitioning Graphs into Induced Subgraphs. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasi S. Kulkarni, Kalpana Mahalingam |
Two-Dimensional Palindromes and Their Properties. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shmuel T. Klein, Dana Shapira |
Integrated Encryption in Dynamic Arithmetic Compression. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Kanazawa, Ryo Yoshinaka |
The Strong, Weak, and Very Weak Finite Context and Kernel Properties. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunmiao Li, Xiaojuan Cai |
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Pommellet, Marcio Diaz, Tayssir Touili |
Reachability Analysis of Pushdown Systems with an Upper Stack. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Christoph Koch 0001, Andreas Pieris |
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Hutschenreiter, Rafael Peñaloza |
An Automata View to Goal-Directed Methods. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann |
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casu, G. Michele Pinna |
Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil |
Space Complexity of Reachability Testing in Labelled Graphs. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Hirvensalo, Etienne Moutot, Abuzer Yakaryilmaz |
On the Computational Power of Affine Automata. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers |
Detecting Useless Transitions in Pushdown Automata. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Schmidt 0001 |
The Weight in Enumeration. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Fisman |
A Complexity Measure on Büchi Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Labai, Johann A. Makowsky |
Hankel Matrices for Weighted Visibly Pushdown Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Mélodie Lapointe, Hugo Tremblay |
Parallelogram Morphisms and Circular Codes. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Séverine Fratani, El Makki Voundy |
Homomorphic Characterizations of Indexed Languages. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han |
Inferring a Relax NG Schema from XML Documents. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Bock Axelsen, Markus Holzer 0001, Martin Kutrib, Andreas Malcher |
Reversible Shrinking Two-Pushdown Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Hashemi, Holger Hermanns, Lei Song 0001, K. Subramani 0001, Andrea Turrini, Piotr Wojciechowski 0002 |
Compositional Bisimulation Minimization for Interval Markov Decision Processes. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Smetsers, Joshua Moerman, David N. Jansen |
Minimal Separating Sequences for All Pairs of States. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Amano |
On XOR Lemma for Polynomial Threshold Weight and Length. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura |
The Complexity of Induced Tree Reconfiguration Problems. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Chandra Nayak, Amit Kumar Srivastava |
On Del-Robust Primitive Partial Words with One Hole. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
Proof-Based Synthesis of Sorting Algorithms for Trees. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez 0001, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas |
Non-Zero Sum Games for Reactive Synthesis. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Istrate, Cosmin Bonchis, Liviu P. Dinu |
The Minimum Entropy Submodular Set Cover Problem. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Baginová Jajcayová |
The Word Problem for HNN-extensions of Free Inverse Semigroups. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
Input-Driven Queue Automata with Internal Transductions. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Kanazawa |
Ogden's Lemma, Multiple Context-Free Grammars, and the Control Language Hierarchy. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Zoltán Fülöp 0001, Doreen Götze |
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Spakowski |
On Limited Nondeterminism and ACC Circuit Lower Bounds. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter |
Automata for Ontologies. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Osterholzer, Toni Dietze, Luisa Herrmann 0001 |
Linear Context-Free Tree Languages and Inverse Homomorphisms. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini |
Restricted Turing Machines and Language Recognition. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Björklund, Frank Drewes, Petter Ericson |
Between a Rock and a Hard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye |
Canonical Multi-target Toffoli Circuits. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi 0001 |
A Logical Characterization for Dense-Time Visibly Pushdown Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Parvaneh Babari, Nicole Schweikardt |
+\omega + ω -Picture Languages Recognizable by Büchi-Tiling Systems. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Blum 0001, Frank Drewes |
Properties of Regular DAG Languages. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Touzet |
On the Levenshtein Automaton and the Size of the Neighbourhood of a Word. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler, Manfred Droste, Luisa Herrmann 0001 |
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Dana Fisman |
Colored Nested Words. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Reachability in Resource-Bounded Reaction Systems. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth |
Noise Free Multi-armed Bandit Game. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanguthevar Rajasekaran, Marius Nicolae |
An Error Correcting Parser for Context Free Grammars that Takes Less Than Cubic Time. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Silke Czarnetzki, Andreas Krebs |
Using Duality in Circuit Complexity. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Accurate Approximate Diagnosability of Stochastic Systems. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Crochemore, Roman Kolpakov, Gregory Kucherov |
Optimal Bounds for Computing \alpha α -gapped Repeats. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Peter Thiemann 0001 |
Forkable Regular Expressions. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Berndt 0001, Rüdiger Reischuk |
Steganography Based on Pattern Languages. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Sarai Sheinvald |
On the Capacity of Capacitated Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Chen 0039, Xiaotie Deng, Ziwei Ji, Chao Liao |
The Beachcombers' Problem: Walking and Searching from an Inner Point of a Line. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Meer, Ameen Naif |
Periodic Generalized Automata over the Reals. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Ecke |
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe |
Tangles and Connectivity in Graphs. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Boiret |
Normal Form on Linear Tree-to-Word Transducers. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
The Missing Case in Chomsky-Schützenberger Theorem. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Bell, Shang Chen, Lisa M. Jackson |
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages. |
LATA |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license