Joris Nieuwveld

According to our database, Joris Nieuwveld authored at least 8 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

On the Decidability of Presburger Arithmetic Expanded with Powers.

Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell

CoRR, 2024

Model Checking Markov Chains as Distribution Transformers.

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala

CoRR, 2024

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

On the 𝑝-adic zeros of the Tribonacci sequence.

Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell

Math. Comput., October, 2023

The Power of Positivity.

Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Positivity Problems for Reversible Linear Recurrence Sequences.

George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Skolem Meets Schanuel.

Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

On the Skolem Problem and the Skolem Conjecture.

Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022