| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca |
Preimage Problems for Reaction Systems.  |
LATA  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Bailly, François Denis, Guillaume Rabusseau |
Recognizable Series on Hypergraphs. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Leroy Chew, Karteek Sreenivasaiah |
A Game Characterisation of Tree-like Q-resolution Size. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Gamard, Gwénaël Richomme |
Coverability in Two Dimensions. |
LATA |
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. |
LATA |
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. |
LATA |
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. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp |
Sorting Networks: The End Game. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Charalampos Zinoviadis |
Hierarchy and Expansiveness in 2D Subshifts of Finite Type. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Restivo |
The Shuffle Product: New Research Directions. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, Élise Prieur-Gaston |
Online Computation of Abelian Runs. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Ndione, Aurélien Lemay, Joachim Niehren |
Sublinear DTD Validity. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad Kazimierz Dabrowski, Shenwei Huang, Daniël Paulusma |
Bounding Clique-Width via Perfect Graphs. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron |
Complexity Classes for Membrane Systems: A Survey. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Boasson, Olivier Carton |
Rational Selecting Relations and Selectors. |
LATA |
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. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Vorel, Adam Roman |
Complexity of Road Coloring with Prescribed Reset Words. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann 0001, Martin Sulzmann |
From \omega -Regular Expressions to Büchi Automata via Partial Derivatives. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann A. Makowsky, Nadia Labai |
Hankel Matrices: From Words to Graphs (Extended Abstract). |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Peter Thiemann 0001 |
Derivatives for Regular Shuffle Expressions. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Trávnícek, Jan Janousek, Borivoj Melichar, Loek G. Cleophas |
Backward Linearised Tree Pattern Matching. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Structure and Measure of a Decidable Class of Two-dimensional Codes. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán Ponce de León, Andrey Mokhov |
Building Bridges Between Sets of Partial Orders. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Golnaz Badkobeh, Gabriele Fici, Zsuzsanna Lipták |
On the Number of Closed Factors in a Word. |
LATA |
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. |
LATA |
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. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski |
Order Structures for Subclasses of Generalised Traces. |
LATA |
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. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Ian Mertz |
Complexity of Regular Functions. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Chandra Nayak, Kalpesh Kapoor |
On the Language of Primitive Partial Words. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
Logics for Unordered Trees with Data Constraints on Siblings. |
LATA |
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. |
LATA |
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. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Godin, Ines Klimann, Matthieu Picantin |
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joey Eremondi, Oscar H. Ibarra, Ian McQuillan |
Insertion Operations on Deterministic Reversal-Bounded Counter Machines. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Panteleev |
Preset Distinguishing Sequences and Diameter of Transformation Semigroups. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |
Weak and Nested Class Memory Automata. |
LATA |
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 |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Parvaneh Babari, Manfred Droste |
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
Automated Program Verification. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Bille, Inge Li Gørtz, Søren Vind |
Compressed Data Structures for Range Searching. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto 0001 |
BFS-Based Symmetry Breaking Predicates for DFA Identification. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Li 0007, Yiguang Hong |
On Observability of Automata Networks via Computational Algebra. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis-Miguel Lopez, Philippe Narbel |
Coding Non-orientable Laminations. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
Reasoning on Schemas of Formulas: An Automata-Based Approach. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Leupold, Norbert Hundeshagen |
A Hierarchy of Transducing Observer Systems. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ala-Eddine Ben Salem |
Single-Pass Testing Automata for LTL Model Checking. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Da-Jung Cho, Yo-Sub Han, Hwee Kim |
Frequent Pattern Mining with Non-overlapping Inversions. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Reino Niskanen, Igor Potapov |
On Robot Games of Degree Two. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Hadravová, Stepan Holub |
Equation x^iy^jx^k=u^iv^ju^k in Words. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Yoshinaka |
Learning Conjunctive Grammars and Contextual Binary Feature Grammars. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Policriti, Nicola Gigante, Nicola Prezza |
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Jacques Chabin, Pierre Réty |
Towards More Precise Rewriting Approximations. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Verdier, Jean-Baptiste Raclet |
Quotient of Acceptance Specifications Under Reachability Constraints. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Barton, Costas S. Iliopoulos, Solon P. Pissis |
Average-Case Optimal Approximate Circular String Matching. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bilotta, Elisa Pergola, Renzo Pinzani, Simone Rinaldi |
Recurrence Relations, Succession Rules, and the Positivity Problem. |
LATA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter |
Square-Free Words over Partially Commutative Alphabets. |
LATA |
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? |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay |
On the Arithmetics of Discrete Figures. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Dubourg, David Janin |
Algebraic Tools for the Overlapping Tile Product. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Klaudel, Maciej Koutny, Zhenhua Duan |
Interval Temporal Logic Semantics of Box Algebra. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Frantisek Mráz |
Extended Two-Way Ordered Restarting Automata for Picture Languages. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Kalocinski |
On Computability and Learnability of the Pumping Lemma Function. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Stefan Dück |
Weighted Automata and Logics for Infinite Nested Words. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Caron, Marianne Flouret, Ludovic Mignot |
(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization. |
LATA |
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. |
LATA |
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. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Raymond R. Devillers |
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Gysel |
Minimal Triangulation Algorithms for Perfect Phylogeny Problems. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Olivier Carton |
Channel Synthesis Revisited. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bireswar Das, Patrick Scharpfenecker, Jacobo Torán |
Succinct Encodings of Graph Isomorphism. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Gallé, Matías Tealdi |
On Context-Diverse Repeats and Their Incremental Computation. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
Computing with Catalan Families. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjeev Khanna |
Matchings, Random Walks, and Sampling. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Formenti, Markus Holzer 0001, Martin Kutrib, Julien Provillard |
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Prusa |
Weight-Reducing Hennie Machines and Their Descriptional Complexity. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Hazem Torfah |
Counting Models of Linear-Time Temporal Logic. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Cerný |
Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuzana Bednárová, Viliam Geffert |
Two Double-Exponential Gaps for Automata with a Limited Pushdown. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Bala Ravikumar |
On the Parikh Membership Problem for FAs, PDAs, and CMs. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Haizhou Li 0002, François Pinet, Farouk Toumani |
Probabilistic Simulation for Probabilistic Data-Aware Business Processes. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons 0001, Brent Woodhouse |
Computing Depths of Patterns. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Ahmed Rezine |
Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Máté Kovács |
Interprocedural Information Flow Analysis of XML Processors. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Picture Codes with Finite Deciphering Delay. |
LATA |
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 |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Enrico Formenti, Luca Manzoni |
Extremal Combinatorics of Reaction Systems. |
LATA |
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. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
Shift-Reduce Parsers for Transition Networks. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenggen Zheng, Jozef Gruska, Daowen Qiu |
On the State Complexity of Semi-quantum Finite Automata. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Bundala, Jakub Zavodny |
Optimal Sorting Networks. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi |
Efficient List-Based Computation of the String Subsequence Kernel. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Konitzer, Hans Ulrich Simon |
DFA with a Bounded Activity Level. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Beerenwinkel, Stefano Beretta 0001, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola |
Covering Pairs in Directed Acyclic Graphs. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Vorel |
Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sang-Ki Ko, Yo-Sub Han, Kai Salomaa |
Top-Down Tree Edit-Distance of Regular Tree Languages. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Gwynne, Oliver Kullmann |
On SAT Representations of XOR Constraints. |
LATA |
2014 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license