researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1993
1994
1995
1996
1997
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Pascal
XML
XML Schema
analysis
completeness
context-aware
e-science
grammar
graph-rewriting
logic
parsing
partitioning
rewriting
rule-based
synchronization
systematic-approach
testing
transformation
Filter by Author
[+]
OR
AND
NOT
1
Alexander Okhotin
Andreas Malcher
Andreas Maletti
Antonio Restivo
Arseny M. Shur
Daniel Reidenbach
Dirk Nowotka
Florin Manea
Frantisek Mráz
Friedrich Otto
Ian McQuillan
Jeffrey Shallit
Juhani Karhumäki
Jürgen Dassow
Kai Salomaa
Markus Holzer
Martin Kutrib
Olivier Carton
Oscar H. Ibarra
Yo-Sub Han
Filter by Top terms
[+]
OR
AND
NOT
1
automata
complexity
context
deterministic
developments
finite
free
grammars
infinite
language
languages
problem
pushdown
regular
systems
theory
transducers
tree
two
words
Developments in Language Theory (dlt)
Editions
Publications
Viewing Publication 1 - 100 from 1099
2026
On the Descriptional Complexity of Literal Shuffle
Guilherme Duarte 0001
,
Nelma Moreira
,
Luca Prigioniero
,
Rogério Reis
.
dlt 2026
:
307-320
[doi]
Transformations between Minimally f-free Words
Marcella Anselmo
,
Giuseppa Castiglione
,
Manuela Flores
,
Dora Giammarresi
,
Maria Madonia
,
Sabrina Mantaci
.
dlt 2026
:
252-265
[doi]
On Word Representations and Embeddings in Complex Matrices
Paul C. Bell
,
George Kenison
,
Reino Niskanen
,
Igor Potapov
,
Pavel Semukhin
.
dlt 2026
:
321-334
[doi]
Minimizing Streaming String Transducers: An Algebraic Approach
Yahia Idriss Benalioua
,
Nathan Lhote
,
Pierre-Alain Reynier
.
dlt 2026
:
153-167
[doi]
Developments in Language Theory - 30th International Conference, DLT 2026, Rouen, France, June 30 - July 3, 2026, Proceedings
Marie-Pierre Béal
,
Pascal Caron
, editors,
Volume 16578 of
Lecture Notes in Computer Science
, Springer,
2026.
[doi]
Tree Representations of Infinite Words and Their Logical Properties
Arnaud Carayol
,
Lucien Charamond
.
dlt 2026
:
280-292
[doi]
Efficient Computation of Discriminative Absent Words for String Collections
Giuseppa Castigione
,
Sabrina Mantaci
,
Antonio Restivo
,
Giuseppe Romana
,
Marinella Sciortino
.
dlt 2026
:
223-237
[doi]
Visibly Pushdown Languages in Groups
Laura Ciobanu
,
Daniel Turaev
.
dlt 2026
:
103-116
[doi]
Generalized Wheeler Automata: Minimality
Nicola Cotumaccio
.
dlt 2026
:
88-102
[doi]
Closure Operations on Picture Languages and Their Relation to Floor Plans
Stefano Crespi-Reghizzi
,
Antonio Restivo
,
Pierluigi San Pietro
.
dlt 2026
:
168-180
[doi]
On Some Decision Problems on Quantum Automata
Flavio D'Alessandro
,
Carlo Mereghetti
,
Beatrice Palano
,
Paolo Papi
.
dlt 2026
:
3-17
[doi]
Visibly Recursive Automata
Kévin Dubrulle
,
Véronique Bruyère
,
Guillermo A. Pérez
,
Gaëtan Staquet
.
dlt 2026
:
194-208
[doi]
On Languages Describing Large Graph Classes
Henning Fernau
,
Pamela Fleischmann
,
Kevin Mann
,
Silas Cato Sacher
.
dlt 2026
:
209-222
[doi]
Scattered Factor Universality - A Survey
Pamela Fleischmann
.
dlt 2026
:
18-24
[doi]
Generation and Enumeration of Floorplans Determined by HV-Matrices
Andrea Frosini
,
Shin-Ichi Nakano
,
Simone Rinaldi
.
dlt 2026
:
335-348
[doi]
Thue-Morse Series and k-ary Partitions
Mehdi Golafshan
,
Michel Rigo
.
dlt 2026
:
43-56
[doi]
Context-Free, Conjunctive and Boolean Grammars and SCYK Automata
Etienne Grandjean
,
Théo Grente
,
Véronique Terrier
.
dlt 2026
:
139-152
[doi]
The Joker Game Only Characterizes History-Determinism in Parity Automata With up to Two Priorities
Dorian Guyot
,
Ulrich Ultes-Nitsche
.
dlt 2026
:
130-138
[doi]
Passive Learning of Symbolic Automata over Monotonic Algebras
Peter Habermehl
,
Erwann Loulergue
.
dlt 2026
:
238-251
[doi]
Small Abelian Complexity of Multidimensional Words
Olga Karmanova
,
Svetlana Puzynina
.
dlt 2026
:
266-279
[doi]
Developments in Language Theory - 29th International Conference, DLT 2025, Seoul, South Korea, August 19-22, 2025, Proceedings
Sang-Ki Ko
,
Florin Manea
, editors,
Volume 16036 of
Lecture Notes in Computer Science
, Springer,
2026.
[doi]
Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
Peter Kostolányi
,
Andrej Ravinger
.
dlt 2026
:
72-87
[doi]
Self-assembly of Strings and Languages Revisited: Efficiently Deciding Closure Under Self-assembly
Katalin Anna Lázár
,
Florin Manea
,
Stefan Siemer
,
Timo Specht
.
dlt 2026
:
57-71
[doi]
Centered Ascending Polyominoes
P. Massazza
,
Simone Rinaldi
,
Lama Tarsissi
.
dlt 2026
:
117-129
[doi]
Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
Delaram Moradi
,
Narad Rampersad
,
Jeffrey O. Shallit
.
dlt 2026
:
181-193
[doi]
Seventy Years of Algebraic, Logical, and Topological Methods for Regular Languages
Jean-Éric Pin
.
dlt 2026
:
25-40
[doi]
The Four Corners Problem Over Larger Alphabets
Daniel Prusa
,
Michael Wehar
,
Chen Xu
.
dlt 2026
:
293-306
[doi]
2025
Partial Cubes and Fibonacci Dimension: Insights and Perspectives
Marcella Anselmo
,
Dora Giammarresi
,
Maria Madonia
,
Sabrina Mantaci
.
dlt 2026
:
15-29
[doi]
Universally Wheeler Languages
Ruben Becker
,
Giuseppa Castiglione
,
Giovanna D'Agostino
,
Alberto Policriti
,
Nicola Prezza
,
Antonio Restivo
,
Brian Riccardi
.
dlt 2026
:
45-60
[doi]
A Comparative Analysis of Deletion Closure Operations and Their Properties
Da-Jung Cho
,
Tikhon Pshenitsyn
.
dlt 2026
:
30-44
[doi]
Sorting Circular Suffixes in Linear Time
Nicola Cotumaccio
.
dlt 2026
:
294-310
[doi]
Deciding Sparseness of Regular Languages of Finite Trees and Infinite Words
Kord Eickmeyer
,
Georg Schindling
.
dlt 2026
:
213-228
[doi]
Jumbled Scattered Factors
Pamela Fleischmann
,
Annika Huch
,
Melf Kammholz
,
Tore Koß
.
dlt 2026
:
261-277
[doi]
Mapped Exponent and Asymptotic Critical Exponent of Words
Eva Foster
,
Aleksi Saarela
,
Aleksi Vanhatalo
.
dlt 2026
:
244-260
[doi]
Nondeterminism Makes Unary 1-Limited Automata Concise
Bruno Guillon
,
Luca Prigioniero
,
Javad Taheri
.
dlt 2026
:
153-165
[doi]
Formal Languages and Arithmetic Theories: Recent Results and Open Problems
Christoph Haase
,
Mikhail R. Starchak
.
dlt 2026
:
1-14
[doi]
Relativized Codes, Finite Decodability, and Bounded Languages
Oscar H. Ibarra
,
Ian McQuillan
.
dlt 2026
:
61-76
[doi]
Positive Varieties of Lattice Languages
Yusuke Inoue
,
Yuji Komatsu
.
dlt 2026
:
92-106
[doi]
Pattern Mining Under Simon's Congruence
Sungmin Kim
,
Yo-Sub Han
.
dlt 2026
:
182-196
[doi]
Heuristic Universality Detection over Regular Expressions Specified by Systems
Florent Koechlin
,
Carine Pivoteau
,
Pablo Rotondo
.
dlt 2026
:
278-293
[doi]
Subregular Expressions with Two Operations
Martin Kutrib
,
Priscilla Raucci
,
Matthias Wendlandt
.
dlt 2026
:
229-243
[doi]
Left Quotients of Deterministic Context-Free Languages
Brennan Lockinger
,
Ian McQuillan
.
dlt 2026
:
123-137
[doi]
Checking whether Two Unambiguous Context-Free Grammars Describe the Same Set of Strings of Length n
Vladislav Makarov
.
dlt 2026
:
138-152
[doi]
On the Transformation of Two-Way Nondeterministic Finite Automata to Unambiguous Finite Automata
Semyon Petrov
,
Alexander Okhotin
.
dlt 2026
:
107-122
[doi]
Turn Complexity of Context-Free Languages, Pushdown andOne-Counter Automata
Giovanni Pighizzini
.
dlt 2026
:
77-91
[doi]
A General Information Extraction Framework Based on Formal Languages
Markus L. Schmid
.
dlt 2026
:
197-212
[doi]
Improved Upper Bounds for Determinizing NIDPDAs with Limited Nondeterminism
Mohammad Zakzok
,
Kai Salomaa
.
dlt 2026
:
166-181
[doi]
2024
Around Don's Conjecture for Binary Completely Reachable Automata
Yinfeng Zhu 0001
.
dlt 2024
:
282-295
[doi]
Deciding Conjugacy of a Rational Relation - (Extended Abstract)
C. Aiswarya
,
Amaldev Manuel
,
Saina Sunny
.
dlt 2024
:
37-50
[doi]
Logic and Languages of Higher-Dimensional Automata
Amazigh Amrane
,
Hugo Bazille
,
Uli Fahrenberg
,
Marie Fortin
.
dlt 2024
:
51-67
[doi]
Universal Rewriting Rules for the Parikh Matrix Injectivity Problem
Ingyu Baek
,
Joonghyuk Hahn
,
Yo-Sub Han
,
Kai Salomaa
.
dlt 2024
:
68-81
[doi]
2 is a Multiple Context-Free Grammar: An Implementation-, Formalisation-Friendly Proof
Marco B. Caminati
.
dlt 2024
:
82-97
[doi]
Cyclic Operator Precedence Grammars for Improved Parallel Parsing
Michele Chiari
,
Dino Mandrioli
,
Matteo Pradella
.
dlt 2024
:
98-113
[doi]
On the Complexity and Approximability of Bounded Access Lempel Ziv Coding
Ferdinando Cicalese
,
Francesca Ugazio
.
dlt 2024
:
114-130
[doi]
Word Equations, Constraints, and Formal Languages
Laura Ciobanu
.
dlt 2024
:
1-12
[doi]
Developments in Language Theory - 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Joel D. Day
,
Florin Manea
, editors,
Volume 14791 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
How to Find Long Maximal Exact Matches and Ignore Short Ones
Travis Gagie
.
dlt 2024
:
131-140
[doi]
The Pumping Lemma for Context-Free Languages is Undecidable
Hermann Gruber
,
Markus Holzer 0001
,
Christian Rauch 0001
.
dlt 2024
:
141-155
[doi]
Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors
Oscar H. Ibarra
,
Ian McQuillan
.
dlt 2024
:
156-172
[doi]
Semidirect Product Decompositions for Periodic Regular Languages
Yusuke Inoue
,
Kenji Hashimoto
,
Hiroyuki Seki
.
dlt 2024
:
173-188
[doi]
Polyregular Functions Characterisations and Refutations - Characterisations and Refutations
Sandra Kiefer
.
dlt 2024
:
13-21
[doi]
Approximate Cartesian Tree Pattern Matching
Sungmin Kim
,
Yo-Sub Han
.
dlt 2024
:
189-202
[doi]
Cellular Automata: From Black-and-White to High Gloss Color
Martin Kutrib
,
Andreas Malcher
.
dlt 2024
:
22-36
[doi]
Deterministic Pushdown Automata with Translucent Input Letters
Martin Kutrib
,
Andreas Malcher
,
Carlo Mereghetti
,
Beatrice Palano
,
Priscilla Raucci
,
Matthias Wendlandt
.
dlt 2024
:
203-217
[doi]
Network Topologies for Parallel Communicating Finite Automata: Token-Ring and Token-Bus
Philomena Moek
.
dlt 2024
:
218-235
[doi]
Finite Automata with Sets of Translucent Words
Benedek Nagy
,
Friedrich Otto
.
dlt 2024
:
236-251
[doi]
Careful Synchronization of One-Cluster Automata
Jakub Ruszil
.
dlt 2024
:
252-265
[doi]
Verifying and Interpreting Neural Networks Using Finite Automata
Marco Sälzer
,
Eric Alsmann
,
Florian Bruse
,
Martin Lange
.
dlt 2024
:
266-281
[doi]
2023
Completely Distinguishable Automata and the Set of Synchronizing Words
Stefan Hoffmann 0001
.
dlt 2023
:
128-142
[doi]
Synchronization of Parikh Automata
Stefan Hoffmann 0001
.
dlt 2023
:
113-127
[doi]
Jumping Automata over Infinite Words
Shaull Almagor
,
Omer Yizhaq
.
dlt 2023
:
9-22
[doi]
Isometric Words Based on Swap and Mismatch Distance
Marcella Anselmo
,
Giuseppa Castiglione
,
Manuela Flores
,
Dora Giammarresi
,
Maria Madonia
,
Sabrina Mantaci
.
dlt 2023
:
23-35
[doi]
Set Augmented Finite Automata over Infinite Alphabets
Ansuman Banerjee
,
Kingshuk Chatterjee
,
Shibashis Guha
.
dlt 2023
:
36-50
[doi]
Fast Detection of Specific Fragments Against a Set of Sequences
Marie-Pierre Béal
,
Maxime Crochemore
.
dlt 2023
:
51-60
[doi]
The Exact State Complexity for the Composition of Root and Reversal
Pascal Caron
,
Alexandre Durand
,
Bruno Patrou
.
dlt 2023
:
74-85
[doi]
Weak Inverse Neighborhoods of Languages
Hyunjoon Cheon
,
Yo-Sub Han
.
dlt 2023
:
61-73
[doi]
The Domino Problem Is Undecidable on Every Rhombus Subshift
Benjamin Hellouin de Menibus
,
Victor H. Lutfalla
,
Camille Noûs
.
dlt 2023
:
100-112
[doi]
Developments in Language Theory - 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings
Frank Drewes
,
Mikhail Volkov 0001
, editors,
Volume 13911 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Bit Catastrophes for the Burrows-Wheeler Transform
Sara Giuliani
,
Shunsuke Inenaga
,
Zsuzsanna Lipták
,
Giuseppe Romana
,
Marinella Sciortino
,
Cristian Urbina
.
dlt 2023
:
86-99
[doi]
Zielonka DAG Acceptance and Regular Languages over Infinite Words
Christopher Hugenroth
.
dlt 2023
:
143-155
[doi]
On Word-Representable and Multi-word-Representable Graphs
Benny George Kenkireth
,
Ahaan Sameer Malhotra
.
dlt 2023
:
156-167
[doi]
On the Simon's Congruence Neighborhood of Languages
Sungmin Kim
,
Yo-Sub Han
,
Sang-Ki Ko
,
Kai Salomaa
.
dlt 2023
:
168-181
[doi]
Tree-Walking-Storage Automata
Martin Kutrib
,
Uwe Meyer 0003
.
dlt 2023
:
182-194
[doi]
Rewriting Rules for Arithmetics in Alternate Base Systems
Zuzana Masáková
,
Edita Pelantová
,
Katarína Studenicová
.
dlt 2023
:
195-207
[doi]
Formal Languages and the NLP Black Box
William Merrill
.
dlt 2023
:
1-8
[doi]
Synchronizing Automata with Coinciding Cycles
Jakub Ruszil
.
dlt 2023
:
208-218
[doi]
Approaching Repetition Thresholds via Local Resampling and Entropy Compression
Arseny M. Shur
.
dlt 2023
:
219-232
[doi]
Languages Generated by Conjunctive Query Fragments of FC[REG]
Sam M. Thompson
,
Dominik D. Freydenberger
.
dlt 2023
:
233-245
[doi]
Groups Whose Word Problems Are Accepted by Abelian G-Automata
Takao Yuyama
.
dlt 2023
:
246-257
[doi]
2022
Well Quasi-Orders Arising from Finite Ordered Semigroups
Ondrej Klíma 0002
,
Jonatan Kolegar
.
dlt 2022
:
201-212
[doi]
Deciding Atomicity of Subword-Closed Languages
Aistis Atminas
,
Vadim V. Lozin
.
dlt 2022
:
69-77
[doi]
Preservation of Normality by Unambiguous Transducers
Olivier Carton
.
dlt 2022
:
90-101
[doi]
Word Equations in the Context of String Solving
Joel D. Day
.
dlt 2022
:
13-32
[doi]
Column Representation of Sturmian Words in Cellular Automata
Francesco Dolce
,
Pierre-Adrien Tahay
.
dlt 2022
:
127-138
[doi]
On Perfect Coverings of Two-Dimensional Grids
Elias Heikkilä
,
Pyry Herva
,
Jarkko Kari
.
dlt 2022
:
152-163
[doi]
The Billaud Conjecture for ${|{\varSigma } |} = 4$, and Beyond
Szymon Lopaciuk
,
Daniel Reidenbach
.
dlt 2022
:
213-225
[doi]
Weighted Tree Automata with Constraints
Andreas Maletti
,
Andreea-Teodora Nász
.
dlt 2022
:
226-238
[doi]
Measuring Power of Locally Testable Languages
Ryoma Sin'ya
.
dlt 2022
:
274-285
[doi]
On One-Counter Positive Cones of Free Groups
Zoran Sunic
.
dlt 2022
:
299-311
[doi]
A Full Characterization of Bertrand Numeration Systems
Émilie Charlier
,
Célia Cisternino
,
Manon Stipulanti
.
dlt 2022
:
102-114
[doi]
Sign in
or
sign up
to see more results.