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 |
History-deterministic vector addition systems S Bose, D Purser, P Totzke arXiv preprint arXiv:2305.01981, 2023 | 2 | 2023 |
Parity Games on Temporal Graphs P Austin, S Bose, P Totzke International Conference on Foundations of Software Science and Computation …, 2024 | | 2024 |
Bounded-Memory Strategies in Partial-Information Games S Bose, R Ibsen-Jensen, P Totzke | | 2023 |
History-deterministic Timed Automata S Bose, TA Henzinger, K Lehtinen, S Schewe, P Totzke arXiv preprint arXiv:2304.03183, 2023 | | 2023 |
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 |