Ramaswamy Ramanujam
Orcid: 0000-0001-6923-8330Affiliations:
- Institute of Mathematical Sciences (IMSc), Chennai
According to our database1,
Ramaswamy Ramanujam
authored at least 85 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
3
2
2
1
1
2
1
2
2
2
1
1
1
1
1
1
1
1
3
2
1
2
1
5
1
3
2
3
4
5
4
1
1
1
1
2
1
2
3
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on imsc.res.in
On csauthors.net:
Bibliography
2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
Curricular Choices for Computational Thinking in Large Scale Low Resource Environments.
Proceedings of the Creative Mathematical Sciences Communication: 7th International Conference, 2024
2023
ACM Trans. Comput. Log., October, 2023
Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023
Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023
2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021
2020
Proceedings of the Distributed Computing and Internet Technology, 2020
2019
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
Proceedings of the Implementation and Application of Automata, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019
2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
Proceedings of the Joint Proceedings of the 3rd Modelling Symposium (ModSym), 2017
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017
Proceedings of the Financial Cryptography and Data Security, 2017
2016
J. Log. Algebraic Methods Program., 2016
2015
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015
2014
Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014
Proceedings of the Information Systems Security - 10th International Conference, 2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
Proceedings of the Lectures on Logic and Computation, 2011
2010
J. Log. Lang. Inf., 2010
Proceedings of the Proceedings First Symposium on Games, 2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009
Proceedings of the Reachability Problems, 3rd International Workshop, 2009
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
Proceedings of the Advances in Computer Science, 2009
2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008
Structured strategies in games on graphs.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008
2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
2006
Theor. Comput. Sci., 2006
2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
2004
2003
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003
2001
Proceedings of the Logical Aspects of Cryptographic Protocol Verification, 2001
2000
Proceedings of the Implementation and Application of Automata, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997
Proceedings of the Advances in Computing Science, 1997
1996
Local Knowledge Assertions in a Changing World.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
1995
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995
1994
Knowledge and the Ordering of Events in Distributed Systems.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994
1992
Int. J. Found. Comput. Sci., 1992
1991
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991
1989
1988
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
1987
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
1985
Proceedings of the Logics of Programs, 1985
1984
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984