Sougata Bose

21 papers A* 1B 5Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Generalised Reachability Games Revisited.
GandALF
Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, Tansholpan Zhanabekova
2025 B conf
Temporal Explorability Games.
CONCUR
Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke
2024 A* conf
Bounded-Memory Strategies in Partial-Information Games.
LICS
Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke
2024 J jnl
Bounded-Memory Strategies in Partial-Information Games.
CoRR
Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke
2024 J jnl
History-deterministic Timed Automata.
Log. Methods Comput. Sci.
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2024 — conf
Parity Games on Temporal Graphs.
FoSSaCS (1)
Pete Austin, Sougata Bose, Patrick Totzke
2024 J jnl
Temporal Explorability Games.
CoRR
Pete Austin, Nicolas Mazzocchi, Sougata Bose, Patrick Totzke
2024 B conf
The Power of Counting Steps in Quantitative Games.
CONCUR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2024 J jnl
The Power of Counting Steps in Quantitative Games.
CoRR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2023 B conf
History-Deterministic Vector Addition Systems.
CONCUR
Sougata Bose, David Purser, Patrick Totzke
2023 J jnl
History-deterministic Timed Automata.
CoRR
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
2023 J jnl
History-deterministic Vector Addition Systems.
CoRR
Sougata Bose, David Purser, Patrick Totzke
2023 J jnl
Parity Games on Temporal Graphs.
CoRR
Pete Austin, Sougata Bose, Patrick Totzke
2022 — conf
History-Deterministic Timed Automata Are Not Determinizable.
RP
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
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 B conf
One-way Resynchronizability of Word Transducers.
FoSSaCS
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021 J jnl
One-way resynchronizability of word transducers.
CoRR
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2019 B conf
On Synthesis of Resynchronizers for Transducers.
MFCS
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019 J jnl
On Synthesis of Resynchronizers for Transducers.
CoRR
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 — conf
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE.
FSTTCS
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018 J jnl
Origin-equivalence of two-way word transducers is in PSPACE.
CoRR
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis