R. C. Sekar
发表
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Abhik Roychoudhury,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
I. V. Ramakrishnan,
R. Ramesh,
R. C. Sekar,
1992,
SIAM J. Comput..
Niranjan Hasabnis,
R. C. Sekar,
2016
.
Prem Uppuluri,
R. C. Sekar,
Thomas F. Bowen,
2000,
Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.
R. C. Sekar,
M. K. Srivas,
1989
.
I. V. Ramakrishnan,
Prateek Mishra,
R. C. Sekar,
1991,
POPL '91.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Owen Kaser,
1997,
Journal of Functional Programming.
I. V. Ramakrishnan,
R. Ramesh,
R. C. Sekar,
1994,
Theor. Comput. Sci..
C. R. Ramakrishnan,
R. C. Sekar,
R. Sekar,
2002,
J. Comput. Secur..
I. V. Ramakrishnan,
R. C. Sekar,
R. Sekar,
1995,
TOPL.
R. C. Sekar,
Premchand Uppuluri,
2003
.
Sandeep Bhatkar,
R. C. Sekar,
2009
.
Sandeep Bhatkar,
R. C. Sekar,
Abhishek Chaturvedi,
2005
.
I. V. Ramakrishnan,
R. Ramesh,
R. C. Sekar,
1992,
ICALP.
I. V. Ramakrishnan,
Andrei Voronkov,
R. C. Sekar,
2001,
Handbook of Automated Reasoning.
Lorenzo Cavallaro,
R. C. Sekar,
2006
.
Arun K. Pujari,
R. C. Sekar,
2008,
ICISS.
I. V. Ramakrishnan,
R. Ramesh,
R. C. Sekar,
1994,
FSTTCS.
I. V. Ramakrishnan,
R. C. Sekar,
Shaunak Pawagi,
1989,
RTA.
I. V. Ramakrishnan,
R. C. Sekar,
S. Pawagi,
1989,
Fourth IEEE Region 10 International Conference TENCON.
I. V. Ramakrishnan,
R. C. Sekar,
1992,
CADE.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Steven Dawson,
1993,
ICLP.
C. R. Ramakrishnan,
R. C. Sekar,
1998
.
C. R. Ramakrishnan,
Yow-Jian Lin,
R. C. Sekar,
1994,
FORTE.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
R. C. Sekar,
1995,
PEPM '95.
R. C. Sekar,
Ajay Kumar Gupta,
2008
.
Yow-Jian Lin,
Sanjai Narain,
R. C. Sekar,
1992,
PSTV.
I. V. Ramakrishnan,
R. C. Sekar,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Robert Fish,
Gita Gopal,
John F. Patterson,
1993,
CACM.
I. V. Ramakrishnan,
R. C. Sekar,
Shaunak Pawagi,
1989,
POPL '90.
R. C. Sekar,
Kevin N. Smith,
1989
.
I. V. Ramakrishnan,
Andrei Voronkov,
R. C. Sekar,
1995,
Lecture Notes in Computer Science.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Owen Kaser,
1992,
LFP '92.
I. V. Ramakrishnan,
Prateek Mishra,
R. C. Sekar,
1997,
JACM.