Get started
Author

Joris Nieuwveld

Observed names: Nieuwveld, Joris, Nieuwveld, Joris Adriaan
ORCID: 0009-0002-0339-1230
Observed ORCID: 0009-0002-0339-1230
OpenAlex ID: A5015303339
On the Skolem Problem and the Skolem Conjecture
2022 · Richard Lipton, Florian Luca, et al. · Proceedings - Symposium on Logic in Computer Science · 6
PDF
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates
2024 · Valérie Berthé, Toghrul Karimov, et al. · Proceedings - Symposium on Logic in Computer Science · 3
On the 𝑝-adic zeros of the Tribonacci sequence
2023 · Yuri Bilu, Florian Luca, et al. · Mathematics of Computation · 3
The Power of Positivity
2023 · Toghrul Karimov, Edon Kelmendi, et al. · Proceedings - Symposium on Logic in Computer Science · 3
Skolem Meets Schanuel
2022 · Bilu, Yuri, Luca, Florian, et al. · arXiv (Cornell University) · 3
PDF
Twisted rational zeros of linear recurrence sequences
2025 · Yuri Bilu, Florian Luca, et al. · Journal of the London Mathematical Society · 1
On the Decidability of Monadic Theories of Arithmetic Predicates
2024 · Berthé, Valérie, Karimov, Toghrul, et al. · arXiv (Cornell University) · 1
PDF
Rich Sequences and Decidability of Arithmetic Theories
2026 · Karimov, Toghrul, Nieuwveld, Joris, et al. · arXiv (Cornell University)
PDF
On existential Büchi arithmetic in two coprime bases
2026 · Nieuwveld, Joris · arXiv (Cornell University)
PDF
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
2026 · Bacik, Piotr, Nieuwveld, Joris, et al. · arXiv (Cornell University)
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
2026 · Bacik, Piotr, Nieuwveld, Joris, et al. · arXiv (Cornell University)
PDF
Algorithmic Applications of Schanuel’s Conjecture
2025 · Toghrul Karimov, Joris Nieuwveld, et al. · Lecture notes in computer science
On the Decidability of Presburger Arithmetic Expanded with Powers
2025 · Toghrul Karimov, Florian Luca, et al. · Society for Industrial and Applied Mathematics eBooks
The monadic theory of toric words
2024 · Valérie Berthé, Toghrul Karimov, et al. · Theoretical Computer Science
Model Checking Markov Chains as Distribution Transformers
2024 · Rajab Aghamov, Christel Baier, et al. · Lecture notes in computer science
PDF
On the $p$-adic zeros of the Tribonacci sequence
2022 · Bilu, Yuri, Luca, Florian, et al. · arXiv (Cornell University)
PDF
Fractions, Functions and Folding. A Novel Link between Continued Fractions, Mahler Functions and Paper Folding
2021 · Nieuwveld, Joris · arXiv (Cornell University)
PDF
Works count: 20
Citation count: 22
H-index: 3
I10-index:
Year
Topic
Type