Skip to content

International Conference on Language and Automata Theory and Applications

LATA

C

CORE rank

CORE rank (raw)

C

Fields of research

Theory of Computation

Papers indexed

645

2007–2021

Papers per year

200763 peak2021

LATA papers

645 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2015From \omega -Regular Expressions to Bchi Automata via Partial Derivatives.Peter Thiemann, Martin Sulzmann
2015Derivatives for Regular Shuffle Expressions.Martin Sulzmann, Peter Thiemann
2015Single-Pass Testing Automata for LTL Model Checking.Ala-Eddine Ben Salem
2015The Shuffle Product: New Research Directions.Antonio Restivo
2015Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform.Alberto Policriti, Nicola Gigante, Nicola Prezza
2015Reasoning on Schemas of Formulas: An Automata-Based Approach.Nicolas Peltier
2015Preset Distinguishing Sequences and Diameter of Transformation Semigroups.Pavel Panteleev
2015Sublinear DTD Validity.Antoine Ndione, Aurlien Lemay, Joachim Niehren
2015On the Language of Primitive Partial Words.Ananda Chandra Nayak, Kalpesh Kapoor
2015Square-Free Words over Partially Commutative Alphabets.Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter
2015Complexity Classes for Membrane Systems: A Survey.Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca, Claudio Zandron
2015Hankel Matrices: From Words to Graphs (Extended Abstract).Johann A. Makowsky, Nadia Labai
2015Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem.Martin Lck, Arne Meier, Irina Schindler
2015Coding Non-orientable Laminations.Luis-Miguel Lopez, Philippe Narbel
2015On Observability of Automata Networks via Computational Algebra.Rui Li, Yiguang Hong
2015A Hierarchy of Transducing Observer Systems.Peter Leupold, Norbert Hundeshagen
2015Building Bridges Between Sets of Partial Orders.Hernn Ponce de Len, Andrey Mokhov
2015Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable.Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015Order Structures for Subclasses of Generalised Traces.Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015On Robot Games of Degree Two.Vesa Halava, Reino Niskanen, Igor Potapov
2015Equation x^iy^jx^k=u^iv^ju^k in Words.Jana Hadravov, Stepan Holub
2015On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Čern's Conjecture.Franois Gonze, Raphal M. Jungers
2015On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata.Thibault Godin, Ines Klimann, Matthieu Picantin
2015Coverability in Two Dimensions.Guilhem Gamard, Gwnal Richomme
2015Online Computation of Abelian Runs.Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre, lise Prieur-Gaston
201225 of 645← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.