bibliographer - Joris Nieuwveld

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

On the Decidability of Presburger Arithmetic Expanded with Powers Toghrul Karimov Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell [github]

Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala [github]

On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates Valérie Berthé Toghrul Karimov Joris Nieuwveld Joel Ouaknine Mihir Vahanwala James Worrell [github]

Twisted rational zeros of linear recurrence sequences Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine James Worrell [github]

Positivity problems for reversible linear recurrence sequences George Kenison Joris Nieuwveld Joel Ouaknine and James Worrell [github]

On the p-adic zeros of the Tribonacci sequence Yuri Bilu Florian Luca Joris Nieuwveld Jøel Ouaknine James Worrell [github]

Skolem Meets Schanuel Yuri Bilu Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell [github]

On the Skolem Problem and the Skolem Conjecture Richard J. Lipton Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]