Search results for: C.R. Ramakrishnan
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Dynamic Systems > 116-131
Theoretical Computer Science > 2011 > 412 > 44 > 6208-6234
Computers & Security > 2011 > 30 > 2-3 > 148-164
Science of Computer Programming > 2010 > 75 > 6 > 440-469
Journal of Applied Logic > 2007 > 5 > 2 > 333-355
Theoretical Computer Science > 2006 > 354 > 2 > 211-229
19th IEEE Computer Security Foundations Workshop (CSFW'6) > 13 pp. - 138
Electronic Notes in Theoretical Computer Science > 2000 > 39 > 3 > 258-272
Electronic Notes in Theoretical Computer Science > 2000 > 39 > 3 > 1-15
Computer Languages > 1998 > 24 > 2 > 55-72