Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. - Owen Kaser; Shaunak Pawagi; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (LISP and Functional Programming, 1992)

Extracting Determinacy in Logic Programs. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (ICLP, 1993)

On the Conversion of Indirect to Direct Recursion. - Owen Kaser; C. R. Ramakrishnan 001; Shaunak Pawagi (LOPLAS, 1993)

Modelling techniques for evolving distributed applications. - R. Sekar 001; Yow-Jian Lin; C. R. Ramakrishnan 001 (FORTE, 1994)

A High Performance Runtime System for Parallel Evaluation of Lazy Languages. - Owen Kaser; C. R. Ramakrishnan 001; R. C. Sekar 001 (PASCO, 1994)

A Symbolic Constraint Solving Framework for Analysis of Logic Programs. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (PEPM, 1995)

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan (PLILP, 1995)

Unification Factoring for Efficient Execution of Logic Programs. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Konstantinos Sagonas; Steven Skiena; Terrance Swift; David Scott Warren (POPL, 1995)

Optimizing Clause Resolution: Beyond Unification Factoring. - Steven Dawson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Terrance Swift (ILPS, 1995)

Subsumption Algorithms Based on Search Trees. - Leo Bachmair; Ta Chen; C. R. Ramakrishnan 001; I. V. Ramakrishnan (CAAP, 1996)

A Thread in Time Saves Tabling Time. - Prasad Rao; C. R. Ramakrishnan 001; I. V. Ramakrishnan (JICSLP, 1996)

Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. - Steven Dawson; C. R. Ramakrishnan 001; David Scott Warren (PLDI, 1996)

Principles and Practice of Unification Factoring. - Steven Dawson; C. R. Ramakrishnan 001; Steven Skiena; Terrance Swift (ACM Trans. Program. Lang. Syst., 1996)

Efficient Model Checking Using Tabled Resolution. - Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Terrance Swift; David Scott Warren (CAV, 1997)

EQUALS - A Fast Parallel Implementation of a Lazy Language. - Owen Kaser; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. C. Sekar 001 (J. Funct. Program., 1997)

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. - Abhik Roychoudhury; C. R. Ramakrishnan 001; I. V. Ramakrishnan; R. Sekar 001 (ICCL, 1998)

On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. - Prasad Rao; C. R. Ramakrishnan 001; I. V. Ramakrishnan (IJCSLP, 1998)

Logic Programming and Model Checking. - Baoqiu Cui; Yifei Dong; Xiaoqun Du; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Abhik Roychoudhury; Scott A. Smolka; David Scott Warren (PLILP/ALP, 1998)

Logic Based Modeling and Analysis of Workflows. - Hasan Davulcu; Michael Kifer; C. R. Ramakrishnan 001; I. V. Ramakrishnan (PODS, 1998)

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). - Xinxin Liu; C. R. Ramakrishnan 001; Scott A. Smolka (TACAS, 1998)

Tabulation-based Induction Proofs with Application to Automated Verification. - Abhik Roychoudhury; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka (TAPD, 1998)

Evaluating Inlining Techniques. - Owen Kaser; C. R. Ramakrishnan 001 (Comput. Lang., 1998)

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. - Ernie Johnson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Prasad Rao (Fuji International Symposium on Functional and Logic Programming, 1999)

An Optimizing Compiler for Efficient Model Checking. - Yifei Dong; C. R. Ramakrishnan 001 (FORTE, 1999)

A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. - Abhik Roychoudhury; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan (PPDP, 1999)

Modeling and Analysis of Interactions in Virtual Enterprises. - Hasan Davulcu; Michael Kifer; L. Robert Pokorny; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Steven Dawson (RIDE, 1999)

Normalization via Rewrite Closures. - Leo Bachmair; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Ashish Tiwari 001 (RTA, 1999)

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. - Yifei Dong; Xiaoqun Du; Y. S. Ramakrishna; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Oleg Sokolsky; Eugene W. Stark; David Scott Warren (TACAS, 1999)

XMC: A Logic-Programming-Based Verification Toolset. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; Yifei Dong; Xiaoqun Du; Abhik Roychoudhury; V. N. Venkatakrishnan (CAV, 2000)

Verification Using Tabled Logic Programming. - C. R. Ramakrishnan 001 (CONCUR, 2000)

