| Skolem meets schanuel Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell arXiv preprint arXiv:2204.13417, 2022 | 22 | 2022 |
| 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 | 16 | 2022 |
| 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 | 8 | 2023 |
| 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 | 6* | 2023 |
| 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 | 5 | 2024 |
| Fractions, functions and folding. A novel link between continued fractions, Mahler functions and paper folding J Nieuwveld arXiv preprint arXiv:2108.11382, 2021 | 4 | 2021 |
| On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell arXiv preprint arXiv:2405.07953, 2024 | 1 | 2024 |
| Explicit constructions for semidirect products in Inverse Galois Theory J Nieuwveld, B Souvignier, W Bosma Radboud University Nijmegen Nijmegen, 2019 | 1 | 2019 |
| On the Decidability of Presburger Arithmetic Expanded with Powers T Karimov, F Luca, J Nieuwveld, J Ouaknine, J Worrell arXiv preprint arXiv:2407.05191, 2024 | | 2024 |
| Model Checking Markov Chains as Distribution Transformers R Aghamov, C Baier, T Karimov, J Nieuwveld, J Ouaknine, J Piribauer, ... arXiv preprint arXiv:2406.15087, 2024 | | 2024 |
| Twisted rational zeros of linear recurrence sequences Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell arXiv preprint arXiv:2401.06537, 2024 | | 2024 |
| Observing meter-sized dust collisions in the rings of Saturn to study planetesimal formation CJ ten Dam, JHJ de Kleuver, BC Moerman, JA Nieuwveld Year Book, 1, 2018 | | 2018 |
| A note on Leinster groups J Nieuwveld | | |
