On decision problems on word transducers with origin semantics von Bose, Sougata

Volltext bestellen

History-deterministic Timed Automata von Bose, Sougata, Henzinger, Thomas A., Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick

Volltext

History-Deterministic Timed Automata Are Not Determinizable von Bose, Sougata, Henzinger, Thomas A., Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick

Volltext

Bounded-Memory Strategies in Partial-Information Games von Bose, Sougata, Ibsen-Jensen, Rasmus, Totzke, Patrick

Volltext bestellen

Parity Games on Temporal Graphs von Austin, Pete, Bose, Sougata, Totzke, Patrick

Volltext bestellen

History-deterministic Vector Addition Systems von Bose, Sougata, Purser, David, Totzke, Patrick

Volltext bestellen

History-deterministic Timed Automata von Bose, Sougata, Henzinger, Thomas A, Lehtinen, Karoliina, Schewe, Sven, Totzke, Patrick

Volltext

The Power of Counting Steps in Quantitative Games von Bose, Sougata, Ibsen-Jensen, Rasmus, Purser, David, Totzke, Patrick, Vandenhove, Pierre

Volltext bestellen

Bounded-Memory Strategies in Partial-Information Games von Bose, Sougata, Ibsen-Jensen, Rasmus, Totzke, Patrick

Volltext

Parity Games on Temporal Graphs von Austin, Pete, Bose, Sougata, Totzke, Patrick

Volltext

History-deterministic Vector Addition Systems von Bose, Sougata, Purser, David, Totzke, Patrick

Volltext

One-way resynchronizability of word transducers von Bose, Sougata, Krishna, S. N, Muscholl, Anca, Puppis, Gabriele

Volltext bestellen

The Power of Counting Steps in Quantitative Games von Bose, Sougata, Ibsen-Jensen, Rasmus, Purser, David, Totzke, Patrick, Vandenhove, Pierre

Volltext

Origin-equivalence of two-way word transducers is in PSPACE von Bose, Sougata, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext bestellen

On Synthesis of Resynchronizers for Transducers von Bose, Sougata, Krishna, Shankara Narayanan, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext bestellen

One-way resynchronizability of word transducers von Bose, Sougata, Krishna, S N, Muscholl, Anca, Puppis, Gabriele

Volltext

Origin-equivalence of two-way word transducers is in PSPACE von Bose, Sougata, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext

On Synthesis of Resynchronizers for Transducers von Bose, Sougata, Shankara Narayanan Krishna, Muscholl, Anca, Penelle, Vincent, Puppis, Gabriele

Volltext

Optimal filter design using an improved artificial bee colony algorithm von Bose, Digbalay, Biswas, Subhodip, Vasilakos, Athanasios V., Laha, Sougata

Volltext

Evaluation of the Neuroprotective Action of Azadirachta indica Leaves Extract in Streptozotocin-induced Diabetic Rodent Model von Ghosh, Arijit, Ghosh, Sougata, Ray, Moumita, Indu, Rania, Bhattacharya, Sangita, Adhikari, Anjan, Bose, Sankhadip, Banerjee, Sabyasachi, Sur, Pradip Kumar

Volltext