Joel Ouaknine

Identifiers

• name variant Joel Ouaknine 0.60 · backfill

Papers (8)

1. On Recurrent Reachability for Continuous Linear Dynamical Systems cs.SY · 2015 · author #2
2. On the Skolem Problem for Continuous Linear Dynamical Systems cs.SY · 2015 · author #2
3. The Cyclic-Routing UAV Problem is PSPACE-Complete cs.LO · 2014 · author #2
4. Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences cs.CC · 2013 · author #1
5. On the Positivity Problem for Simple Linear Recurrence Sequences cs.DM · 2013 · author #1
6. Positivity Problems for Low-Order Linear Recurrence Sequences cs.DM · 2013 · author #1
7. On Searching for Small Kochen-Specker Vector Systems (extended version) quant-ph · 2011 · author #2
8. On the decidability and complexity of Metric Temporal Logic over finite words cs.LO · 2007 · author #1

Mentions

• 1309.1914 #1 · backfill · confidence 0.70 Joel Ouaknine
• 1309.1550 #1 · backfill · confidence 0.70 Joel Ouaknine
• 1307.2779 #1 · backfill · confidence 0.70 Joel Ouaknine
• 1111.3301 #2 · backfill · confidence 0.70 Joel Ouaknine

Frequent Coauthors

• James Worrell 6 shared papers
• Ventsislav Chonev 2 shared papers
• Charles W. Wampler 1 shared papers
• Felix Arends 1 shared papers
• Hsi-Ming Ho 1 shared papers