Joris Nieuwveld

16 papers A* 5B 2Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Algorithmic Applications of Schanuel's Conjecture.
Principles of Formal Quantitative Analysis
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2025 B conf
On Expansions of Monadic Second-Order Logic with Dynamical Predicates.
MFCS
Joris Nieuwveld, Joël Ouaknine
2025 J jnl
On Expansions of Monadic Second-Order Logic with Dynamical Predicates.
CoRR
Joris Nieuwveld, Joël Ouaknine
2025 A* conf
On the Decidability of Presburger Arithmetic Expanded with Powers.
SODA
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2025 J jnl
The monadic theory of toric words.
Theor. Comput. Sci.
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 — conf
Model Checking Markov Chains as Distribution Transformers.
Principles of Verification (2)
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 J jnl
Model Checking Markov Chains as Distribution Transformers.
CoRR
Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala
2024 A* conf
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
LICS
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
CoRR
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, James Worrell
2024 J jnl
On the Decidability of Presburger Arithmetic Expanded with Powers.
CoRR
Toghrul Karimov, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 J jnl
On the 𝑝-adic zeros of the Tribonacci sequence.
Math. Comput.
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
Positivity Problems for Reversible Linear Recurrence Sequences.
ICALP
George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
2023 A* conf
The Power of Positivity.
LICS
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
2022 A* conf
On the Skolem Problem and the Skolem Conjecture.
LICS
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
Skolem Meets Schanuel.
MFCS
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 J jnl
Skolem Meets Schanuel.
CoRR
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell