C. R. Ramakrishnan

125 papers A* 8A 11B 16C 16Misc 6Journal 39Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Comprehensive Protocol Stack for Quantum Networks with a Global Entanglement Module. CoRR Xiaojie Fan, C. R. Ramakrishnan, Himanshu Gupta
2025	J	`jnl`	Distribution and Purification of Entanglement States in Quantum Networks. CoRR Xiaojie Fan, Yukun Yang, Himanshu Gupta, C. R. Ramakrishnan
2025	A	`conf`	Transferring Kinesthetic Demonstrations across Diverse Objects for Manipulation Planning. IROS Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan
2025	J	`jnl`	Transferring Kinesthetic Demonstrations across Diverse Objects for Manipulation Planning. CoRR Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan
2024	J	`jnl`	Data Augmentation for Automated Adaptive Rodent Training. CoRR Dibyendu Das, Alfredo Fontanini, Joshua F. Kogan, Haibin Ling, C. R. Ramakrishnan, I. V. Ramakrishnan
2024	J	`jnl`	Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks. CoRR Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
2024	Misc	`conf`	Distributing Quantum Circuits with Minimum Circuit Execution Time over Quantum Networks. QCE Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
2024	J	`jnl`	Efficient charge-preserving excited state preparation with variational quantum algorithms. CoRR Zohim Chandani, Kazuki Ikeda, Zhong-Bo Kang, Dmitri E. Kharzeev, Alexander J. McCaskey, Andrea Palermo, C. R. Ramakrishnan, Pooja Rao, Ranjani G. Sundaram, Kwangmin Yu
2024	J	`jnl`	Optimized Distribution of Entanglement Graph States in Quantum Networks. CoRR Xiaojie Fan, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan
2024	J	`jnl`	Screw Geometry Meets Bandits: Incremental Acquisition of Demonstrations to Generate Manipulation Plans. CoRR Dibyendu Das, Aditya Patankar, Nilanjan Chakraborty, C. R. Ramakrishnan, I. V. Ramakrishnan
2023	Misc	`conf`	Generation and Distribution of GHZ States in Quantum Networks. QCE Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan
2022	Misc	`conf`	Distribution of Quantum Circuits Over General Quantum Networks. QCE Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
2022	J	`jnl`	Distribution of Quantum Circuits Over General Quantum Networks. CoRR Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
2022	Misc	`conf`	Pre-Distribution of Entanglements in Quantum Networks. QCE Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo
2022	J	`jnl`	Pre-Distribution of Entanglements in Quantum Networks. CoRR Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo
2021	A	`conf`	Efficient Distribution of Quantum Circuits. DISC Ranjani G. Sundaram, Himanshu Gupta, C. R. Ramakrishnan
2021	J	`jnl`	Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees. CoRR Mohammad Ghaderibaneh, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan
2019	B	`conf`	Optimizing Value of Information Over an Infinite Time Horizon. ICTAI Sarthak Ghosh, C. R. Ramakrishnan
2019	—	`conf`	Value of Information in Probabilistic Logic Programs. ICLP Technical Communications Sarthak Ghosh, C. R. Ramakrishnan
2018	J	`jnl`	Constraint-Based Inference in Probabilistic Logic Programs. CoRR Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
2018	J	`jnl`	Constraint-Based Inference in Probabilistic Logic Programs. Theory Pract. Log. Program. Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
2018	B	`conf`	Separable GPL: Decidable Model Checking with More Non-Determinism. CONCUR Andrey Gorlin, C. R. Ramakrishnan
2018	—	`ch.`	State-space search with tabled logic programs. Declarative Logic Programming C. R. Ramakrishnan
2017	B	`conf`	Optimal Value of Information in Dynamic Bayesian Networks. ICTAI Sarthak Ghosh, C. R. Ramakrishnan
2016	—	`conf`	Inference in Probabilistic Logic Programs Using Lifted Explanations. ICLP (Technical Communications) Arun Nampally, C. R. Ramakrishnan
2016	J	`jnl`	Inference in Probabilistic Logic Programs using Lifted Explanations. CoRR Arun Nampally, C. R. Ramakrishnan
2016	J	`jnl`	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. Ezio Bartocci, C. R. Ramakrishnan
2016	J	`jnl`	XPL: An extended probabilistic logic for probabilistic transition systems. CoRR Andrey Gorlin, C. R. Ramakrishnan
2015	—	`conf`	Constraint-Based Inference in Probabilistic Logic Programs. PLP@ICLP Arun Nampally, C. R. Ramakrishnan
2014	J	`jnl`	Adaptive MCMC-Based Inference in Probabilistic Logic Programs. CoRR Arun Nampally, C. R. Ramakrishnan
2014	—	`conf`	Compositional Branching-Time Measurements. FPS@ETAPS Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014	—	`conf`	Using Statistical Model Checking for Measuring Systems. ISoLA (2) Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2013	—	`ed.`	Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings SPIN Ezio Bartocci, C. R. Ramakrishnan
2012	J	`jnl`	Inference in probabilistic logic programs with continuous random variables. Theory Pract. Log. Program. Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
2012	J	`jnl`	Model Checking with Probabilistic Tabled Logic Programming CoRR Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
2012	J	`jnl`	Model checking with probabilistic tabled logic programming. Theory Pract. Log. Program. Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
2012	J	`jnl`	Parameter Learning in PRISM Programs with Continuous Random Variables CoRR Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
2011	J	`jnl`	Inference in Probabilistic Logic Programs with Continuous Random Variables CoRR Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
2011	A	`conf`	Model Repair for Probabilistic Systems. TACAS Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
2011	J	`jnl`	Policy analysis for Administrative Role-Based Access Control. Theor. Comput. Sci. Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
2011	J	`jnl`	Symbolic reachability analysis for parameterized administrative role-based access control. Comput. Secur. Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
2010	J	`jnl`	A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2009	A*	`conf`	Automated construction of web accessibility models from transaction click-streams. WWW Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan
2009	B	`conf`	Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2009	C	`conf`	Symbolic reachability analysis for parameterized administrative role based access control. SACMAT Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
2008	C	`conf`	A Process Calculus for Mobile Ad Hoc Networks. COORDINATION Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2008	Misc	`conf`	A methodology for in-network evaluation of integrated logical-statistical models. SenSys Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong
2008	—	`conf`	Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka
2008	A	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings TACAS C. R. Ramakrishnan, Jakob Rehof
2007	C	`conf`	Compiling Constraint Handling Rules for Efficient Tabled Evaluation. PADL Beata Sarna-Starosta, C. R. Ramakrishnan
2007	A*	`conf`	Efficient policy analysis for administrative role based access control. CCS Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman
2007	J	`jnl`	Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
2007	—	`conf`	Security policy analysis using deductive spreadsheets. FMSE Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
2007	J	`jnl`	XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
2006	B	`conf`	A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. ICLP Diptikalyan Saha, C. R. Ramakrishnan
2006	J	`jnl`	Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. Samik Basu, C. R. Ramakrishnan
2006	B	`conf`	Deductive Spreadsheets Using Tabled Logic Programming. ICLP C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
2006	C	`conf`	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. PADL Diptikalyan Saha, C. R. Ramakrishnan
2006	A	`conf`	Parameterized Verification of pi-Calculus Systems. TACAS Ping Yang, Samik Basu, C. R. Ramakrishnan
2006	—	`conf`	Policy Analysis for Administrative Role Based Access Control. CSFW Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
2005	C	`conf`	A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2005	C	`conf`	Incremental and demand-driven points-to analysis using logic programming. PPDP Diptikalyan Saha, C. R. Ramakrishnan
2005	B	`conf`	Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. ICLP Diptikalyan Saha, C. R. Ramakrishnan
2004	J	`jnl`	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
2004	J	`jnl`	An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2004	J	`jnl`	Introduction to the Special Issue on Verification and Computational Logic. Theory Pract. Log. Program. Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche
2004	—	`conf`	Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. DALT L. Robert Pokorny, C. R. Ramakrishnan
2004	Misc	`conf`	Online Justification for Tabled Logic Programs. FLOPS Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2004	—	`ch.`	Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Program Development in Computational Logic Abhik Roychoudhury, C. R. Ramakrishnan
2003	B	`conf`	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
2003	A	`conf`	Compositional Analysis for Verification of Parameterized Systems. TACAS Samik Basu, C. R. Ramakrishnan
2003	C	`conf`	Constraint-Based Model Checking of Data-Independent Systems. ICFEM Beata Sarna-Starosta, C. R. Ramakrishnan
2003	A*	`conf`	Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003	B	`conf`	Incremental Evaluation of Tabled Logic Programs. ICLP Diptikalyan Saha, C. R. Ramakrishnan
2003	—	`conf`	Model Checking and Evidence Exploration. ECBS Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003	B	`conf`	Online Justification for Tabled Logic Programs. ICLP Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2002	J	`jnl`	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
2002	B	`conf`	Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. ICLP Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan
2002	C	`conf`	Justification Based on Program Transformation. LOPSTR Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
2002	J	`jnl`	Model-Based Analysis of Configuration Vulnerabilities. J. Comput. Secur. C. R. Ramakrishnan, R. Sekar
2002	C	`ed.`	Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings PADL Shriram Krishnamurthi, C. R. Ramakrishnan
2002	A	`conf`	Resource-Constrained Model Checking of Recursive Programs. TACAS Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
2002	—	`conf`	Vacuity Checking in the Modal Mu-Calculus. AMAST Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
2001	C	`conf`	A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. PADL C. R. Ramakrishnan
2001	B	`conf`	Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
2001	B	`conf`	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma
2001	C	`conf`	Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2001	B	`conf`	Speculative Beats Conservative Justification. ICLP Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
2000	C	`conf`	Justifying proofs using memo tables. PPDP Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan
2000	—	`conf`	Real-Time Verification Techniques for Untimed Systems. MTCS Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
2000	J	`jnl`	Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren
2000	A	`conf`	Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. RTSS Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
2000	J	`jnl`	Tabled logic programming for verification and program analysis. ACM SIGSOFT Softw. Eng. Notes C. R. Ramakrishnan
2000	B	`conf`	Verification Using Tabled Logic Programming. CONCUR C. R. Ramakrishnan
2000	A	`conf`	Verification of Parameterized Systems Using Logic Program Transformations. TACAS Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2000	A*	`conf`	XMC: A Logic-Programming-Based Verification Toolset. CAV C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
1999	C	`conf`	A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999	—	`conf`	A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Fuji International Symposium on Functional and Logic Programming Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
1999	C	`conf`	An Optimizing Compiler for Efficient Model Checking. FORTE Yifei Dong, C. R. Ramakrishnan
1999	—	`conf`	Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
1999	A	`conf`	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
1999	—	`conf`	Modeling and Analysis of Interactions in Virtual Enterprises. RIDE Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson
1999	—	`conf`	Normalization via Rewrite Closures. RTA Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari
1998	—	`conf`	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar
1998	J	`jnl`	Evaluating Inlining Techniques. Comput. Lang. Owen Kaser, C. R. Ramakrishnan
1998	A	`conf`	Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
1998	A*	`conf`	Logic Based Modeling and Analysis of Workflows. PODS Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan
1998	—	`conf`	Logic Programming and Model Checking. PLILP/ALP Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
1998	—	`conf`	On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. IJCSLP Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
1998	—	`conf`	Tabulation-based Induction Proofs with Application to Automated Verification. TAPD Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
1997	J	`jnl`	EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1997	A*	`conf`	Efficient Model Checking Using Tabled Resolution. CAV Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
1996	—	`conf`	A Thread in Time Saves Tabling Time. JICSLP Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
1996	A*	`conf`	Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI Steven Dawson, C. R. Ramakrishnan, David Scott Warren
1996	J	`jnl`	Principles and Practice of Unification Factoring. ACM Trans. Program. Lang. Syst. Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
1996	—	`conf`	Subsumption Algorithms Based on Search Trees. CAAP Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan
1995	C	`conf`	A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1995	—	`conf`	Design and Implementation of Jump Tables for Fast Indexing of Logic Programs PLILP Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan
1995	—	`conf`	Optimizing Clause Resolution: Beyond Unification Factoring. ILPS Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift
1995	A*	`conf`	Unification Factoring for Efficient Execution of Logic Programs. POPL Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
1994	—	`conf`	A High Performance Runtime System for Parallel Evaluation of Lazy Languages. PASCO Owen Kaser, C. R. Ramakrishnan, R. C. Sekar
1994	C	`conf`	Modelling techniques for evolving distributed applications. FORTE R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan
1993	B	`conf`	Extracting Determinacy in Logic Programs. ICLP Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1993	J	`jnl`	On the Conversion of Indirect to Direct Recursion. LOPLAS Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi
1992	—	`conf`	Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. LISP and Functional Programming Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar