Author Search Results :: UTM Library Massive Scholar Tracking

1

Discounting in Games across Time Scales by Krishnendu Chatterjee, Rupak Majumdar

Published 2010-06-01

Get full text

Article
2

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs by Rayna Dimitrova, Rupak Majumdar

Published 2015-09-01

Get full text

Article
3

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility by Anthony W. Lin, Rupak Majumdar

Published 2021-10-01

Get full text

Article
4

Causality Analysis for Concurrent Reactive Systems (Extended Abstract) by Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu

Published 2019-01-01

Get full text

Article
5

General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond by Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Published 2022-10-01

Get full text

Article
6

Game Refinement Relations and Metrics by Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga

Published 2008-09-01

Get full text

Article
7

VCG with Communities on Random Ad Hoc Networks by Gunes Ercal, Rafit Izhak-Ratzin, Rupak Majumdar, Adam Meyerson

Published 2011-05-01

Get full text

Article
8

Algorithms for Game Metrics by Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman

Published 2010-09-01

Get full text

Article
9

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness by Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Published 2023-02-01

Get full text

Article