🏛️ The Formal Languages Crypt

🔮 🔮 The Ethereal

Subsequences in Bounded Ranges: Matching and Analysis Problems

Maria Kosche, Tore Koß, ... (+2 more)

cs.FL 🏛 Reachability Problems 📚 9 cites 3 years ago

🔮 🔮 The Ethereal

Logarithmic equal-letter runs for BWT of purely morphic words

Andrea Frosini, Ilaria Mancini, ... (+3 more)

cs.FL 🏛 ICDLT 📚 9 cites 4 years ago

🔮 🔮 The Ethereal

Learning with Partially Ordered Representations

Jane Chandlee, Remi Eyraud, ... (+3 more)

cs.FL 🏛 Proceedings of the 16th Meeting on the Mathematics of Language 📚 8 cites 6 years ago

🔮 🔮 The Ethereal

A short proof that $O_2$ is an MCFL

Mark-Jan Nederhof

cs.FL 🏛 ACL 📚 8 cites 10 years ago

🔮 🔮 The Ethereal

Tree compression using string grammars

Moses Ganardi, Danny Hucke, ... (+2 more)

cs.FL 🏛 Algorithmica 📚 8 cites 10 years ago

🔮 🔮 The Ethereal

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian

cs.FL 🏛 ICRA 📚 8 cites 3 years ago

🔮 🔮 The Ethereal

An Abstract Framework for Choreographic Testing

Alex Coto, Roberto Guanciale, Emilio Tuosto

cs.FL 🏛 ICICE 📚 7 cites 5 years ago

🔮 🔮 The Ethereal

Emptiness Problems for Distributed Automata

Antti Kuusisto, Fabian Reiter

cs.FL 🏛 ICGALFV 📚 7 cites 8 years ago

🔮 🔮 The Ethereal

Prediction of Infinite Words with Automata

Tim Smith

cs.FL 🏛 ToCS 📚 7 cites 10 years ago

🔮 🔮 The Ethereal

Enumerating Regular Languages with Bounded Delay

Antoine Amarilli, Mikaël Monet

cs.FL 🏛 STACS 📚 7 cites 3 years ago

🔮 🔮 The Ethereal

HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

Jilin Hu, Jianyu Zhang, ... (+2 more)

cs.FL 🏛 arXiv 📚 6 cites 10 months ago

🔮 🔮 The Ethereal

A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression

Nicola Cotumaccio

cs.FL 🏛 STACS 📚 6 cites 3 years ago

🔮 🔮 The Ethereal

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds

Ian Erik Varatalu, Margus Veanes, Juhan-Peep Ernits

cs.FL 🏛 arXiv 📚 6 cites 2 years ago

🔮 🔮 The Ethereal

On the Power of Unambiguity in Büchi Complementation

Yong Li, Moshe Y. Vardi, Lijun Zhang

cs.FL 🏛 ICGALFV 📚 6 cites 5 years ago

🔮 🔮 The Ethereal

Conjunctive Regular Path Queries with String Variables

Markus L. Schmid

cs.FL 🏛 PODS 📚 6 cites 6 years ago

🔮 🔮 The Ethereal

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Olivier Carton, Bruno Guillon, Fabian Reiter

cs.FL 🏛 ICCADCS W 📚 6 cites 7 years ago

🔮 🔮 The Ethereal

The Power of Constraint Grammars Revisited

Anssi Yli-Jyrä

cs.FL 🏛 arXiv 📚 6 cites 8 years ago

🔮 🔮 The Ethereal

Multiple Context-Free Tree Grammars: Lexicalization and Characterization

Joost Engelfriet, Andreas Maletti, Sebastian Maneth

cs.FL 🏛 TCS 📚 6 cites 8 years ago

🔮 🔮 The Ethereal

Compositional Reasoning for Shared-variable Concurrent Programs

Fuyuan Zhang, Yongwang Zhao, ... (+5 more)

cs.FL 🏛 FM 📚 6 cites 9 years ago

🔮 🔮 The Ethereal

Online Computation of Abelian Runs

Gabriele Fici, Thierry Lecroq, ... (+2 more)

cs.FL 🏛 Language and Automata Theory and Applications 📚 6 cites 11 years ago

🔮 🔮 The Ethereal

Forkable Regular Expressions

Martin Sulzmann, Peter Thiemann

cs.FL 🏛 Language and Automata Theory and Applications 📚 6 cites 10 years ago

🔮 🔮 The Ethereal

$k$-Universality of Regular Languages

Duncan Adamson, Pamela Fleischmann, ... (+4 more)

cs.FL 🏛 ISAAC 📚 5 cites 2 years ago

🔮 🔮 The Ethereal

Parameterized Verification under TSO with Data Types

Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+5 more)

cs.FL 🏛 ICTACAS 📚 5 cites 3 years ago

🔮 🔮 The Ethereal

Tree Automata for Extracting Consensus from Partial Replicas of a Structured Document

Maurice Tchoupé Tchendji, Milliam Maxime Zekeng Ndadji

cs.FL 🏛 arXiv 📚 5 cites 5 years ago