| Skolem meets schanuel Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell arXiv preprint arXiv:2204.13417, 2022 | 31 | 2022 |
| What’s decidable about linear loops? T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022 | 29 | 2022 |
| On the Skolem Problem and the Skolem Conjecture RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell | 27 | 2022 |
| The Complexity of Verifying Loop-Free Programs as Differentially Private M Gaboardi, K Nissim, D Purser 47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020 | 23 | 2020 |
| Asymmetric distances for approximate differential privacy D Chistikov, AS Murawski, D Purser Schloss Dagstuhl–Leibniz-Zentrum für Informatik 140, 1-17, 2019 | 19 | 2019 |
| Twitter usage across industry: A spatiotemporal analysis N Gupta, H Crosby, D Purser, S Javis, W Guo 2018 IEEE Fourth International Conference on Big Data Computing Service and …, 2018 | 18 | 2018 |
| The Big-O Problem for Labelled Markov Chains and Weighted Automata D Chistikov, S Kiefer, AS Murawski, D Purser 31st International Conference on Concurrency Theory (CONCUR 2020), 2020 | 13 | 2020 |
| Bisimilarity distances for approximate differential privacy D Chistikov, AS Murawski, D Purser International Symposium on Automated Technology for Verification and …, 2018 | 13 | 2018 |
| Porous invariants E Lefaucheux, J Ouaknine, D Purser, J Worrell International Conference on Computer Aided Verification, 172-194, 2021 | 10 | 2021 |
| Structural liveness of Petri nets is ExpSpace-hard and decidable P Jančar, D Purser Acta Informatica 56 (6), 537-552, 2019 | 10 | 2019 |
| The boundedness and zero isolation problems for weighted automata over nonnegative rationals W Czerwiński, E Lefaucheux, F Mazowiecki, D Purser, M Whiteland Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 9 | 2022 |
| Reachability in dynamical systems with rounding C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ... 40th IARCS Annual Conference on Foundations of Software Technology and …, 2020 | 9 | 2020 |
| History-deterministic vector addition systems S Bose, D Purser, P Totzke arXiv preprint arXiv:2305.01981, 2023 | 7 | 2023 |
| The orbit problem for parametric linear dynamical systems C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, F Luca, ... arXiv preprint arXiv:2104.10634, 2021 | 7 | 2021 |
| Determinisation and unambiguisation of polynomially-ambiguous rational weighted automata I Jecker, F Mazowiecki, D Purser Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024 | 6 | 2024 |
| The big-O problem D Chistikov, S Kiefer, AS Murawski, D Purser Logical Methods in Computer Science 18, 2022 | 5 | 2022 |
| The power of counting steps in quantitative games S Bose, R Ibsen-Jensen, D Purser, P Totzke, P Vandenhove arXiv preprint arXiv:2406.17482, 2024 | 4 | 2024 |
| Porous invariants for linear systems E Lefaucheux, J Ouaknine, D Purser, J Worrell Formal Methods in System Design 63 (1), 235-271, 2024 | 2 | 2024 |
| The big-o problem for max-plus automata is decidable (PSPACE-complete) L Daviaud, D Purser, M Tcheng Logical Methods in Computer Science 21, 2025 | 1 | 2025 |
| Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ... 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022 | 1 | 2022 |
