Sougata Bose

From MaRDI portal
Person:2233398



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
History-deterministic timed automata
Logical Methods in Computer Science
2024-11-12Paper
Parity games on temporal graphs2024-10-30Paper
History-deterministic timed automata are not determinizable
Lecture Notes in Computer Science
2023-07-21Paper
Origin-equivalence of two-way word transducers is in PSPACE
(available as arXiv preprint)
2022-07-21Paper
On Synthesis of Resynchronizers for Transducers
(available as arXiv preprint)
2022-07-21Paper
One-way resynchronizability of word transducers
(available as arXiv preprint)
2021-10-18Paper


Research outcomes over time


This page was built for person: Sougata Bose