| Publication | Date of Publication | Type |
|---|
| 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 |
| Identity testing for radical expressions | 2024-12-06 | 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 7730613 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
On the Complexity of Value Iteration
(available as arXiv preprint) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7561612 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | 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 7559495 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| Strategy Complexity of Reachability in Countable Stochastic 2-Player Games | 2022-03-22 | 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 |
| Costs and rewards in priced timed automata | 2021-07-28 | Paper |
| On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices | 2021-06-03 | Paper |
| scientific article; zbMATH DE number 7297846 (Why is no real title available?) | 2021-01-19 | Paper |
scientific article; zbMATH DE number 7297846 (Why is no real title available?)
(available as arXiv preprint) | 2021-01-19 | Paper |
| On strong determinacy of countable stochastic games | 2021-01-19 | Paper |
On strong determinacy of countable stochastic games
(available as arXiv preprint) | 2021-01-19 | Paper |
| Parity objectives in countable MDPs | 2021-01-19 | Paper |
Parity objectives in countable MDPs
(available as arXiv preprint) | 2021-01-19 | Paper |
Trace refinement in labelled Markov decision processes
Logical Methods in Computer Science | 2020-06-26 | Paper |
| Synchronizing automata over nested words | 2020-01-15 | Paper |
Effective definability of the reachability relation in timed automata
Information Processing Letters | 2019-11-21 | Paper |
Synchronizing data words for register automata
ACM Transactions on Computational Logic | 2019-07-04 | Paper |
The complexity of synchronizing Markov decision processes
Journal of Computer and System Sciences | 2019-05-02 | Paper |
B\"uchi Objectives in Countable MDPs
(available as arXiv preprint) | 2019-04-25 | Paper |
On rationality of nonnegative matrix factorization
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms | 2018-07-16 | Paper |
| Synchronizing Data Words for Register Automata | 2018-03-21 | Paper |
On restricted nonnegative matrix factorization
(available as arXiv preprint) | 2017-12-19 | Paper |
Nonnegative matrix factorization requires irrationality
SIAM Journal on Applied Algebra and Geometry | 2017-07-21 | Paper |
| Synchronizing words for weighted and timed automata | 2017-04-25 | Paper |
Synchronizing automata over nested words
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Trace refinement in labelled Markov decision processes
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Robust Synchronization in Markov Decision Processes
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Limit synchronization in Markov decision processes
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Infinite Synchronizing Words for Probabilistic Automata
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
Memoryless Strategies in Stochastic Reachability Games
(available as arXiv preprint) | N/A | Paper |
"Strategy Complexity of B\""uchi Objectives in Concurrent Stochastic Games"
(available as arXiv preprint) | N/A | Paper |
