引用次数
引用: 1,859
H-指数: 20
I10-指数 : 37
出版物: 169
FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th International Conference, Hyderabad, India, December 15-18, 2005 : proceedings
R Ramanujam , Sandeep Sen
Springer
2005
Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings
V. Raman , R Ramanujam , C. Pandu Rangan
Springer
1999
Proving Fairness of Schedulers
R Ramanujam , Kamal Lodaya
Proceedings of the Conference on Logic of Programs 284 -301
2
1985
The complexity of disjunction in intuitionistic logic
R Ramanujam , Vaishnavi Sundararajan , S P Suresh
Journal of Logic and Computation 30 ( 1) 421 -445
2020
Definability in first-order theories of graph orderings ⋆
R Ramanujam , Ramanathan S Thinniyam
Journal of Logic and Computation 30 ( 1) 403 -420
2020
Models and logics for true concurrency
Kamal Lodaya , Madhavan Mukund , R Ramanujam , P S Thiagarajan
Sadhana 17 ( 1) 131 -165
17
1992
xiv External Reviewers
Hans Hüttel , Michael Mahoney , Szabolcs Iván , Andreas Maletti
31st International Conference on Foundations of Software Technology and Theoretical Computer Science
2011
TARK 2015
R Ramanujam ,
Nash bargaining and strategizing in simultaneous games
Rohit Parikh , R Ramanujam , Jayant Shah
2023
Bundled fragments of first-order modal logic:(un) decidability
Anantha Padmanabha , R Ramanujam , Yanjing Wang
FSTTCS 2018
25
2018
Are bundles good deals for first-order modal logic?
Mo Liu , Anantha Padmanabha , R Ramanujam , Yanjing Wang
Information and Computation 293 105062 -105062
7
2023
Generalized bundled fragments for first-order modal logic
Mo Liu , Anantha Padmanabha , R Ramanujam , Yanjing Wang
47th International symposium on mathematical foundations of computer science (MFCS 2022)
5
2022
A decidable fragment of first order modal logic: two variable term modal logic
Anantha Padmanabha , R Ramanujam
ACM Transactions on Computational Logic 24 ( 4) 1 -38
2
2023
Reasoning in Large Games with Unboundedly Many Players
Ramit Das , Anantha Padmanabha , R Ramanujam
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings 8 41 -57
2
2021
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes
Anantha Padmanabha , R Ramanujam
Springer International Publishing 165 -176
1
2019
Implicit quantification for modal reasoning in large games
Ramit Das , Anantha Padmanabha , R Ramanujam
Synthese 201 ( 5) 163 -163
2023
Satisfiability Problem for the Bundled Fragments of First Order Modal Logic
Mo Liu , Anantha Padmanabha , R Ramanujam , Yanjing Wang
Decidable Fragments of Term Modal Logic
Anantha Padmanabha , R Ramanujam
Black AP, 79 Bossi A., 231 Bouraqadi N., 49 Braghin C., 207
J Brichau , A Cortesi , S Ducasse , B Meenakshi
Logics of Strategies and Preferences
Sujata Ghosh , R Ramanujam
Springer India 1135 -1185
2022