search result

Cover von Checking History Determinism for Parity Automata Is in NP

Checking History Determinism for Parity Automata Is in NP

Year: 2026
Media group: LIPIcs
Cover von Scoped MSO, Register Automata, and Expressions

Scoped MSO, Register Automata, and Expressions

Equivalence over Data Words
Year: 2026
Media group: LIPIcs
Cover von Asynchronous Rendezvous of Anonymous Deterministic Mobile Automata in the Plane

Asynchronous Rendezvous of Anonymous Deterministic Mobile Automata in the Plane

Year: 2026
Media group: LIPIcs
Cover von Kamp Theorem for Pomset Languages of Higher Dimensional Automata

Kamp Theorem for Pomset Languages of Higher Dimensional Automata

Year: 2026
Media group: LIPIcs
Cover von Robustness of Constraint Automata for Description Logics with Concrete Domains

Robustness of Constraint Automata for Description Logics with Concrete Domains

Year: 2026
Media group: LIPIcs
Cover von Higher-Order Timed Automata and Tail Recursion

Higher-Order Timed Automata and Tail Recursion

Year: 2025
Media group: LIPIcs
Cover von Semirings in Databases, Automata, and Logic; 2
pp. 89-109
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Improved Parallel Derandomization via Finite Automata with Applications

Improved Parallel Derandomization via Finite Automata with Applications

Year: 2025
Media group: LIPIcs
Cover von Arbitrary-Arity Tree Automata for QCTL

Arbitrary-Arity Tree Automata for QCTL

Year: 2025
Media group: LIPIcs
Cover von Minimization of Deterministic Finite Automata Modulo the Edit Distance

Minimization of Deterministic Finite Automata Modulo the Edit Distance

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0