Justifying proofs using memo tables. - Abhik Roychoudhury; C. R. Ramakrishnan 001; I. V. Ramakrishnan (PPDP, 2000)

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. - Xiaoqun Du; C. R. Ramakrishnan 001; Scott A. Smolka (RTSS, 2000)

Verification of Parameterized Systems Using Logic Program Transformations. - Abhik Roychoudhury; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka (TACAS, 2000)

Real-Time Verification Techniques for Untimed Systems. - Xiaoqun Du; C. R. Ramakrishnan 001; Scott A. Smolka (MTCS, 2000)

Tabled logic programming for verification and program analysis. - C. R. Ramakrishnan 001 (ACM SIGSOFT Softw. Eng. Notes, 2000)

Specification and evaluation of logic-based model checking. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka; David Scott Warren (ACM SIGSOFT Softw. Eng. Notes, 2000)

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. - Samik Basu 001; Madhavan Mukund; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Rakesh M. Verma (ICLP, 2001)

Speculative Beats Conservative Justification. - Hai-Feng Guo; C. R. Ramakrishnan 001; I. V. Ramakrishnan (ICLP, 2001)

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. - K. Narayan Kumar; C. R. Ramakrishnan 001; Scott A. Smolka (ICLP, 2001)

Model-Carrying Code (MCC): a new paradigm for mobile-code security. - R. Sekar 001; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott A. Smolka (NSPW, 2001)

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. - C. R. Ramakrishnan 001 (PADL, 2001)

Vacuity Checking in the Modal Mu-Calculus. - Yifei Dong; Beata Sarna-Starosta; C. R. Ramakrishnan 001; Scott A. Smolka (AMAST, 2002)

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. - Giridhar Pemmasani; C. R. Ramakrishnan 001; I. V. Ramakrishnan (ICLP, 2002)

Justification Based on Program Transformation. - Hai-Feng Guo; C. R. Ramakrishnan 001; I. V. Ramakrishnan (LOPSTR, 2002)

Resource-Constrained Model Checking of Recursive Programs. - Samik Basu 001; K. Narayan Kumar; L. Robert Pokorny; C. R. Ramakrishnan 001 (TACAS, 2002)

Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. - Abhik Roychoudhury; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan (Int. J. Found. Comput. Sci., 2002)

Model-Based Analysis of Configuration Vulnerabilities. - C. R. Ramakrishnan 001; R. Sekar 001 (J. Comput. Secur., 2002)

Evidence Explorer: A Tool for Exploring Model-Checking Proofs. - Yifei Dong; C. R. Ramakrishnan 001; Scott A. Smolka (CAV, 2003)

Model Checking and Evidence Exploration. - Yifei Dong; C. R. Ramakrishnan 001; Scott A. Smolka (ECBS, 2003)

Constraint-Based Model Checking of Data-Independent Systems. - Beata Sarna-Starosta; C. R. Ramakrishnan 001 (ICFEM, 2003)

Online Justification for Tabled Logic Programs. - Giridhar Pemmasani; Hai-Feng Guo; Yifei Dong; C. R. Ramakrishnan 001; I. V. Ramakrishnan (ICLP, 2003)

Incremental Evaluation of Tabled Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2003)

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. - L. Robert Pokorny; C. R. Ramakrishnan 001 (DALT, 2004)

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. - Abhik Roychoudhury; C. R. Ramakrishnan 001 (Program Development in Computational Logic, 2004)

A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. - Ping Yang 002; C. R. Ramakrishnan 001; Scott A. Smolka (Int. J. Softw. Tools Technol. Transf., 2004)

An unfold/fold transformation framework for definite logic programs. - Abhik Roychoudhury; K. Narayan Kumar; C. R. Ramakrishnan 001; I. V. Ramakrishnan (ACM Trans. Program. Lang. Syst., 2004)

Introduction to the Special Issue on Verification and Computational Logic. - Michael Leuschel; Andreas Podelski; C. R. Ramakrishnan 001; Ulrich Ultes-Nitsche (Theory Pract. Log. Program., 2004)

Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2005)

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. - Ping Yang 002; Yifei Dong; C. R. Ramakrishnan 001; Scott A. Smolka (PADL, 2005)

