🔮
🔮
The Ethereal
🏛️ The Formal Languages Crypt
cs.FL: Where Formal Languages papers rest without their code.
211
Total Papers
0
No Code
198
Twilight
13
Has Code
6.2%
Survival Rate
🔮
🔮
The Ethereal
Operational Calculus for Differentiable Programming
🔮
🔮
The Ethereal
State machines for large scale computer software and systems
🔮
🔮
The Ethereal
A Language-theoretic View on Network Protocols
🔮
🔮
The Ethereal
Subsequence Automata with Default Transitions
🔮
🔮
The Ethereal
New Fault Domains for Conformance Testing of Finite State Machines
🔮
🔮
The Ethereal
Runtime Verification via Rational Monitor with Imperfect Information
🔮
🔮
The Ethereal
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
🔮
🔮
The Ethereal
An Improved Algorithm for Finding the Shortest Synchronizing Words
🔮
🔮
The Ethereal
Dynamic Membership for Regular Tree Languages
🔮
🔮
The Ethereal
Morphisms and BWT-run Sensitivity
🔮
🔮
The Ethereal
Indexing Finite-State Automata Using Forward-Stable Partitions
🔮
🔮
The Ethereal
Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
🔮
🔮
The Ethereal
Simple and tight complexity lower bounds for solving Rabin games
🔮
🔮
The Ethereal
Learning Broadcast Protocols
🔮
🔮
The Ethereal
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
🔮
🔮
The Ethereal
Bandwidth of Timed Automata: 3 Classes
🔮
🔮
The Ethereal
RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical States for RNA Secondary Structures
🔮
🔮
The Ethereal
Synthesis in Presence of Dynamic Links
🔮
🔮
The Ethereal
A Semantic Framework for PEGs
🔮
🔮
The Ethereal
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
🔮
🔮
The Ethereal
Characterisation of (Sub)sequential Rational Functions over a General Class Monoids
🔮
🔮
The Ethereal
Distributed Automata and Logic
🔮
🔮
The Ethereal