| 2025 | IROS | Transferring Kinesthetic Demonstrations across Diverse Objects for Manipulation Planning. | Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2024 | QCE | Distributing Quantum Circuits with Minimum Circuit Execution Time over Quantum Networks. | Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan |
| 2023 | QCE | Generation and Distribution of GHZ States in Quantum Networks. | Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan |
| 2022 | QCE | Pre-Distribution of Entanglements in Quantum Networks. | Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo |
| 2022 | QCE | Distribution of Quantum Circuits Over General Quantum Networks. | Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan |
| 2019 | ICTAI | Optimizing Value of Information Over an Infinite Time Horizon. | Sarthak Ghosh, C. R. Ramakrishnan |
| 2018 | CONCUR | Separable GPL: Decidable Model Checking with More Non-Determinism. | Andrey Gorlin, C. R. Ramakrishnan |
| 2017 | ICTAI | Optimal Value of Information in Dynamic Bayesian Networks. | Sarthak Ghosh, C. R. Ramakrishnan |
| 2016 | ICLP | Inference in Probabilistic Logic Programs Using Lifted Explanations. | Arun Nampally, C. R. Ramakrishnan |
| 2015 | ICLP | Constraint-Based Inference in Probabilistic Logic Programs. | Arun Nampally, C. R. Ramakrishnan |
| 2014 | ISoLA | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2011 | TACAS | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2009 | CONCUR | Query-Based Model Checking of Ad Hoc Network Protocols. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2009 | WWW | Automated construction of web accessibility models from transaction click-streams. | Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan |
| 2009 | SACMAT | Symbolic reachability analysis for parameterized administrative role based access control. | Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan |
| 2008 | Coordination | A Process Calculus for Mobile Ad Hoc Networks. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2008 | SENSYS | 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 |
| 2007 | CCS | Security policy analysis using deductive spreadsheets. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren |
| 2007 | CCS | Efficient policy analysis for administrative role based access control. | Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman |
| 2007 | PADL | Compiling Constraint Handling Rules for Efficient Tabled Evaluation. | Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2006 | ICLP | Deductive Spreadsheets Using Tabled Logic Programming. | C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren |
| 2006 | ICLP | A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | PADL | Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | TACAS | Parameterized Verification of pi-Calculus Systems. | Ping Yang, Samik Basu, C. R. Ramakrishnan |
| 2005 | ICLP | Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2005 | PADL | A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. | Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2005 | PPDP | Incremental and demand-driven points-to analysis using logic programming. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2004 | FLOPS | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | CAV | Evidence Explorer: A Tool for Exploring Model-Checking Proofs. | Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2003 | ICFEM | Constraint-Based Model Checking of Data-Independent Systems. | Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2003 | ICLP | Online Justification for Tabled Logic Programs. | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | ICLP | Incremental Evaluation of Tabled Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2003 | TACAS | Compositional Analysis for Verification of Parameterized Systems. | Samik Basu, C. R. Ramakrishnan |
| 2003 | VMCAI | A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. | Ping Yang, C. R. Ramakrishnan, Scott A. Smolka |
| 2002 | ICLP | Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. | Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | LOPSTR | Justification Based on Program Transformation. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | TACAS | Resource-Constrained Model Checking of Recursive Programs. | Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
| 2001 | ICLP | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
| 2001 | ICLP | Speculative Beats Conservative Justification. | Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2001 | ICLP | Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. | K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
| 2001 | NSPW | Model-Carrying Code (MCC): a new paradigm for mobile-code security. | R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 2001 | PADL | A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. | C. R. Ramakrishnan |
| 2000 | CAV | 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 |
| 2000 | CONCUR | Verification Using Tabled Logic Programming. | C. R. Ramakrishnan |
| 2000 | PPDP | Justifying proofs using memo tables. | Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2000 | RTSS | Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. | Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka |
| 2000 | TACAS | Verification of Parameterized Systems Using Logic Program Transformations. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 1999 | FLOPS | A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. | Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao |
| 1999 | FORTE | An Optimizing Compiler for Efficient Model Checking. | Yifei Dong, C. R. Ramakrishnan |
| 1999 | PPDP | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1999 | TACAS | 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 |
| 1998 | ICLP | On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1998 | PODS | Logic Based Modeling and Analysis of Workflows. | Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1998 | TACAS | Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). | Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka |
| 1997 | CAV | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1996 | ICLP | A Thread in Time Saves Tabling Time. | Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1996 | PLDI | Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. | Steven Dawson, C. R. Ramakrishnan, David Scott Warren |
| 1995 | PEPM | A Symbolic Constraint Solving Framework for Analysis of Logic Programs. | C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1995 | POPL | 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 |
| 1994 | FORTE | Modelling techniques for evolving distributed applications. | R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan |
| 1993 | ICLP | Extracting Determinacy in Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |