Joris Nieuwveld

Orcid: 0009-0002-0339-1230

According to our database1, Joris Nieuwveld authored at least 8 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the Decidability of Presburger Arithmetic Expanded with Powers.
CoRR, 2024

Model Checking Markov Chains as Distribution Transformers.
CoRR, 2024

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
On the 𝑝-adic zeros of the Tribonacci sequence.
Math. Comput., October, 2023

The Power of Positivity.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Positivity Problems for Reversible Linear Recurrence Sequences.
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022
Skolem Meets Schanuel.
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

On the Skolem Problem and the Skolem Conjecture.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022


  Loading...