Ramaswamy Ramanujam
According to our database^{1},
Ramaswamy Ramanujam
authored at least 73 papers
between 1984 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on imsc.res.in
On csauthors.net:
Bibliography
2020
J. Log. Comput., 2020
J. Log. Comput., 2020
Proceedings of the Distributed Computing and Internet Technology, 2020
2019
Stud Logica, 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 MultiAgent 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
CoRR, 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
CoRR, 2016
2015
Proceedings of the Models of Strategic Reasoning  Logics, Games, and Communities, 2015
2014
Stud Logica, 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
IGTR, 2013
IGTR, 2013
2012
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
J. Philos. Log., 2011
Int. J. Found. Comput. Sci., 2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2011), 2011
Proceedings of the Logic, Rationality, and Interaction  Third International Workshop, 2011
Proceedings of the Lectures on Logic and Computation, 2011
2010
Synth., 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 MultiAgent Systems, 11th International Workshop, 2010
2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2009), 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 (TARK2007), 2007
2006
Theor. Comput. Sci., 2006
2005
J. Comput. Secur., 2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2005), 2005
2004
Comput. Lang. Syst. Struct., 2004
2003
J. Log. Lang. Inf., 2003
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003
2001
Electron. Notes Theor. Comput. Sci., 2001
2000
Proceedings of the Implementation and Application of Automata, 2000
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000
1999
Ann. Pure Appl. Log., 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 Proceedings, 1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
1995
Inf. Comput., May, 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
Theor. Comput. Sci., 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
Proceedings of the Logics of Programs, 1985
1984
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984