R. Ramanujam

发表

Block-1 Introduction

C. T. Indra, Parsa Venkateswara Rao, R. Ramanujam, 2018 .

37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India

Prateek Jain, Sham M. Kakade, Venkata Krishna Pillutla, 2018, FSTTCS.

Challenges for Decidable Epistemic Logics from Security Protocols

R. Ramanujam, S. P. Suresh, S. P. Suresh, 2011 .