search result

Cover von Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Year: 2021
Media group: LIPIcs
Cover von Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Holonomic Techniques, Periods, and Decision Problems (Invited Talk)

Year: 2020
Media group: LIPIcs
Cover von Program Invariants (Invited Talk)

Program Invariants (Invited Talk)

Year: 2019
Media group: LIPIcs
Cover von On Expansions of Monadic Second-Order Logic with Dynamical Predicates

On Expansions of Monadic Second-Order Logic with Dynamical Predicates

Year: 2025
Media group: LIPIcs
Cover von Inaproximability in Weighted Timed Games

Inaproximability in Weighted Timed Games

Year: 2024
Media group: LIPIcs
Cover von Termination of Linear Loops over the Integers

Termination of Linear Loops over the Integers

Year: 2019
Media group: LIPIcs
Cover von On the Skolem Problem for Continuous Linear Dynamical Systems

On the Skolem Problem for Continuous Linear Dynamical Systems

Year: 2016
Media group: LIPIcs
Cover von Formal Modeling and Analysis of Timed Systems
7th International Conference, Budapest, Hungary, September 14 - 16, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5813
Media group: MONOGRAPHIE
Cover von On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic

Year: 2026
Media group: LIPIcs
Cover von On the p-adic Skolem Problem

On the p-adic Skolem Problem

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0