C. R. Ramakrishnan

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 16

Top Venues

CoRR

QCE

ICTAI

Int. J. Softw. Tools Technol. Transf.

Publications

Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo
Pre-Distribution of Entanglements in Quantum Networks. QCE (2022)
Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
Distribution of Quantum Circuits Over General Quantum Networks. QCE (2022)
Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo
Pre-Distribution of Entanglements in Quantum Networks. CoRR (2022)
Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
Distribution of Quantum Circuits Over General Quantum Networks. CoRR (2022)
Mohammad Ghaderibaneh, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan
Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees. CoRR (2021)
Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
Efficient Distribution of Quantum Circuits. DISC (2021)
Sarthak Ghosh, C. R. Ramakrishnan
Value of Information in Probabilistic Logic Programs. ICLP Technical Communications (2019)
Sarthak Ghosh, C. R. Ramakrishnan
Optimizing Value of Information Over an Infinite Time Horizon. ICTAI (2019)
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Constraint-Based Inference in Probabilistic Logic Programs. Theory Pract. Log. Program. 18 (3-4) (2018)
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Constraint-Based Inference in Probabilistic Logic Programs. CoRR (2018)
Andrey Gorlin, C. R. Ramakrishnan
Separable GPL: Decidable Model Checking with More Non-Determinism. CONCUR (2018)
Sarthak Ghosh, C. R. Ramakrishnan
Optimal Value of Information in Dynamic Bayesian Networks. ICTAI (2017)
Arun Nampally, C. R. Ramakrishnan
Inference in Probabilistic Logic Programs using Lifted Explanations. CoRR (2016)
Ezio Bartocci, C. R. Ramakrishnan
Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Arun Nampally, C. R. Ramakrishnan
Inference in Probabilistic Logic Programs Using Lifted Explanations. ICLP (Technical Communications) (2016)
Andrey Gorlin, C. R. Ramakrishnan
XPL: An extended probabilistic logic for probabilistic transition systems. CoRR (2016)
Arun Nampally, C. R. Ramakrishnan
Adaptive MCMC-Based Inference in Probabilistic Logic Programs. CoRR (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Using Statistical Model Checking for Measuring Systems. ISoLA (2) (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Compositional Branching-Time Measurements. FPS@ETAPS (2014)
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
Parameter Learning in PRISM Programs with Continuous Random Variables CoRR (2012)
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
Model Checking with Probabilistic Tabled Logic Programming CoRR (2012)
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
Model checking with probabilistic tabled logic programming. Theory Pract. Log. Program. 12 (4-5) (2012)
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
Inference in probabilistic logic programs with continuous random variables. Theory Pract. Log. Program. 12 (4-5) (2012)
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
Model Repair for Probabilistic Systems. TACAS (2011)
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
Policy analysis for Administrative Role-Based Access Control. Theor. Comput. Sci. 412 (44) (2011)
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
Inference in Probabilistic Logic Programs with Continuous Random Variables CoRR (2011)
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
Symbolic reachability analysis for parameterized administrative role-based access control. Comput. Secur. 30 (2-3) (2011)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75 (6) (2010)
Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan
Automated construction of web accessibility models from transaction click-streams. WWW (2009)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR (2009)
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
Symbolic reachability analysis for parameterized administrative role based access control. SACMAT (2009)
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
A Process Calculus for Mobile Ad Hoc Networks. COORDINATION (2008)
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong
A methodology for in-network evaluation of integrated logical-statistical models. SenSys (2008)
Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE (2008)
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
Security policy analysis using deductive spreadsheets. FMSE (2007)
Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. 5 (2) (2007)
Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman
Efficient policy analysis for administrative role based access control. CCS (2007)
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. 22 (3) (2007)
Beata Sarna-Starosta, C. R. Ramakrishnan
Compiling Constraint Handling Rules for Efficient Tabled Evaluation. PADL (2007)
Samik Basu, C. R. Ramakrishnan
Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354 (2) (2006)
Diptikalyan Saha, C. R. Ramakrishnan
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. PADL (2006)
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
Deductive Spreadsheets Using Tabled Logic Programming. ICLP (2006)
Diptikalyan Saha, C. R. Ramakrishnan
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. ICLP (2006)
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
Policy Analysis for Administrative Role Based Access Control. CSFW (2006)
Ping Yang, Samik Basu, C. R. Ramakrishnan
Parameterized Verification of pi-Calculus Systems. TACAS (2006)
Diptikalyan Saha, C. R. Ramakrishnan
Incremental and demand-driven points-to analysis using logic programming. PPDP (2005)
Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL (2005)
Diptikalyan Saha, C. R. Ramakrishnan
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. ICLP (2005)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26 (3) (2004)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. FLOPS (2004)
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche
Introduction to the Special Issue on Verification and Computational Logic. Theory Pract. Log. Program. 4 (5-6) (2004)
L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. DALT (2004)
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
Online Justification for Tabled Logic Programs. ICLP (2003)
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI (2003)
Diptikalyan Saha, C. R. Ramakrishnan
Incremental Evaluation of Tabled Logic Programs. ICLP (2003)
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV (2003)
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
Model Checking and Evidence Exploration. ECBS (2003)
Samik Basu, C. R. Ramakrishnan
Compositional Analysis for Verification of Parameterized Systems. TACAS (2003)
Beata Sarna-Starosta, C. R. Ramakrishnan
Constraint-Based Model Checking of Data-Independent Systems. ICFEM (2003)
Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
Resource-Constrained Model Checking of Recursive Programs. TACAS (2002)
Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP (2002)
C. R. Ramakrishnan, R. C. Sekar
Model-Based Analysis of Configuration Vulnerabilities. J. Comput. Secur. 10 (1/2) (2002)
Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
Vacuity Checking in the Modal Mu-Calculus. AMAST (2002)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13 (3) (2002)
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
Justification Based on Program Transformation. LOPSTR (2002)
C. R. Ramakrishnan
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. PADL (2001)
Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP (2001)
R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW (2001)
K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP (2001)
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
Speculative Beats Conservative Justification. ICLP (2001)
C. R. Ramakrishnan
Tabled logic programming for verification and program analysis. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Verification of Parameterized Systems Using Logic Program Transformations. TACAS (2000)
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
Justifying proofs using memo tables. PPDP (2000)
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. RTSS (2000)
C. R. Ramakrishnan
Verification Using Tabled Logic Programming. CONCUR (2000)
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
Real-Time Verification Techniques for Untimed Systems. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
XMC: A Logic-Programming-Based Verification Toolset. CAV (2000)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN (1999)
Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming (1999)
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS (1999)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP (1999)
Yifei Dong, C. R. Ramakrishnan
An Optimizing Compiler for Efficient Model Checking. FORTE (1999)
Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari
Normalization via Rewrite Closures. RTA (1999)
Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson
Modeling and Analysis of Interactions in Virtual Enterprises. RIDE (1999)
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Tabulation-based Induction Proofs with Application to Automated Verification. TAPD (1998)
Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS (1998)
Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan
Logic Based Modeling and Analysis of Workflows. PODS (1998)
Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP (1998)
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
Logic Programming and Model Checking. PLILP/ALP (1998)
Owen Kaser, C. R. Ramakrishnan
Evaluating Inlining Techniques. Comput. Lang. 24 (2) (1998)
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL (1998)
Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. 7 (2) (1997)
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
Efficient Model Checking Using Tabled Resolution. CAV (1997)
Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
Principles and Practice of Unification Factoring. ACM Trans. Program. Lang. Syst. 18 (5) (1996)
Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan
Subsumption Algorithms Based on Search Trees. CAAP (1996)
Steven Dawson, C. R. Ramakrishnan, David Scott Warren
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI (1996)
Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
A Thread in Time Saves Tabling Time. JICSLP (1996)
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift
Optimizing Clause Resolution: Beyond Unification Factoring. ILPS (1995)

C. R. Ramakrishnan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

C. R. Ramakrishnan