Joris Nieuwveld

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Presburger Arithmetic

Quantifier Free

Top Venues

Publications

Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
On the Decidability of Presburger Arithmetic Expanded with Powers. CoRR (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. LICS (2024)
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. CoRR (2024)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
Model Checking Markov Chains as Distribution Transformers. CoRR (2024)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
On the 𝑝-adic zeros of the Tribonacci sequence. Math. Comput. 93 (347) (2023)
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
Positivity Problems for Reversible Linear Recurrence Sequences. ICALP (2023)
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
The Power of Positivity. LICS (2023)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. CoRR (2022)
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
On the Skolem Problem and the Skolem Conjecture. LICS (2022)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. MFCS (2022)