Did you mean: maschinen

search result

Cover von The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition

The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition

Year: 2024
Media group: LIPIcs
Cover von Belief Functions: Theory and Applications
7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13506
Media group: MONOGRAPHIE
Cover von The Keys to Decidable HyperLTL Satisfiability

The Keys to Decidable HyperLTL Satisfiability

Small Models or Very Simple Formulas
Year: 2020
Media group: LIPIcs
Cover von On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words

On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words

Year: 2019
Media group: LIPIcs
Cover von The Complexity of Downward Closures of Indexed Languages

The Complexity of Downward Closures of Indexed Languages

Year: 2026
Media group: LIPIcs
Cover von Optimally Controlling a Random Population

Optimally Controlling a Random Population

Year: 2026
Media group: LIPIcs
Cover von Optimal Sequential Flows

Optimal Sequential Flows

Year: 2026
Media group: LIPIcs
Cover von Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints

Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints

Year: 2023
Media group: LIPIcs
Cover von Keyboards as a New Model of Computation

Keyboards as a New Model of Computation

Year: 2021
Media group: LIPIcs
Cover von The Trichotomy of Regular Property Testing

The Trichotomy of Regular Property Testing

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0