Sougata Bose

According to our database, Sougata Bose authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Nicolas Mazzocchi, Sougata Bose, Patrick Totzke

CoRR, 2024

Bounded-Memory Strategies in Partial-Information Games.

Sougata Bose, Rasmus Ibsen-Jensen, Patrick Totzke

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Parity Games on Temporal Graphs.

Pete Austin, Sougata Bose, Patrick Totzke

Proceedings of the Foundations of Software Science and Computation Structures, 2024

The Power of Counting Steps in Quantitative Games.

Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

History-Deterministic Vector Addition Systems.

Sougata Bose, David Purser, Patrick Totzke

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

History-Deterministic Timed Automata Are Not Determinizable.

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Proceedings of the Reachability Problems - 16th International Conference, 2022

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

PhD thesis, 2021

One-way Resynchronizability of Word Transducers.

Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2019

On Synthesis of Resynchronizers for Transducers.

Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Origin-Equivalence of Two-Way Word Transducers Is in PSPACE.

Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018