R. Ramanujam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2012–2022
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MFCS | Generalized Bundled Fragments for First-Order Modal Logic. | Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang |
| 2020 | ICDCIT | Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. | Anantha Padmanabha, R. Ramanujam |
| 2019 | MFCS | Two variable fragment of Term Modal Logic. | Anantha Padmanabha, R. Ramanujam |
| 2019 | PRIMA | Subset Spaces for Conditional Norms. | Huimin Dong, R. Ramanujam, Y N. Wng |
| 2017 | FC | Existential Assertions for Voting Protocols. | R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2017 | ICAART | Strategy Composition in Dynamic Games with Simultaneous Moves. | Sujata Ghosh, Neethi Konar, R. Ramanujam |
| 2016 | LFCS | The Complexity of Disjunction in Intuitionistic Logic. | R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh |
| 2012 | IECON | Comprehensive analysis of Z source DC/DC converters for DC power supply systems. | V. Saravanan, P. Sureshkumar, R. Ramanujam, M. Arumugam |