R. Ramanujam

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 26

Top Topics

Prime Implicates

Voting Protocols

Top Venues

J. Log. Comput.

Publications

Sujata Ghosh, R. Ramanujam
Preface. J. Log. Lang. Inf. 32 (1) (2023)
Anantha Padmanabha, R. Ramanujam
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. ACM Trans. Comput. Log. 24 (4) (2023)
Ramit Das, R. Ramanujam, Sunil Simon
A Logical Description of Priority Separable Games. LORI (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Are bundles good deals for first-order modal logic? Inf. Comput. 293 (2023)
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Generalized Bundled Fragments for First-Order Modal Logic. MFCS (2022)
Ramit Das, Anantha Padmanabha, R. Ramanujam
Reasoning in Large Games with Unboundedly Many Players. LORI (2021)
R. Ramanujam
Reasoning about Emergence of Collective Memory. TARK (2021)
R. Ramanujam, Ramanathan S. Thinniyam
Definability in first-order theories of graph orderings ⋆. J. Log. Comput. 30 (1) (2020)
Anantha Padmanabha, R. Ramanujam
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. ICDCIT (2020)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The complexity of disjunction in intuitionistic logic. J. Log. Comput. 30 (1) (2020)
Anantha Padmanabha, R. Ramanujam
Propositional Modal Logic with Implicit Modal Quantification. ICLA (2019)
Anantha Padmanabha, R. Ramanujam
The Monodic Fragment of Propositional Term Modal Logic. Stud Logica 107 (3) (2019)
Ramit Das, R. Ramanujam, Sunil Simon
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. TARK (2019)
Anantha Padmanabha, R. Ramanujam
Two variable fragment of Term Modal Logic. CoRR (2019)
Anguraj Baskar, R. Ramanujam, S. P. Suresh
Dolev-Yao Theory with Associative Blindpair Operators. CIAA (2019)
Huimin Dong, R. Ramanujam, Yì N. Wáng
Subset Spaces for Conditional Norms. PRIMA (2019)
Anantha Padmanabha, R. Ramanujam
Two variable fragment of Term Modal Logic. MFCS (2019)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS (2018)
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Bundled fragments of first-order modal logic: (un)decidability. CoRR (2018)
Anantha Padmanabha, R. Ramanujam
Propositional modal logic with implicit modal quantification. CoRR (2018)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
Existential Assertions for Voting Protocols. Financial Cryptography Workshops (2017)
Dietmar Berwanger, R. Ramanujam
Deviator Detection under Imperfect Monitoring. CoRR (2017)
Anantha Padmanabha, R. Ramanujam
Model Checking a Logic over Systems with Regular Sets of Processes. DIAS/EDUDM@ISEC (2017)
Sujata Ghosh, Neethi Konar, R. Ramanujam
Strategy Composition in Dynamic Games with Simultaneous Moves. ICAART (2) (2017)
R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh
The Complexity of Disjunction in Intuitionistic Logic. LFCS (2016)
Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam
A Retraction Theorem for Distributed Synthesis. CoRR (2016)
M. Seetharama Gowda, Nagarajan Krishnamurthy, T. Parthasarathy, R. Ramanujam, G. Ravindran
Preface to the Special Issue on Gtora 2012. IGTR 15 (4) (2013)
R. Ramanujam
A Local Presentation of Synchronizing Systems. STRICT (1995)