Joris Nieuwveld

1. On the Decidability of Presburger Arithmetic Expanded with Powers
   2024/07/06 by Toghrul Karimov, Florian Luca, Karimov, Toghrul +7 · 3 citations
   Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Model Checking Markov Chains as Distribution Transformers
   2024/06/21 by Rajab Aghamov, Christel Baier, Aghamov, Rajab +11 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
3. On the p-adic zeros of the Tribonacci sequence
   2022/10/30 by Yuri Bilu, Bilu, Yuri, Florian Luca +7 · 1 citation
   Mathematics · Physics and Astronomy · #Advanced Mathematical Identities #Advanced Mathematical Theories and Applications #FOS: Mathematics #Number Theory (math.NT) #advanced mathematical theories