Incremental and demand-driven points-to analysis using logic programming. - Diptikalyan Saha; C. R. Ramakrishnan 001 (PPDP, 2005)

Deductive Spreadsheets Using Tabled Logic Programming. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren (ICLP, 2006)

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (ICLP, 2006)

Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. - Diptikalyan Saha; C. R. Ramakrishnan 001 (PADL, 2006)

Parameterized Verification of pi-Calculus Systems. - Ping Yang 002; Samik Basu 001; C. R. Ramakrishnan 001 (TACAS, 2006)

Compositional analysis for verification of parameterized systems. - Samik Basu 001; C. R. Ramakrishnan 001 (Theor. Comput. Sci., 2006)

Security policy analysis using deductive spreadsheets. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott D. Stoller; David Scott Warren (FMSE, 2007)

Efficient policy analysis for administrative role based access control. - Scott D. Stoller; Ping Yang 002; C. R. Ramakrishnan 001; Mikhail I. Gofman (CCS, 2007)

Compiling Constraint Handling Rules for Efficient Tabled Evaluation. - Beata Sarna-Starosta; C. R. Ramakrishnan 001 (PADL, 2007)

Precise specification matching for adaptive reuse in embedded systems. - Hai-Feng Guo; Miao Liu; Partha S. Roop; C. R. Ramakrishnan 001; I. V. Ramakrishnan (J. Appl. Log., 2007)

XcelLog: a deductive spreadsheet system. - C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren (Knowl. Eng. Rev., 2007)

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. - Oliviero Riganelli; Radu Grosu; Samir R. Das; C. R. Ramakrishnan 001; Scott A. Smolka (HASE, 2008)

A methodology for in-network evaluation of integrated logical-statistical models. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren; Jennifer L. Wong (SenSys, 2008)

Query-Based Model Checking of Ad Hoc Network Protocols. - Anu Singh; C. R. Ramakrishnan 001; Scott A. Smolka (CONCUR, 2009)

Automated construction of web accessibility models from transaction click-streams. - Jalal Mahmud; Yevgen Borodin; I. V. Ramakrishnan; C. R. Ramakrishnan 001 (WWW, 2009)

A process calculus for Mobile Ad Hoc Networks. - Anu Singh; C. R. Ramakrishnan 001; Scott A. Smolka (Sci. Comput. Program., 2010)

Model Repair for Probabilistic Systems. - Ezio Bartocci; Radu Grosu; Panagiotis Katsaros; C. R. Ramakrishnan 001; Scott A. Smolka (TACAS, 2011)

Symbolic reachability analysis for parameterized administrative role-based access control. - Scott D. Stoller; Ping Yang 002; Mikhail I. Gofman; C. R. Ramakrishnan 001 (Comput. Secur., 2011)

Policy analysis for Administrative Role-Based Access Control. - Amit Sasturkar; Ping Yang 002; Scott D. Stoller; C. R. Ramakrishnan 001 (Theor. Comput. Sci., 2011)

Parameter Learning in PRISM Programs with Continuous Random Variables - Muhammad Asiful Islam; C. R. Ramakrishnan 001; I. V. Ramakrishnan (CoRR, 2012)

Model checking with probabilistic tabled logic programming. - Andrey Gorlin; C. R. Ramakrishnan 001; Scott A. Smolka (Theory Pract. Log. Program., 2012)

Inference in probabilistic logic programs with continuous random variables. - Muhammad Asiful Islam; C. R. Ramakrishnan 001; I. V. Ramakrishnan (Theory Pract. Log. Program., 2012)

Compositional Branching-Time Measurements. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (FPS@ETAPS, 2014)

Using Statistical Model Checking for Measuring Systems. - Radu Grosu; Doron A. Peled; C. R. Ramakrishnan 001; Scott A. Smolka; Scott D. Stoller; Junxing Yang (ISoLA (2), 2014)

Adaptive MCMC-Based Inference in Probabilistic Logic Programs. - Arun Nampally; C. R. Ramakrishnan 001 (CoRR, 2014)

Constraint-Based Inference in Probabilistic Logic Programs. - Arun Nampally; C. R. Ramakrishnan 001 (PLP@ICLP, 2015)

