default search action
Ramaswamy Ramanujam
R. Ramanujam 0001
Person information
- affiliation: Institute of Mathematical Sciences (IMSc), Chennai
Other persons with the same name
- R. Ramanujam 0002
— Anna University, College of Engineering, Chennai, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c57]R. Ramanujam
Curricular Choices for Computational Thinking in Large Scale Low Resource Environments. CMSC 2024: 117-129 - [c56]Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer:
Epistemic Model Checking for Privacy. CSF 2024: 1-16 - [c55]R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Solving the Insecurity Problem for Assertions. CSF 2024: 1-15 - 2023
- [j22]Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
Are bundles good deals for first-order modal logic? Inf. Comput. 293: 105062 (2023) - [j21]Sujata Ghosh, R. Ramanujam:
Preface. J. Log. Lang. Inf. 32(1): 1-2 (2023) - [j20]Anantha Padmanabha
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. ACM Trans. Comput. Log. 24(4): 29:1-29:38 (2023) - [c54]R. Ramanujam:
Big Ideas from Logic for Mathematics and Computing Education. ICLA 2023: 79-91 - [c53]Ramit Das, R. Ramanujam, Sunil Simon:
A Logical Description of Priority Separable Games. LORI 2023: 31-46 - [i11]Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Solving the insecurity problem for assertions. CoRR abs/2308.13773 (2023) - 2022
- [c52]Mo Liu
Generalized Bundled Fragments for First-Order Modal Logic. MFCS 2022: 70:1-70:14 - [i10]Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang:
Are Bundles Good Deals for FOML? CoRR abs/2202.01581 (2022) - [i9]Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Protocol Insecurity with Assertions. CoRR abs/2202.04518 (2022) - 2021
- [c51]Ramit Das, Anantha Padmanabha, R. Ramanujam:
Reasoning in Large Games with Unboundedly Many Players. LORI 2021: 41-57 - [c50]R. Ramanujam:
Reasoning about Emergence of Collective Memory. TARK 2021: 269-280 - 2020
- [j19]R. Ramanujam, Ramanathan S. Thinniyam:
Definability in first-order theories of graph orderings ⋆. J. Log. Comput. 30(1): 403-420 (2020) - [j18]R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
The complexity of disjunction in intuitionistic logic. J. Log. Comput. 30(1): 421-445 (2020) - [c49]Anantha Padmanabha
Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. ICDCIT 2020: 165-176
2010 – 2019
- 2019
- [j17]Anantha Padmanabha
The Monodic Fragment of Propositional Term Modal Logic. Stud Logica 107(3): 533-557 (2019) - [c48]Anantha Padmanabha
Propositional Modal Logic with Implicit Modal Quantification. ICLA 2019: 6-17 - [c47]Anantha Padmanabha
Two variable fragment of Term Modal Logic. MFCS 2019: 30:1-30:14 - [c46]Huimin Dong
Subset Spaces for Conditional Norms. PRIMA 2019: 289-304 - [c45]Anguraj Baskar, R. Ramanujam, S. P. Suresh:
Dolev-Yao Theory with Associative Blindpair Operators. CIAA 2019: 58-69 - [c44]Ramit Das, R. Ramanujam, Sunil Simon:
Reasoning about Social Choice and Games in Monadic Fixed-Point Logic. TARK 2019: 106-120 - [i8]Anantha Padmanabha, R. Ramanujam:
Two variable fragment of Term Modal Logic. CoRR abs/1904.10260 (2019) - 2018
- [c43]Anantha Padmanabha
Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS 2018: 43:1-43:20 - [e9]Satya V. Lokam, R. Ramanujam:
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India. LIPIcs 93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-055-2 [contents] - [i7]Anantha Padmanabha, R. Ramanujam, Yanjing Wang:
Bundled fragments of first-order modal logic: (un)decidability. CoRR abs/1803.10508 (2018) - [i6]Anantha Padmanabha, R. Ramanujam:
Propositional modal logic with implicit modal quantification. CoRR abs/1811.09454 (2018) - 2017
- [c42]R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Existential Assertions for Voting Protocols. Financial Cryptography Workshops 2017: 337-352 - [c41]Sujata Ghosh, Neethi Konar, R. Ramanujam:
Strategy Composition in Dynamic Games with Simultaneous Moves. ICAART (2) 2017: 624-631 - [c40]Anantha Padmanabha, R. Ramanujam:
Model Checking a Logic over Systems with Regular Sets of Processes. DIAS/EDUDM@ISEC 2017 - [e8]Sujata Ghosh, R. Ramanujam:
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. EPTCS 243, 2017 [contents] - [i5]Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Existential Assertions for Voting Protocols. CoRR abs/1702.05000 (2017) - [i4]Dietmar Berwanger, R. Ramanujam:
Deviator Detection under Imperfect Monitoring. CoRR abs/1712.09686 (2017) - 2016
- [j16]Ramaswamy Ramanujam, S. Sheerazuddin
Realizable temporal logics for web service choreography. J. Log. Algebraic Methods Program. 85(5): 759-781 (2016) - [c39]Ramaswamy Ramanujam, Ramanathan S. Thinniyam:
Definability in First Order Theories of Graph Orderings. LFCS 2016: 331-348 - [c38]R. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
The Complexity of Disjunction in Intuitionistic Logic. LFCS 2016: 349-363 - [e7]R. Ramanujam:
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015. EPTCS 215, 2016 [contents] - [i3]Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam:
A Retraction Theorem for Distributed Synthesis. CoRR abs/1604.07564 (2016) - 2015
- [p3]Soumya Paul, Ramaswamy Ramanujam, Sunil Simon:
Automata and Compositional Strategies in Extensive Form Games. Models of Strategic Reasoning 2015: 174-201 - 2014
- [j15]Soumya Paul, Ramaswamy Ramanujam:
Subgames within Large Games and the Heuristic of Imitation. Stud Logica 102(2): 361-388 (2014) - [c37]Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh:
Extending Dolev-Yao with Assertions. ICISS 2014: 50-68 - [c36]Ramaswamy Ramanujam, S. Sheerazuddin
A Local Logic for Realizability in Web Service Choreographies. WWV 2014: 16-35 - [p2]R. Ramanujam:
Logical Player Types for a Theory of Play. Johan van Benthem on Logic and Information Dynamics 2014: 509-528 - 2013
- [j14]M. Seetharama Gowda, Nagarajan Krishnamurthy
Preface to the Special Issue on Gtora 2012. IGTR 15(4) (2013) - [j13]Soumya Paul, Ramaswamy Ramanujam:
Dynamics of Choice restriction in Large Games. IGTR 15(4) (2013) - 2012
- [p1]Amaldev Manuel, Ramaswamy Ramanujam:
Automata over Infinite Alphabets. Modern Applications of Automata Theory 2012: 529-554 - [e6]Ramaswamy Ramanujam, Srini Ramaswamy:
Distributed Computing and Internet Technology - 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings. Lecture Notes in Computer Science 7154, Springer 2012, ISBN 978-3-642-28072-6 [contents] - 2011
- [j12]Amaldev Manuel, Ramaswamy Ramanujam:
Class Counting Automata on Datawords. Int. J. Found. Comput. Sci. 22(4): 863-882 (2011) - [j11]Hans van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam:
Logic in India - Editorial Introduction. J. Philos. Log. 40(5): 557-561 (2011) - [c35]Sujata Ghosh, Ramaswamy Ramanujam:
Strategies in Games: A Logic-Automata Study. ESSLLI 2011: 110-159 - [c34]Soumya Paul, Ramaswamy Ramanujam:
Dynamic Restriction of Choices: Synthesis of Societal Rules. LORI 2011: 28-50 - [c33]Soumya Paul, Ramaswamy Ramanujam:
Neighbourhood structure in large games. TARK 2011: 121-130 - 2010
- [j10]Swarup Mohalik, Ramaswamy Ramanujam:
Automata for Epistemic Temporal Logic with Synchronous Communication. J. Log. Lang. Inf. 19(4): 451-484 (2010) - [j9]Sujata Ghosh, Ramaswamy Ramanujam:
Logic and social interaction: introduction. Synth. 177(Supplement-1): 1-3 (2010) - [c32]Sujata Ghosh, Ramaswamy Ramanujam, Sunil Easaw Simon:
Playing Extensive Form Games in Parallel. CLIMA 2010: 153-170 - [c31]Ramaswamy Ramanujam, Sunil Easaw Simon:
A Communication Based Model for Games of Imperfect Information. CONCUR 2010: 509-523 - [c30]Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh:
A dexptime-Complete Dolev-Yao Theory with Distributive Encryption. MFCS 2010: 102-113 - [c29]Soumya Paul, Ramaswamy Ramanujam:
Imitation in Large Games. GANDALF 2010: 162-172
2000 – 2009
- 2009
- [c28]Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh:
A Dolev-Yao Model for Zero Knowledge. ASIAN 2009: 137-146 - [c27]Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon:
Stability under Strategy Switching. CiE 2009: 389-398 - [c26]Rajdeep Niyogi, Ramaswamy Ramanujam:
An Epistemic Logic for Planning with Trials. LORI 2009: 238-250 - [c25]Amaldev Manuel, Ramaswamy Ramanujam:
Counting Multiplicity over Infinite Alphabets. RP 2009: 141-153 - [c24]Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon:
Dynamic restriction of choices: a preliminary logical report. TARK 2009: 218-226 - [e5]Ramaswamy Ramanujam, Sundar Sarukkai:
Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings. Lecture Notes in Computer Science 5378, Springer 2009, ISBN 978-3-540-92700-6 [contents] - 2008
- [c23]Ramaswamy Ramanujam, Sunil Easaw Simon:
Structured strategies in games on graphs. Logic and Automata 2008: 553-574 - [c22]Ramaswamy Ramanujam, Sunil Easaw Simon:
Dynamic Logic on Games with Structured Strategies. KR 2008: 49-58 - [e4]Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008. Dagstuhl Seminar Proceedings 08171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i2]Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data 2008 - [i1]Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu:
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. Beyond the Finite: New Challenges in Verification and Semistructured Data 2008 - 2007
- [c21]Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh:
Knowledge-based modelling of voting protocols. TARK 2007: 62-71 - 2006
- [j8]Ramaswamy Ramanujam, S. P. Suresh:
A (restricted) quantifier elimination for security protocols. Theor. Comput. Sci. 367(1-2): 228-256 (2006) - 2005
- [j7]Ramaswamy Ramanujam, S. P. Suresh:
Decidability of context-explicit security protocols. J. Comput. Secur. 13(1): 135-165 (2005) - [c20]Ramaswamy Ramanujam, S. P. Suresh:
Deciding knowledge properties of security protocols. TARK 2005: 219-235 - [e3]Ramaswamy Ramanujam, Sandeep Sen:
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings. Lecture Notes in Computer Science 3821, Springer 2005, ISBN 3-540-30495-9 [contents] - 2004
- [j6]B. Meenakshi, Ramaswamy Ramanujam:
Reasoning about layered message passing systems. Comput. Lang. Syst. Struct. 30(3-4): 171-206 (2004) - 2003
- [j5]Rohit Parikh, Ramaswamy Ramanujam:
A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12(4): 453-467 (2003) - [c19]Ramaswamy Ramanujam, S. P. Suresh:
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. FSTTCS 2003: 363-374 - [c18]B. Meenakshi, Ramaswamy Ramanujam:
Reasoning about Layered Message Passing Systems. VMCAI 2003: 268-282 - 2001
- [c17]Ramaswamy Ramanujam, S. P. Suresh:
Information based reasoning about security protocols. LACPV@CAV 2001: 85-100 - 2000
- [c16]B. Meenakshi, Ramaswamy Ramanujam:
Reasoning about Message Passing in Finite State Environments. ICALP 2000: 487-498 - [c15]Kamal Lodaya, Ramaswamy Ramanujam:
An Automaton Model of User-Controlled Navigation on the Web. CIAA 2000: 208-216
1990 – 1999
- 1999
- [j4]Ramaswamy Ramanujam:
View-Based Explicit Knowledge. Ann. Pure Appl. Log. 96(1-3): 343-368 (1999) - [e2]C. Pandu Rangan, Venkatesh Raman, Ramaswamy Ramanujam:
Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings. Lecture Notes in Computer Science 1738, Springer 1999, ISBN 3-540-66836-5 [contents] - 1998
- [c14]Swarup Mohalik, Ramaswamy Ramanujam:
A Presentation of Regular Languages in the Assumption - Commitment Framework. ACSD 1998: 250-260 - [e1]Vikraman Arvind, Ramaswamy Ramanujam:
Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Lecture Notes in Computer Science 1530, Springer 1998, ISBN 3-540-65384-8 [contents] - 1997
- [c13]Ramaswamy Ramanujam:
Rules for Trace Consistent Reasoning. ASIAN 1997: 57-71 - [c12]Swarup Mohalik, Ramaswamy Ramanujam:
Assumption-Commitment in Automata. FSTTCS 1997: 153-168 - 1996
- [c11]Ramaswamy Ramanujam:
Trace Consistency and Inevitablity. FSTTCS 1996: 250-261 - [c10]Ramaswamy Ramanujam:
Locally Linear Time Temporal Logic. LICS 1996: 118-127 - [c9]Ramaswamy Ramanujam:
Local Knowledge Assertions in a Changing World. TARK 1996: 1-14 - 1995
- [j3]Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems. Inf. Comput. 119(1): 91-118 (1995) - [c8]R. Ramanujam:
A Local Presentation of Synchronizing Systems. STRICT 1995: 264-278 - 1994
- [c7]Paul J. Krasucki, Ramaswamy Ramanujam:
Knowledge and the Ordering of Events in Distributed Systems. TARK 1994: 267-283 - 1992
- [j2]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) - 1991
- [c6]Kamal Lodaya, Ramaswamy Ramanujam:
Tense Logics for Local Reasoning in Distributed Systems. FSTTCS 1991: 71-88
1980 – 1989
- 1989
- [j1]Ramaswamy Ramanujam:
Semantics of Distributed Definite Clause Programs. Theor. Comput. Sci. 68(2): 203-220 (1989) - 1988
- [c5]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
A logic for distributed transition systems. REX Workshop 1988: 508-522 - 1987
- [c4]Ramaswamy Ramanujam:
Semantics of Distributed Horn Clause Programs. FSTTCS 1987: 361-371 - 1985
- [c3]Rohit Parikh, Ramaswamy Ramanujam:
Distributed Processes and the Logic of Knowledge. Logic of Programs 1985: 256-268 - [c2]Ramaswamy Ramanujam, Kamal Lodaya:
Proving Fairness of Schedulers. Logic of Programs 1985: 284-301 - 1984
- [c1]Ramaswamy Ramanujam, R. K. Shyamasundar:
Process Specification of Logic Programs. FSTTCS 1984: 31-43
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: