🏛️ The Formal Languages Crypt

🔮 🔮 The Ethereal

Complete Multiparty Session Type Projection with Automata

Elaine Li, Felix Stutz, ... (+2 more)

cs.FL 🏛 CAV 📚 19 cites 2 years ago

🔮 🔮 The Ethereal

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Jianan Yao, Ziqiao Zhou, ... (+2 more)

cs.FL 🏛 arXiv 📚 19 cites 2 years ago

🔮 🔮 The Ethereal

Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment

Fabian Reiter

cs.FL 🏛 ICALP 📚 18 cites 9 years ago

🔮 🔮 The Ethereal

On the Complexity of Value Iteration

Nikhil Balaji, Stefan Kiefer, ... (+3 more)

cs.FL 🏛 ICALP 📚 15 cites 7 years ago

🔮 🔮 The Ethereal

On Restricted Nonnegative Matrix Factorization

Dmitry Chistikov, Stefan Kiefer, ... (+3 more)

cs.FL 🏛 ICALP 📚 15 cites 9 years ago

🔮 🔮 The Ethereal

Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts

Felix Stutz

cs.FL 🏛 ECOOP 📚 14 cites 3 years ago

🔮 🔮 The Ethereal

Ranked enumeration of MSO logic on words

Pierre Bourhis, Alejandro Grez, ... (+2 more)

cs.FL 🏛 ICDT 📚 14 cites 5 years ago

🔮 🔮 The Ethereal

Regular omega-Languages with an Informative Right Congruence

Dana Angluin, Dana Fisman

cs.FL 🏛 ICGALFV 📚 14 cites 7 years ago

🔮 🔮 The Ethereal

Automaton-Based Representations of Task Knowledge from Generative Language Models

Yunhao Yang, Jean-Raphaël Gaglione, ... (+2 more)

cs.FL 🏛 NeuS 📚 14 cites 3 years ago

🔮 🔮 The Ethereal

Reactive Synthesis from Extended Bounded Response LTL Specifications

Alessandro Cimatti, Luca Geatti, ... (+3 more)

cs.FL 🏛 FM 📚 13 cites 5 years ago

🔮 🔮 The Ethereal

On the k-synchronizability of systems

Cinzia Di Giusto, Cinzia Giusto, ... (+2 more)

cs.FL 🏛 Foundations of Software Science and Computation Structure 📚 13 cites 6 years ago

🔮 🔮 The Ethereal

Combinatorial Algorithms for Subsequence Matching: A Survey

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

cs.FL 🏛 ICNMAA W 📚 13 cites 3 years ago

🔮 🔮 The Ethereal

Efficient Enumeration Algorithms for Annotated Grammars

Antoine Amarilli, Louis Jachiet, ... (+2 more)

cs.FL 🏛 PODS 📚 13 cites 4 years ago

🔮 🔮 The Ethereal

Matching Patterns with Variables Under Simon's Congruence

Pamela Fleischmann, Sungmin Kim, ... (+5 more)

cs.FL 🏛 Reachability Problems 📚 12 cites 2 years ago

🔮 🔮 The Ethereal

Randomized sliding window algorithms for regular languages

Moses Ganardi, Danny Hucke, Markus Lohrey

cs.FL 🏛 ICALP 📚 12 cites 8 years ago

🔮 🔮 The Ethereal

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions

Margarida Ferreira, Miguel Terra-Neves, ... (+3 more)

cs.FL 🏛 ICTACAS 📚 11 cites 5 years ago

🔮 🔮 The Ethereal

Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs

Pascal Baumann, Rupak Majumdar, ... (+2 more)

cs.FL 🏛 PACMPL 📚 11 cites 5 years ago

🔮 🔮 The Ethereal

String Attractors and Infinite Words

Antonio Restivo, Giuseppe Romana, Marinella Sciortino

cs.FL 🏛 Latin American Symposium on Theoretical Informatics 📚 11 cites 3 years ago

🔮 🔮 The Ethereal

The complexity of bounded context switching with dynamic thread creation

Pascal Baumann, Rupak Majumdar, ... (+2 more)

cs.FL 🏛 ICALP 📚 10 cites 5 years ago

🔮 🔮 The Ethereal

Controlling a random population

Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann

cs.FL 🏛 Foundations of Software Science and Computation Structure 📚 10 cites 6 years ago

🔮 🔮 The Ethereal

Featured Weighted Automata

Uli Fahrenberg, Axel Legay

cs.FL 🏛 FM W 📚 10 cites 9 years ago

🔮 🔮 The Ethereal

(Biased) Majority Rule Cellular Automata

Bernd Gärtner, Ahad N. Zehmakan

cs.FL 🏛 arXiv 📚 10 cites 8 years ago

🔮 🔮 The Ethereal

Parametric non-interference in timed automata

Étienne André, Aleksander Kryukov

cs.FL 🏛 ICECCS 📚 9 cites 5 years ago

🔮 🔮 The Ethereal

Identifiers in Registers - Describing Network Algorithms with Logic

Benedikt Bollig, Patricia Bouyer, Fabian Reiter

cs.FL 🏛 Foundations of Software Science and Computation Structure 📚 9 cites 7 years ago