Inference in Probabilistic Logic Programs Using Lifted Explanations. - Arun Nampally; C. R. Ramakrishnan 001 (ICLP (Technical Communications), 2016)

XPL: An extended probabilistic logic for probabilistic transition systems. - Andrey Gorlin; C. R. Ramakrishnan 001 (CoRR, 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 001 (Int. J. Softw. Tools Technol. Transf., 2016)

Optimal Value of Information in Dynamic Bayesian Networks. - Sarthak Ghosh; C. R. Ramakrishnan 001 (ICTAI, 2017)

State-space search with tabled logic programs. - C. R. Ramakrishnan 001 (Declarative Logic Programming, 2018)

Separable GPL: Decidable Model Checking with More Non-Determinism. - Andrey Gorlin; C. R. Ramakrishnan 001 (CONCUR, 2018)

Constraint-Based Inference in Probabilistic Logic Programs. - Arun Nampally; Timothy Zhang; C. R. Ramakrishnan 001 (Theory Pract. Log. Program., 2018)

Optimizing Value of Information Over an Infinite Time Horizon. - Sarthak Ghosh; C. R. Ramakrishnan 001 (ICTAI, 2019)

Value of Information in Probabilistic Logic Programs. - Sarthak Ghosh; C. R. Ramakrishnan 001 (ICLP Technical Communications, 2019)

Efficient Distribution of Quantum Circuits. - Ranjani G. Sundaram; Himanshu Gupta 001; C. R. Ramakrishnan 001 (DISC, 2021)

Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees. - Mohammad Ghaderibaneh; Caitao Zhan; Himanshu Gupta 001; C. R. Ramakrishnan 001 (CoRR, 2021)

Pre-Distribution of Entanglements in Quantum Networks. - Mohammad Ghaderibaneh; Himanshu Gupta 001; C. R. Ramakrishnan 001; Ertai Luo (QCE, 2022)

Distribution of Quantum Circuits Over General Quantum Networks. - Ranjani G. Sundaram; Himanshu Gupta 001; C. R. Ramakrishnan 001 (QCE, 2022)

Generation and Distribution of GHZ States in Quantum Networks. - Mohammad Ghaderibaneh; Himanshu Gupta 001; C. R. Ramakrishnan 001 (QCE, 2023)

Distributing Quantum Circuits with Minimum Circuit Execution Time over Quantum Networks. - Ranjani G. Sundaram; Himanshu Gupta 001; C. R. Ramakrishnan 001 (QCE, 2024)

Optimized Distribution of Entanglement Graph States in Quantum Networks. - Xiaojie Fan; Caitao Zhan; Himanshu Gupta 001; C. R. Ramakrishnan 001 (CoRR, 2024)

Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks. - Ranjani G. Sundaram; Himanshu Gupta 001; C. R. Ramakrishnan 001 (CoRR, 2024)

Efficient charge-preserving excited state preparation with variational quantum algorithms. - Zohim Chandani; Kazuki Ikeda; Zhong-Bo Kang; Dmitri E. Kharzeev; Alexander McCaskey; Andrea Palermo; C. R. Ramakrishnan 001; Pooja Rao; Ranjani G. Sundaram; Kwangmin Yu (CoRR, 2024)

Data Augmentation for Automated Adaptive Rodent Training. - Dibyendu Das; Alfredo Fontanini; Joshua F. Kogan; Haibin Ling; C. R. Ramakrishnan 001; I. V. Ramakrishnan (CoRR, 2024)

Screw Geometry Meets Bandits: Incremental Acquisition of Demonstrations to Generate Manipulation Plans. - Dibyendu Das; Aditya Patankar; Nilanjan Chakraborty; C. R. Ramakrishnan 001; I. V. Ramakrishnan (CoRR, 2024)

Transferring Kinesthetic Demonstrations across Diverse Objects for Manipulation Planning. - Dibyendu Das; Aditya Patankar; Nilanjan Chakraborty; C. R. Ramakrishnan 001; I. V. Ramakrishnan (CoRR, 2025)

Distribution and Purification of Entanglement States in Quantum Networks. - Xiaojie Fan; Yukun Yang; Himanshu Gupta 001; C. R. Ramakrishnan 001 (CoRR, 2025)