Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joël Ouaknine

Cyclic-Routing of Unmanned Aerial Vehicles

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2019English

Foundations for Decision Problems in Separation Logic With General Inductive Predicates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Branching-Time Model Checking of Parametric One-Counter Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Termination of Integer Linear Loops

2014English

Positivity Problems for Low-Order Linear Recurrence Sequences

2013English

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

International Journal of Foundations of Computer Science
Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy