S. P. Suresh
According to our database1,
S. P. Suresh
authored at least 23 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
2
1
2
2
2
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024
2022
2021
Australas. J Comb., 2021
2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the Advanced Computing and Systems for Security, 2020
2019
Proceedings of the Implementation and Application of Automata, 2019
2017
Proceedings of the Financial Cryptography and Data Security, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the Information Systems Security - 10th International Conference, 2014
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014
2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
2009
Proceedings of the Advances in Computer Science, 2009
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
Proceedings of the Model Checking Software, 2005
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