| Origin-equivalence of two-way word transducers is in PSPACE S Bose, A Muscholl, V Penelle, G Puppis arXiv preprint arXiv:1807.08053, 2018 | 16 | 2018 |
| On synthesis of resynchronizers for transducers S Bose, SN Krishna, A Muscholl, V Penelle, G Puppis arXiv preprint arXiv:1906.08688, 2019 | 8 | 2019 |
| History-deterministic timed automata are not determinizable S Bose, TA Henzinger, K Lehtinen, S Schewe, P Totzke International Conference on Reachability Problems, 67-76, 2022 | 5 | 2022 |
| Bounded-Memory Strategies in Partial-Information Games S Bose, R Ibsen-Jensen, P Totzke arXiv preprint arXiv:2405.09406, 2024 | 2 | 2024 |
| History-deterministic vector addition systems S Bose, D Purser, P Totzke arXiv preprint arXiv:2305.01981, 2023 | 2 | 2023 |
| History-deterministic Timed Automata S Bose, TA Henzinger, K Lehtinen, S Schewe, P Totzke arXiv preprint arXiv:2304.03183, 2023 | 2 | 2023 |
| 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 | | 2024 |
| Parity Games on Temporal Graphs P Austin, S Bose, P Totzke International Conference on Foundations of Software Science and Computation …, 2024 | | 2024 |
| One-way Resynchronizability of Word Transducers. S Bose, SN Krishna, A Muscholl, G Puppis FoSSaCS, 124-143, 2021 | | 2021 |
| On decision problems on word transducers with origin semantics S Bose Université de Bordeaux, 2021 | | 2021 |
| 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) R Majumdar, AP Sistla, O Svensson, S Vempala, S Bhandari, P Harsha, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
Patrick TotzkeUniversity of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
