The following pages link to Joël Ouaknine (Q436422):
Displaying 32 items.
- Automata, Languages and Programming (Q5716855) (← links)
- Deciding Bit-Vector Arithmetic with Abstraction (Q5758122) (← links)
- (Q5874324) (← links)
- (Q5875364) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897481) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899071) (← links)
- Foundations of Software Science and Computation Structures (Q5899090) (← links)
- Integrated Formal Methods (Q5901610) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901905) (← links)
- (Q6134272) (← links)
- (Q6168410) (← links)
- (Q6168447) (← links)
- (Q6168448) (← links)
- (Q6168485) (← links)
- On the 𝑝-adic zeros of the Tribonacci sequence (Q6203466) (← links)
- Algebraic Invariants for Linear Hybrid Automata (Q6314711) (← links)
- How Fast Can You Escape a Compact Polytope? (Q6333332) (← links)
- Skolem Meets Bateman-Horn (Q6512289) (← links)
- Twisted rational zeros of linear recurrence sequences (Q6517138) (← links)
- On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words (Q6533910) (← links)
- Model checking linear dynamical systems under floating-point rounding (Q6535340) (← links)
- On the Monniaux problem in abstract interpretation (Q6536286) (← links)
- Skolem meets schanuel (Q6584014) (← links)
- Bounding the escape time of a linear dynamical system over a compact semialgebraic set (Q6584036) (← links)
- The pseudo-reachability problem for diagonalisable linear dynamical systems (Q6584037) (← links)
- A universal Skolem set of positive lower density (Q6584077) (← links)
- Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications (Q6587115) (← links)
- Porous invariants for linear systems (Q6632205) (← links)
- Positivity problems for reversible linear recurrence sequences (Q6638140) (← links)
- On the Skolem problem and the Skolem conjecture (Q6649433) (← links)
- The monadic theory of toric words (Q6652470) (← links)
- Transcendence of Hecke-Mahler Series (Q6757515) (← links)
