Follow
Joris Nieuwveld
Joris Nieuwveld
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
Skolem meets schanuel
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
arXiv preprint arXiv:2204.13417, 2022
172022
On the skolem problem and the skolem conjecture
R Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
122022
On the 𝑝-adic zeros of the Tribonacci sequence
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell
Mathematics of Computation 93 (347), 1333-1353, 2024
52024
Positivity Problems for Reversible Linear Recurrence Sequences
G Kenison, J Nieuwveld, J Ouaknine, J Worrell
50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023
5*2023
The power of positivity
T Karimov, E Kelmendi, J Nieuwveld, J Ouaknine, J Worrell
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2023
42023
Fractions, functions and folding. A novel link between continued fractions, Mahler functions and paper folding
J Nieuwveld
arXiv preprint arXiv:2108.11382, 2021
32021
Explicit constructions for semidirect products in Inverse Galois Theory
J Nieuwveld, B Souvignier, W Bosma
Radboud University Nijmegen Nijmegen, 2019
12019
Twisted rational zeros of linear recurrence sequences
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell
arXiv preprint arXiv:2401.06537, 2024
2024
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell
2024
A note on Leinster groups
J Nieuwveld
The system can't perform the operation now. Try again later.
Articles 1–10