Follow
Sougata Bose
Title
Cited by
Cited by
Year
Origin-equivalence of two-way word transducers is in PSPACE
S Bose, A Muscholl, V Penelle, G Puppis
arXiv preprint arXiv:1807.08053, 2018
162018
On synthesis of resynchronizers for transducers
S Bose, SN Krishna, A Muscholl, V Penelle, G Puppis
arXiv preprint arXiv:1906.08688, 2019
82019
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
52022
History-deterministic vector addition systems
S Bose, D Purser, P Totzke
arXiv preprint arXiv:2305.01981, 2023
22023
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
The system can't perform the operation now. Try again later.
Articles 1–9