Scholar
Joris Nieuwveld
Google Scholar ID: fwr8ZdAAAAAJ
Max Planck Institute for Software Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
117
H-index
6
i10-index
4
Publications
16
Co-authors
0
Publications
5 items
Rich Sequences and Decidability of Arithmetic Theories
2026
Cited
0
On existential Büchi arithmetic in two coprime bases
2026
Cited
0
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
2026
Cited
0
On Expansions of Monadic Second-Order Logic with Dynamical Predicates
2025
Cited
0
On the Decidability of Presburger Arithmetic Expanded with Powers
ACM-SIAM Symposium on Discrete Algorithms · 2024
Cited
2
