Joël Ouaknine | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

James Worrell
4 publications
Shaull Almagor
2 publications
Nathanaël Fijalkow
2 publications
Amaury Pouly
2 publications
Edon Kelmendi
1 publication
Florian Luca
1 publication
João Sousa-Pinto
1 publication
James Maynard
1 publication
Armand Noubissie
1 publication

research

∙ 08/02/2023

Skolem Meets Bateman-Horn

The Skolem Problem asks to determine whether a given integer linear recu...

0 Florian Luca, et al. ∙

research

∙ 04/24/2020

Invariants for Continuous Linear Dynamical Systems

Continuous linear dynamical systems are used extensively in mathematics,...

0 Shaull Almagor, et al. ∙

research

∙ 02/19/2018

On the Decidability of Reachability in Linear Time-Invariant Systems

We consider the decidability of state-to-state reachability in linear ti...

0 Nathanaël Fijalkow, et al. ∙

Success!

An error occurred