| Skolem meets schanuel Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell arXiv preprint arXiv:2204.13417, 2022 | 31 | 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 | 27 | 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 | 14 | 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 | 11* | 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 | 10 | 2024 |
| On the decidability of monadic second-order logic with arithmetic predicates V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024 | 9 | 2024 |
| On the decidability of Presburger arithmetic expanded with powers T Karimov, F Luca, J Nieuwveld, J Ouaknine, J Worrell Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2025 | 7 | 2025 |
| The monadic theory of toric words V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell Theoretical Computer Science 1025, 114959, 2025 | 5 | 2025 |
| Fractions, functions and folding. A novel link between continued fractions, Mahler functions and paper folding J Nieuwveld arXiv preprint arXiv:2108.11382, 2021 | 5 | 2021 |
| Twisted rational zeros of linear recurrence sequences Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell Journal of the London Mathematical Society 111 (3), e70126, 2025 | 4 | 2025 |
| Model Checking Markov Chains as Distribution Transformers R Aghamov, C Baier, T Karimov, J Nieuwveld, J Ouaknine, J Piribauer, ... Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 4 | 2024 |
| Explicit constructions for semidirect products in Inverse Galois Theory J Nieuwveld, B Souvignier, W Bosma Thesis BSc Mathematics, Radboud University Nijmegen, 2019 | 2 | 2019 |
| A note on Leinster groups J Nieuwveld | 2 | |
| Algorithmic applications of Schanuel’s conjecture T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell Principles of Formal Quantitative Analysis: Essays Dedicated to Christel …, 2025 | 1 | 2025 |
| On Expansions of Monadic Second-Order Logic with Dynamical Predicates J Nieuwveld, J Ouaknine arXiv preprint arXiv:2507.16581, 2025 | 1 | 2025 |
| On the Decidability of Monadic Theories of Arithmetic Predicates V BERTHÉ, T KARIMOV, J NIEUWVELD, J OUAKNINE, M VAHANWALA, ... | | 2025 |
| Algorithmic problems for linear recurrence sequences JA Nieuwveld Saarländische Universitäts-und Landesbibliothek, 2025 | | 2025 |
