Joris Nieuwveld
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. | Piotr Bacik, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser |
| 2025 | MFCS | On Expansions of Monadic Second-Order Logic with Dynamical Predicates. | Joris Nieuwveld, Jol Ouaknine |
| 2025 | SODA | On the Decidability of Presburger Arithmetic Expanded with Powers. | Toghrul Karimov, Florian Luca, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2024 | LICS | On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. | Valrie Berth, Toghrul Karimov, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, James Worrell |
| 2023 | ICALP | Positivity Problems for Reversible Linear Recurrence Sequences. | George Kenison, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2023 | LICS | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2022 | LICS | On the Skolem Problem and the Skolem Conjecture. | Richard Lipton, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |
| 2022 | MFCS | Skolem Meets Schanuel. | Yuri Bilu, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |