Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. - Sougata Bose; Anca Muscholl; Vincent Penelle; Gabriele Puppis (FSTTCS, 2018)

On Synthesis of Resynchronizers for Transducers. - Sougata Bose; Shankara Narayanan Krishna; Anca Muscholl; Vincent Penelle; Gabriele Puppis (MFCS, 2019)

One-way Resynchronizability of Word Transducers. - Sougata Bose; Shankara Narayanan Krishna; Anca Muscholl; Gabriele Puppis (FoSSaCS, 2021)

On decision problems on word transducers with origin semantics. (Sur les problèmes de décision concernant les transducteurs de mots avec la sémantique d'origine). - Sougata Bose (2021)

History-Deterministic Timed Automata Are Not Determinizable. - Sougata Bose; Thomas A. Henzinger; Karoliina Lehtinen; Sven Schewe; Patrick Totzke (RP, 2022)

History-Deterministic Vector Addition Systems. - Sougata Bose; David Purser; Patrick Totzke (CONCUR, 2023)

The Power of Counting Steps in Quantitative Games. - Sougata Bose; Rasmus Ibsen-Jensen; David Purser; Patrick Totzke; Pierre Vandenhove (CONCUR, 2024)

Parity Games on Temporal Graphs. - Pete Austin; Sougata Bose; Patrick Totzke (FoSSaCS (1), 2024)

Bounded-Memory Strategies in Partial-Information Games. - Sougata Bose; Rasmus Ibsen-Jensen; Patrick Totzke (LICS, 2024)

History-deterministic Timed Automata. - Sougata Bose; Thomas A. Henzinger; Karoliina Lehtinen; Sven Schewe; Patrick Totzke (Log. Methods Comput. Sci., 2024)

Temporal Explorability Games. - Pete Austin; Sougata Bose; Nicolas Mazzocchi; Patrick Totzke (CONCUR, 2025)