| 2026 | CONCUR | Sure-Almost-Sure and Sure-Limit-Sure Window Mean Payoff in Markov Decision Processes. | Pranshu Gaba, Shibashis Guha |
| 2026 | ICALP | Set Automata and Limits of Decidability of Two-Variable Logic on Data Words. | Shibashis Guha, Amaldev Manuel, S. P. Rishal |
| 2026 | STACS | Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games. | Laurent Doyen, Shibashis Guha |
| 2025 | CONCUR | Expectation in Stochastic Games with Prefix-Independent Objectives. | Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2025 | IJCAI | Continuous-Time Reward Machines. | Amin Falah, Shibashis Guha, Ashutosh Trivedi |
| 2024 | FOSSACS | Stochastic Window Mean-Payoff Games. | Laurent Doyen, Pranshu Gaba, Shibashis Guha |
| 2023 | CONCUR | A Game of Pawns. | Guy Avni, Pranav Ghorpade, Shibashis Guha |
| 2023 | CONCUR | History-Deterministic Parikh Automata. | Enzo Erlich, Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann |
| 2023 | DLT | Set Augmented Finite Automata over Infinite Alphabets. | Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha |
| 2022 | CAV | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. | Chaitanya Agarwal, Shibashis Guha, Jan Kretnsk, Pazhamalai Muruganandham |
| 2022 | ICALP | Strategy Synthesis for Global Window PCTL. | Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-Franois Raskin |
| 2021 | CONCUR | Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. | Mrudula Balachander, Shibashis Guha, Jean-Franois Raskin |
| 2021 | MFCS | A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. | Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann |
| 2020 | LICS | Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. | Raphal Berthon, Shibashis Guha, Jean-Franois Raskin |
| 2018 | FM | Timed Vacuity. | Hana Chockler, Shibashis Guha, Orna Kupferman |
| 2018 | MFCS | Timed Network Games with Clocks. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2017 | IJCAI | An Abstraction-Refinement Methodology for Reasoning about Network Games. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2017 | MFCS | Timed Network Games. | Guy Avni, Shibashis Guha, Orna Kupferman |
| 2016 | EMSOFT | Synthesizing time-triggered schedules for switched networks with faulty links. | Guy Avni, Shibashis Guha, Guillermo Rodrguez-Navas |
| 2016 | TASE | From Traces to Proofs: Proving Concurrent Programs Safe. | Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar |
| 2014 | CONCUR | Reducing Clocks in Timed Automata while Preserving Bisimulation. | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |
| 2012 | CAV | On Decidability of Prebisimulation for Timed Automata. | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar |
| 2006 | IDEAS | LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime. | Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar |