Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Preimage Problems for Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 537-548, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Bailly, François Denis, Guillaume Rabusseau |
Recognizable Series on Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 639-651, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah |
A Game Characterisation of Tree-like Q-resolution Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 486-498, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Gamard, Gwénaël Richomme |
Coverability in Two Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 402-413, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese, Massimo Tivoli |
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 3-24, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer |
Parameterized Enumeration for Modification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 524-536, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Amano, Atsushi Saito |
A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 461-472, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp |
Sorting Networks: The End Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 664-675, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charalampos Zinoviadis |
Hierarchy and Expansiveness in 2D Subshifts of Finite Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 365-377, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Restivo |
The Shuffle Product: New Research Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 70-81, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Élise Prieur-Gaston |
Online Computation of Abelian Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 391-401, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Ndione, Aurélien Lemay, Joachim Niehren |
Sublinear DTD Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 739-751, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Kazimierz Dabrowski, Shenwei Huang, Daniël Paulusma |
Bounding Clique-Width via Perfect Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 676-688, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron |
Complexity Classes for Membrane Systems: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 56-69, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luc Boasson, Olivier Carton |
Rational Selecting Relations and Selectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 716-726, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Cazaux, Thierry Lecroq, Eric Rivals |
Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 109-120, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Vorel, Adam Roman |
Complexity of Road Coloring with Prescribed Reset Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 161-172, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001, Martin Sulzmann |
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 287-298, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 549-560, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky, Nadia Labai |
Hankel Matrices: From Words to Graphs (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 47-55, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Peter Thiemann 0001 |
Derivatives for Regular Shuffle Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 275-286, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas |
Backward Linearised Tree Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 599-610, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Structure and Measure of a Decidable Class of Two-dimensional Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 315-327, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Andrey Mokhov |
Building Bridges Between Sets of Partial Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 145-160, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Lipták |
On the Number of Closed Factors in a Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 381-390, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Georg Bachmeier, Michael Luttenberger, Maximilian Schlund |
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 473-485, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 511-523, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
Order Structures for Subclasses of Generalised Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 689-700, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Björklund, Frank Drewes, Niklas Zechner |
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 97-108, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eric Allender, Ian Mertz |
Complexity of Regular Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 449-460, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ananda Chandra Nayak, Kalpesh Kapoor |
On the Language of Primitive Partial Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 436-445, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
Logics for Unordered Trees with Data Constraints on Siblings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 175-187, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | François Gonze, Raphaël M. Jungers |
On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Černý's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 212-223, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | H. K. Dai 0001, Zhu Wang 0011 |
A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 133-144, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Godin, Ines Klimann, Matthieu Picantin |
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 328-339, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
Insertion Operations on Deterministic Reversal-Bounded Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 200-211, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Panteleev |
Preset Distinguishing Sequences and Diameter of Transformation Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 353-364, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |
Weak and Nested Class Memory Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 188-199, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-319-15578-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parvaneh Babari, Manfred Droste |
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 703-715, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
Automated Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 25-46, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Philip Bille, Inge Li Gørtz, Søren Vind |
Compressed Data Structures for Range Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 577-586, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto 0001 |
BFS-Based Symmetry Breaking Predicates for DFA Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 611-622, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rui Li 0007, Yiguang Hong |
On Observability of Automata Networks via Computational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 249-262, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luis-Miguel Lopez, Philippe Narbel |
Coding Non-orientable Laminations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 340-352, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
Reasoning on Schemas of Formulas: An Automata-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 263-274, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Leupold, Norbert Hundeshagen |
A Hierarchy of Transducing Observer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 727-738, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ala-Eddine Ben Salem |
Single-Pass Testing Automata for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 563-576, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Da-Jung Cho, Yo-Sub Han, Hwee Kim |
Frequent Pattern Mining with Non-overlapping Inversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 121-132, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vesa Halava, Reino Niskanen, Igor Potapov |
On Robot Games of Degree Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 224-236, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jana Hadravová, Stepan Holub |
Equation x^iy^jx^k=u^iv^ju^k in Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 414-423, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Yoshinaka |
Learning Conjunctive Grammars and Contextual Binary Feature Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 623-635, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 237-248, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Policriti, Nicola Gigante, Nicola Prezza |
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 587-598, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yohan Boichut, Jacques Chabin, Pierre Réty |
Towards More Precise Rewriting Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 652-663, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Verdier, Jean-Baptiste Raclet |
Quotient of Acceptance Specifications Under Reachability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 299-311, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carl Barton, Costas S. Iliopoulos, Solon P. Pissis |
Average-Case Optimal Approximate Circular String Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 85-96, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi |
Recurrence Relations, Succession Rules, and the Positivity Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 499-510, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter |
Square-Free Words over Partially Commutative Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 424-435, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Klein 0001, David Müller 0001, Christel Baier, Sascha Klüppelholz |
Are Good-for-Games Automata Good for Probabilistic Model Checking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 453-465, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay |
On the Arithmetics of Discrete Figures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 198-209, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Dubourg, David Janin |
Algebraic Tools for the Overlapping Tile Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 335-346, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
Interval Temporal Logic Semantics of Box Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 441-452, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Otto, Frantisek Mráz |
Extended Two-Way Ordered Restarting Automata for Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 541-552, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Kalocinski |
On Computability and Learnability of the Pumping Lemma Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 433-440, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Stefan Dück |
Weighted Automata and Logics for Infinite Nested Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 323-334, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 260-272, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Liang Ding 0007, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, Liming Cai |
Stochastic k-Tree Grammar and Its Application in Biomolecular Structure Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 308-322, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche |
Solving Equations on Words with Morphisms and Antimorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 186-197, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Raymond R. Devillers |
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 161-172, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rob Gysel |
Minimal Triangulation Algorithms for Perfect Phylogeny Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 421-432, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, Olivier Carton |
Channel Synthesis Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 149-160, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bireswar Das, Patrick Scharpfenecker, Jacobo Torán |
Succinct Encodings of Graph Isomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 285-296, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 62-75, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Gallé, Matías Tealdi |
On Context-Diverse Repeats and Their Incremental Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 384-395, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Computing with Catalan Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 565-575, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sanjeev Khanna |
Matchings, Random Walks, and Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 32-33, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Formenti, Markus Holzer 0001, Martin Kutrib, Julien Provillard |
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 372-383, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Prusa |
Weight-Reducing Hennie Machines and Their Descriptional Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 553-564, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Hazem Torfah |
Counting Models of Linear-Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 360-371, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anton Cerný |
Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 273-284, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zuzana Bednárová, Viliam Geffert |
Two Double-Exponential Gaps for Automata with a Limited Pushdown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 113-125, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oscar H. Ibarra, Bala Ravikumar |
On the Parikh Membership Problem for FAs, PDAs, and CMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 14-31, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Haizhou Li 0002, François Pinet, Farouk Toumani |
Probabilistic Simulation for Probabilistic Data-Aware Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 503-515, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons 0001, Brent Woodhouse |
Computing Depths of Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 173-185, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Ahmed Rezine |
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 396-408, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Máté Kovács |
Interprocedural Information Flow Analysis of XML Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 34-61, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Picture Codes with Finite Deciphering Delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 88-100, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Horia Dediu, Carlos Martín-Vide, José Luis Sierra-Rodríguez, Bianca Truthe (eds.) |
Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![Springer, 978-3-319-04920-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
Extremal Combinatorics of Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 297-307, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas |
Satisfiability for MTL and TPTL over Non-monotonic Data Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 248-259, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
Shift-Reduce Parsers for Transition Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 222-235, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shenggen Zheng, Jozef Gruska, Daowen Qiu |
On the State Complexity of Semi-quantum Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 601-612, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bundala, Jakub Zavodny |
Optimal Sorting Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 236-247, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi |
Efficient List-Based Computation of the String Subsequence Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 138-148, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Konitzer, Hans Ulrich Simon |
DFA with a Bounded Activity Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 478-489, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Niko Beerenwinkel, Stefano Beretta 0001, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola |
Covering Pairs in Directed Acyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 126-137, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Vorel |
Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 576-587, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
Top-Down Tree Edit-Distance of Regular Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 466-477, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Gwynne, Oliver Kullmann |
On SAT Representations of XOR Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 409-420, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|