| Publication | Date of Publication | Type |
|---|
Skolem Meets Bateman-Horn
(available as arXiv preprint) | N/A | Paper |
Twisted rational zeros of linear recurrence sequences
(available as arXiv preprint) | N/A | Paper |
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words
(available as arXiv preprint) | N/A | Paper |
| On large zeros of linear recurrence sequences | 2026-08-05 | Paper |
| Explainability is a game for probabilistic bisimilarity distances | 2026-08-05 | Paper |
| Reachability for multi-priced timed automata with positive and negative rates | 2026-06-09 | Paper |
| Decision problems for second-order holonomic recurrences | 2026-05-12 | Paper |
| Invariants for continuous linear dynamical systems | 2026-03-18 | Paper |
| Multiplicity problems on algebraic series and context-free grammars | 2026-02-27 | Paper |
| The power of positivity | 2026-02-27 | Paper |
On the transcendence of a series related to Sturmian words
Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V | 2026-02-02 | Paper |
| On transcendence of numbers related to Sturmian and Arnoux-Rauzy words | 2026-01-14 | Paper |
| The 2-dimensional constraint loop problem is decidable | 2026-01-14 | Paper |
| Nonnegativity problems for matrix semigroups | 2025-11-10 | Paper |
On the Monniaux problem in abstract interpretation
Journal of the ACM | 2025-06-27 | Paper |
| On the decidability of monadic second-order logic with arithmetic predicates | 2025-06-18 | Paper |
Twisted rational zeros of linear recurrence sequences
Journal of the London Mathematical Society. Second Series | 2025-06-12 | Paper |
Transcendence of Hecke-Mahler series
Bulletin of the London Mathematical Society | 2025-05-19 | Paper |
On strongest algebraic program invariants
Journal of the ACM | 2025-02-05 | Paper |
On the zeros of exponential polynomials
Journal of the ACM | 2025-02-05 | Paper |
| Cyclotomic identity testing and applications | 2025-01-20 | Paper |
| On the computation of the Zariski closure of finitely generated groups of matrices | 2025-01-17 | Paper |
| The membership problem for hypergeometric sequences with rational parameters | 2025-01-17 | Paper |
| On rational recursion for holonomic sequences | 2025-01-10 | Paper |
| On the existential theories of Büchi arithmetic and linear p-adic fields | 2024-12-19 | Paper |
The monadic theory of toric words
Theoretical Computer Science | 2024-12-12 | Paper |
| On the Skolem problem and the Skolem conjecture | 2024-12-06 | Paper |
| Identity testing for radical expressions | 2024-12-06 | Paper |
| The Skolem landscape (invited talk) | 2024-11-14 | Paper |
| Positivity problems for reversible linear recurrence sequences | 2024-11-14 | Paper |
Porous invariants for linear systems
Formal Methods in System Design | 2024-11-04 | Paper |
| Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications | 2024-08-13 | Paper |
| Skolem meets schanuel | 2024-08-06 | Paper |
| Bounding the escape time of a linear dynamical system over a compact semialgebraic set | 2024-08-06 | Paper |
| The pseudo-reachability problem for diagonalisable linear dynamical systems | 2024-08-06 | Paper |
| A universal Skolem set of positive lower density | 2024-08-06 | Paper |
| On the Monniaux problem in abstract interpretation | 2024-04-19 | Paper |
On the 𝑝-adic zeros of the Tribonacci sequence
Mathematics of Computation | 2024-02-28 | Paper |
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
scientific article; zbMATH DE number 7730630 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
What's decidable about discrete linear dynamical systems?
Lecture Notes in Computer Science | 2023-08-10 | Paper |
scientific article; zbMATH DE number 7724206 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
| scientific article; zbMATH DE number 7724207 (Why is no real title available?) | 2023-08-08 | Paper |
scientific article; zbMATH DE number 7724240 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-08 | Paper |
Markov chains and unambiguous automata
Journal of Computer and System Sciences | 2023-06-12 | Paper |
scientific article; zbMATH DE number 7650934 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
| Algebraic model checking for discrete linear dynamical systems | 2023-01-18 | Paper |
scientific article; zbMATH DE number 7626788 (Why is no real title available?)
(available as arXiv preprint) | 2022-12-06 | Paper |
| scientific article; zbMATH DE number 7626788 (Why is no real title available?) | 2022-12-06 | Paper |
On Reachability Problems for Low-Dimensional Matrix Semigroups
(available as arXiv preprint) | 2022-07-21 | Paper |
Termination of linear loops over the integers
(available as arXiv preprint) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7559425 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| scientific article; zbMATH DE number 7559471 (Why is no real title available?) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559488 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559494 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559115 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| Skolem Meets Schanuel | 2022-04-28 | Paper |
| On the transcendence of a series related to Sturmian words | 2022-04-18 | Paper |
Porous invariants
(available as arXiv preprint) | 2022-03-25 | Paper |
o-minimal invariants for discrete-time dynamical systems
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Probabilistic automata of bounded ambiguity
Information and Computation | 2022-01-06 | Paper |
Costs and rewards in priced timed automata
Information and Computation | 2022-01-06 | Paper |
Costs and rewards in priced timed automata
Information and Computation | 2022-01-06 | Paper |
First-order orbit queries
Theory of Computing Systems | 2021-08-05 | Paper |
Effective divergence analysis for linear recurrence sequences
(available as arXiv preprint) | 2021-08-04 | Paper |
| When is containment decidable for probabilistic automata? | 2021-07-28 | Paper |
| Costs and rewards in priced timed automata | 2021-07-28 | Paper |
| o-minimal invariants for linear loops | 2021-07-28 | Paper |
| On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices | 2021-06-03 | Paper |
When are emptiness and containment decidable for probabilistic automata?
Journal of Computer and System Sciences | 2021-04-14 | Paper |
When are emptiness and containment decidable for probabilistic automata?
Journal of Computer and System Sciences | 2021-04-14 | Paper |
Polynomial Invariants for Affine Programs
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
scientific article; zbMATH DE number 7297846 (Why is no real title available?)
(available as arXiv preprint) | 2021-01-19 | Paper |
| scientific article; zbMATH DE number 7297846 (Why is no real title available?) | 2021-01-19 | Paper |
| Polynomial automata: zeroness and applications | 2021-01-19 | Paper |
On the Skolem Problem and Prime Powers
(available as arXiv preprint) | 2020-06-12 | Paper |
scientific article; zbMATH DE number 7204476 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-27 | Paper |
| Probabilistic automata of bounded ambiguity | 2020-05-27 | Paper |
Timed temporal logics
Lecture Notes in Computer Science | 2020-02-24 | Paper |
On the decidability of membership in matrix-exponential semigroups
Journal of the ACM | 2020-02-11 | Paper |
How Fast Can You Escape a Compact Polytope?
(available as arXiv preprint) | 2020-01-14 | Paper |
Effective definability of the reachability relation in timed automata
Information Processing Letters | 2019-11-21 | Paper |
On the decidability of reachability in linear time-invariant systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
On the decidability of reachability in linear time-invariant systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem
Theory of Computing Systems | 2019-08-27 | Paper |
Positivity problems for low-order linear recurrence sequences
Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms | 2019-06-20 | Paper |
scientific article; zbMATH DE number 7056237 (Why is no real title available?)
(available as arXiv preprint) | 2019-05-17 | Paper |
Markov chains and unambiguous Büchi automata
Computer Aided Verification | 2019-05-03 | Paper |
Algebraic Invariants for Linear Hybrid Automata
(available as arXiv preprint) | 2019-02-27 | Paper |
Model checking flat Freeze LTL on one-counter automata
(available as arXiv preprint) | 2019-01-18 | Paper |
Game characterization of probabilistic bisimilarity, and applications to pushdown automata
(available as arXiv preprint) | 2018-11-30 | Paper |
On the complexity of the orbit problem
Journal of the ACM | 2018-08-02 | Paper |
Model Checking Real-Time Systems
Handbook of Model Checking | 2018-07-20 | Paper |
On rationality of nonnegative matrix factorization
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms | 2018-07-16 | Paper |
On the complexity of linear arithmetic with divisibility
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
On recurrent reachability for continuous linear dynamical systems
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Solvability of Matrix-Exponential Equations
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Solvability of Matrix-Exponential Equations
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem | 2018-04-19 | Paper |
| Model checking flat freeze LTL on one-counter automata | 2018-03-21 | Paper |
On the Decidability of Reachability in Linear Time-Invariant Systems
(available as arXiv preprint) | 2018-02-19 | Paper |
On the Skolem problem for continuous linear dynamical systems
(available as arXiv preprint) | 2017-12-19 | Paper |
On restricted nonnegative matrix factorization
(available as arXiv preprint) | 2017-12-19 | Paper |
Proving the Herman-protocol conjecture
(available as arXiv preprint) | 2017-12-19 | Paper |
The polyhedron-hitting problem
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms | 2017-10-05 | Paper |
On termination of integer linear loops
Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms | 2017-10-05 | Paper |
