Ouaknine, Joel

1. Positivity Problems for Low-Order Linear Recurrence Sequences
   2013/07/10 by Joël Ouaknine, Ouaknine, Joel, James Worrell +1 · 5 citations
   Computer Science · #Algorithms and Data Compression #Chaos-based Image/Signal Encryption #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics
2. On Searching for Small Kochen-Specker Vector Systems (extended version)
   2011/11/14 by Felix Arends, Arends, Felix, Joël Ouaknine +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · Physics and Astronomy · #FOS: Physical sciences #Gene Regulatory Network Analysis #Polynomial and algebraic computation #Quantum Physics (quant-ph) #Quantum chaos and dynamical systems
3. On the Positivity Problem for Simple Linear Recurrence Sequences
   2013/09/06 by Joël Ouaknine, James Worrell, Ouaknine, Joel +1 · 1 citation
   Computer Science · Engineering · #Coding theory and cryptography #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Polynomial and algebraic computation #graph theory and CDMA systems
4. Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
   2013/09/07 by Ouaknine, Joel, Worrell, James · 1 citation
   #Computational Complexity (cs.CC) #Discrete Mathematics (cs.DM) #F.2.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #G.2.1