C. R. Ramakrishnan

According to our database, C. R. Ramakrishnan authored at least 99 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generation and Distribution of GHZ States in Quantum Networks.

Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

Distribution of Quantum Circuits Over General Quantum Networks.

Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

Pre-Distribution of Entanglements in Quantum Networks.

Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

2021

Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees.

Mohammad Ghaderibaneh, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan

CoRR, 2021

Efficient Distribution of Quantum Circuits.

Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan

Proceedings of the 35th International Symposium on Distributed Computing, 2021

2019

Value of Information in Probabilistic Logic Programs.

Sarthak Ghosh, C. R. Ramakrishnan

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

Optimizing Value of Information Over an Infinite Time Horizon.

Sarthak Ghosh, C. R. Ramakrishnan

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

Constraint-Based Inference in Probabilistic Logic Programs.

Arun Nampally, Timothy Zhang, C. R. Ramakrishnan

Theory Pract. Log. Program., 2018

Separable GPL: Decidable Model Checking with More Non-Determinism.

Andrey Gorlin, C. R. Ramakrishnan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

State-space search with tabled logic programs.

C. R. Ramakrishnan

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

Optimal Value of Information in Dynamic Bayesian Networks.

Sarthak Ghosh, C. R. Ramakrishnan

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software.

Ezio Bartocci, C. R. Ramakrishnan

Int. J. Softw. Tools Technol. Transf., 2016

XPL: An extended probabilistic logic for probabilistic transition systems.

Andrey Gorlin, C. R. Ramakrishnan

CoRR, 2016

Inference in Probabilistic Logic Programs Using Lifted Explanations.

Arun Nampally, C. R. Ramakrishnan

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Constraint-Based Inference in Probabilistic Logic Programs.

Arun Nampally, C. R. Ramakrishnan

Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), 2015

2014

Adaptive MCMC-Based Inference in Probabilistic Logic Programs.

Arun Nampally, C. R. Ramakrishnan

CoRR, 2014

Using Statistical Model Checking for Measuring Systems.

Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositional Branching-Time Measurements.

Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2012

Inference in probabilistic logic programs with continuous random variables.

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan

Theory Pract. Log. Program., 2012

Model checking with probabilistic tabled logic programming.

Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka

Theory Pract. Log. Program., 2012

Parameter Learning in PRISM Programs with Continuous Random Variables

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan

CoRR, 2012

2011

Policy analysis for Administrative Role-Based Access Control.

Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan

Theor. Comput. Sci., 2011

Symbolic reachability analysis for parameterized administrative role-based access control.

Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan

Comput. Secur., 2011

Model Repair for Probabilistic Systems.

Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

A process calculus for Mobile Ad Hoc Networks.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Sci. Comput. Program., 2010

2009

Automated construction of web accessibility models from transaction click-streams.

Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan

Proceedings of the 18th International Conference on World Wide Web, 2009

Query-Based Model Checking of Ad Hoc Network Protocols.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

A methodology for in-network evaluation of integrated logical-statistical models.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks.

Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

XcelLog: a deductive spreadsheet system.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren

Knowl. Eng. Rev., 2007

Precise specification matching for adaptive reuse in embedded systems.

Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan

J. Appl. Log., 2007

Compiling Constraint Handling Rules for Efficient Tabled Evaluation.

Beata Sarna-Starosta, C. R. Ramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Efficient policy analysis for administrative role based access control.

Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

Security policy analysis using deductive spreadsheets.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Compositional analysis for verification of parameterized systems.

Samik Basu, C. R. Ramakrishnan

Theor. Comput. Sci., 2006

Parameterized Verification of pi-Calculus Systems.

Ping Yang, Samik Basu, C. R. Ramakrishnan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.

Diptikalyan Saha, C. R. Ramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.

Diptikalyan Saha, C. R. Ramakrishnan

Proceedings of the Logic Programming, 22nd International Conference, 2006

Deductive Spreadsheets Using Tabled Logic Programming.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Incremental and demand-driven points-to analysis using logic programming.

Diptikalyan Saha, C. R. Ramakrishnan

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.

Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.

Diptikalyan Saha, C. R. Ramakrishnan

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Introduction to the Special Issue on Verification and Computational Logic.

Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche

Theory Pract. Log. Program., 2004

An unfold/fold transformation framework for definite logic programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

ACM Trans. Program. Lang. Syst., 2004

A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.

Ping Yang, C. R. Ramakrishnan, Scott A. Smolka

Int. J. Softw. Tools Technol. Transf., 2004

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.

Abhik Roychoudhury, C. R. Ramakrishnan

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.

L. Robert Pokorny, C. R. Ramakrishnan

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

Incremental Evaluation of Tabled Logic Programs.

Diptikalyan Saha, C. R. Ramakrishnan

Proceedings of the Logic Programming, 19th International Conference, 2003

Online Justification for Tabled Logic Programs.

Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 19th International Conference, 2003

Constraint-Based Model Checking of Data-Independent Systems.

Beata Sarna-Starosta, C. R. Ramakrishnan

Proceedings of the Formal Methods and Software Engineering, 2003

Model Checking and Evidence Exploration.

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

Evidence Explorer: A Tool for Exploring Model-Checking Proofs.

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Model-Based Analysis of Configuration Vulnerabilities.

C. R. Ramakrishnan, R. Sekar

J. Comput. Secur., 2002

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Int. J. Found. Comput. Sci., 2002

Resource-Constrained Model Checking of Recursive Programs.

Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Justification Based on Program Transformation.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 18th International Conference, 2002

Vacuity Checking in the Modal Mu-Calculus.

Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.

C. R. Ramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 2001

Model-Carrying Code (MCC): a new paradigm for mobile-code security.

R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the New Security Paradigms Workshop 2001, 2001

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.

K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Logic Programming, 17th International Conference, 2001

Speculative Beats Conservative Justification.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 17th International Conference, 2001

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.

Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Specification and evaluation of logic-based model checking.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren

ACM SIGSOFT Softw. Eng. Notes, 2000

Tabled logic programming for verification and program analysis.

C. R. Ramakrishnan

ACM SIGSOFT Softw. Eng. Notes, 2000

Real-Time Verification Techniques for Untimed Systems.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

Verification of Parameterized Systems Using Logic Program Transformations.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Justifying proofs using memo tables.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Verification Using Tabled Logic Programming.

C. R. Ramakrishnan

Proceedings of the CONCUR 2000, 2000

XMC: A Logic-Programming-Based Verification Toolset.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Normalization via Rewrite Closures.

Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Modeling and Analysis of Interactions in Virtual Enterprises.

Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson

Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

An Optimizing Compiler for Efficient Model Checking.

Yifei Dong, C. R. Ramakrishnan

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.

Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Evaluating Inlining Techniques.

Owen Kaser, C. R. Ramakrishnan

Comput. Lang., 1998

Tabulation-based Induction Proofs with Application to Automated Verification.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).

Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Logic Based Modeling and Analysis of Workflows.

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Logic Programming and Model Checking.

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution.

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

EQUALS - A Fast Parallel Implementation of a Lazy Language.

Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

J. Funct. Program., 1997

Efficient Model Checking Using Tabled Resolution.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Principles and Practice of Unification Factoring.

Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift

ACM Trans. Program. Lang. Syst., 1996

Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.

Steven Dawson, C. R. Ramakrishnan, David Scott Warren

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

A Thread in Time Saves Tabling Time.

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Logic Programming, 1996

Subsumption Algorithms Based on Search Trees.

Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Trees in Algebra and Programming, 1996

1995

Optimizing Clause Resolution: Beyond Unification Factoring.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift

Proceedings of the Logic Programming, 1995

Unification Factoring for Efficient Execution of Logic Programs.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan

Proceedings of the Programming Languages: Implementations, 1995

A Symbolic Constraint Solving Framework for Analysis of Logic Programs.

C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

A High Performance Runtime System for Parallel Evaluation of Lazy Languages.

Owen Kaser, C. R. Ramakrishnan, R. C. Sekar

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Modelling techniques for evolving distributed applications.

R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan

Proceedings of the Formal Description Techniques VII, 1994

1993

On the Conversion of Indirect to Direct Recursion.

Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi

LOPLAS, 1993

Extracting Determinacy in Logic Programs.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the Logic Programming, 1993

1992

Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.

Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Proceedings of the Conference on Lisp and Functional Programming, 1992