Publications

External Links: DBLP Entries, Google Scholar

Ranjani Sundaram, Himanshu Gupta, C. R. Ramakrishnan: Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks. QCE 2024.

D. Das, A. Patankar, F. Honda, D. Mahalingam, N. Chakraborty, C. R. Ramakrishnan, and IV Ramakrishnan: Knowledge-Enabled Motion Generation for Complex Manipulation Tasks, IEEE ICRA Workshop on Geometric Representations: The Roles of Modern Screw Theory, Lie Algebra, and Geometric Algebra in Robotics, London, UK, 2023.

Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan: Generation and Distribution of GHZ States in Quantum Networks. QCE 2023: 1120--1131.

Ranjani Sundaram, Himanshu Gupta, C. R. Ramakrishnan: Distribution of Quantum Circuits Over General Quantum Networks. QCE 2022: 415-425.

Mohammad Ghaderibaneh, Himanshu Gupta, C. R. Ramakrishnan, Ertai Luo: Pre-Distribution of Entanglements in Quantum Networks. QCE 2022: 426-436.

Mohammad Ghaderibaneh, Caitao Zhan, Himanshu Gupta, C. R. Ramakrishnan: Efficient Quantum Network Communication using Optimized Entanglement Swapping Trees, IEEE Transactions on Quantum Engineering (TQE), vol. 3, pp. 1-20, 2022.

Ranjani Sundaram, Himanshu Gupta, and C. R. Ramakrishnan: Efficient Distribution of Quantum Circuits. In 25th Intl. Symposium on Distributed Computing (DISC), Freiburg, Germany, 2021.

Sarthak Ghosh, C. R. Ramakrishnan: Optimizing Value of Information Over an Infinite Time Horizon. in IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Portland, OR, 690--696, 2019.

Sarthak Ghosh, C. R. Ramakrishnan: Value of Information in Probabilistic Logic Programs. in International Conference on Logic Programming Technical Communications (ICLP), Las Cruces, NM, 71--84, 2019.

Andrey Gorlin, C. R. Ramakrishnan, Separable GPL: decidable model checking with more non-determinism, to appear in Concurrency Theory (CONCUR), Beijing, China, 2018.

Arun Nampally, Timothy Zhang, C. R. Ramakrishnan. Constraint-Based Inference in Probabilistic Logic Programs, Theory and Practice of Logic Programming (TPLP), 18(3-4): 638-655, 2018.

Sarthak Ghosh, C. R. Ramakrishnan, Optimal Value of Information in Dynamic Bayesian Networks, in IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Boston, MA, 2017.

Arun Nampally, C. R. Ramakrishnan, Inference in Probabilistic Logic Programs Using Lifted Explanations. International Conference on Logic Programming Technical Communications (ICLP), New York, NY 2016.

Arun Nampally, C. R. Ramakrishnan: Constraint-Based Inference in Probabilistic Logic Programs. Probabilistic Logic Programming Workshop (PLP), Cork, Ireland, 2015.

Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang: Compositional Branching-Time Measurements. From Programs to Systems, an ETAPS workshop, Grenoble, France, 2014.

Arun Nampally, C. R. Ramakrishnan, Adaptive MCMC-Based Inference in Probabilistic Logic Programs. International Conference on Logic Programming Technical Communications (ICLP), Vienna, Austria, 2014.

Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang, Using Statistical Model Checking for Measuring Systems. International Symposium on Leveraging Applications of Formal Methods (ISoLA), Corfu, Greece, 2014.

Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka, Model checking with probabilistic tabled logic programming, Theory and Practice of Logic Programming 12(4--5), pages 681--700, 2012.

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan, Inference in probabilistic logic programs with continuous random variables, Theory and Practice of Logic Programming 12(4--5), pages 505--523, 2012.

Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan, Parameter Learning in PRISM Programs with Continuous Random Variables, CoRR abs/1203.4287, 2012.

Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka, Model Repair for Probabilistic Systems, 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 6605, pages 326--340, Springer, 2011.

Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan, Symbolic Reachability Analysis for Parameterized Role-Based Access Control, Computers and Security 30(2--3), pages 148--164, 2011.

Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan, Policy Analysis for Administrative Role Based Access Control, Theoretical Computer Science 312(44), pages 6208--6234, 2011.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka, A Process Calculus for Mobile Ad Hoc Networks, Science of Computer Programming 75(6), pages 440--469, 2010.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka, Query-Based Model Checking of Ad Hoc Network Protocols, Concurrency Theory (CONCUR), Lecture Notes in Computer Science 5710, pages 603--619, Springer, 2009.

Scott D. Stoller, Ping Yang, Michael Gofman, C. R. Ramakrishnan, Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control, Symposium on Access Control Models and Technologies (SACMAT), pages 165--174, ACM, 2009.

Jalal Mahmud, Yevgen Borodin, I.V. Ramakrishnan, C. R. Ramakrishnan, Automated Construction of Web Accessibility Models from Transaction Click Streams, 18th International World Wide Web Conference (WWW), pages 871--880, 2009.

Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka, Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks, IEEE High Assurance Systems Engineering Symposium (HASE), pages 362--370, 2008.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren, Jennifer Wong, A methodology for in-network evaluation of integrated logical-statistical models, 6th International Conference on Embedded Networked Sensor Systems, pages 197--210, ACM, 2008.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka, A Process Calculus for Mobile Ad Hoc Networks, 10th International Conference on Coordination Models and Languages (COORDINATION), Lecture Notes in Computer Science 5052, pages 296--314, Springer, 2008.

C. R. Ramakrishnan, Jakob Rehof, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference(TACAS), Lecture Notes in Computer Science 4963, Springer, 2008.

C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren, XcelLog: a deductive spreadsheet system, Knowledge Engineering Review 22(3), pages 269--279, 2007.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott Stoller, David S. Warren, Security Policy Analysis using Deductive Spreadsheets, 5th ACM Workshop on Formal Methods in Security Engineering (FMSE), pages 42--50, 2007.

Scott Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail Gofman, Efficient Policy Analysis for Administrative Role Based Access Control, ACM Conference on Computer and Communication Security (CCS), pages 445--455, ACM Press, 2007.

Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan, Precise specification matching for adaptive reuse in embedded systems, Journal of Applied Logic 5(2), pages 333--355, http://dx.doi.org/10.1016/j.jal.2005.12.016, 2007.

Beata Sarna-Starosta, C. R. Ramakrishnan, Compiling Constraint Handling Rules for Efficient Tabled Evaluation, Practical Aspects of Declarative Languages (PADL), Lecture Notes in Computer Science 4354, pages 170--184, Springer, 2007.

C. R. Ramakrishnan, I. V. Ramakrishnan, David S. Warren, Deductive Spreadsheets using Tabled Logic Programming, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 4079, pages 391--405, Springer, 2006.

Diptikalyan Saha, C. R. Ramakrishnan, A Local Algorithm for Incremental Evaluation of Tabled Logic Programs, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 4079, pages 56--71, Springer, 2006.

Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan, Policy Analysis for Administrative Role Based Access Control, 19th IEEE Computer Security Foundations Workshop (CSFW), pages 124--138, IEEE Press, 2006.

Samik Basu, C. R. Ramakrishnan, Compositional Analysis for Verification of Parameterized Systems, Theoretical Computer Science 354(2), pages 211--229, http://dx.doi.org/10.1016/j.tcs.2005.11.016/, 2006.

Diptikalyan Saha, C. R. Ramakrishnan, Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs, Practical Aspects of Declarative Languages (PADL), Lecture Notes in Computer Science 3819, pages 215--229, Springer, http://www.lmc.cs.sunysb.edu/~dsaha/callg/, 2006.

Ping Yang, Samik Basu, C. R. Ramakrishnan, Parameterized Verification of Pi-Calculus Systems, 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 3920, pages 42--57, Springer, 2006.

Diptikalyan Saha, C. R. Ramakrishnan, Incremental and Demand-Driven Points-To Analysis using Logic Programming, Seventh International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pages 117--128, ACM Press, http://www.lmc.cs.sunysb.edu/~dsaha/incr_pta/, 2005.

Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka, A Provably Correct Compiler for Efficient Model Checking of Mobile Processes, Practical Aspects of Declarative Languages (PADL), Lecture Notes in Computer Science 3350, pages 113--127, Springer, 2005.

L. Robert Pokorny, C. R. Ramakrishnan, Modelling and Verification of Distributed Autonomous Agents using Logic Programming, Declarative Agent Languages and Technologies (DALT 2004), Lecture Notes in Computer Science 3476, pages 148--165, Springer, 2005.

Diptikalyan Saha, C. R. Ramakrishnan, Symbolic Support Graph: A Space-Efficient Data Structure for Incremental Tabled Evaluation, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 3668, pages 235--249, Springer, http://www.lmc.cs.sunysb.edu/~dsaha/symspt/, 2005.

Abhik Roychoudhury, C. R. Ramakrishnan, Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems, Program Development in Computational Logic 2004, pages 261--290, 2004.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, An unfold/fold transformation framework for definite logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS) 26(3), pages 464--509, 2004.

Ping Yang, C. R. Ramakrishnan, Scott A. Smolka, A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution, International Journal on Software Tools for Technology Transfer (STTT) 6(1), pages 38--66, http://springerlink.metapress.com/openurl.asp?genre=article&id=doi:10.1007/s10009-003-0136-3, 2004.

Giridhar Pemmasani, Haifeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan, Online Justification for Tabled Logic Programs, International Functional and Logic Programming (FLOPS), Lecture Notes in Computer Science 2998, pages 24--38, Springer, 2004.

Beata Sarna-Starosta, C. R. Ramakrishnan, Constraint-Based Model Checking of Data-Independent Systems, International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science 2885, pages 579--598, Springer, 2003.

Giridhar Pemmasani, Haifeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan, Online Justification for Tabled Logic Programs, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2916, pages 500--501, Springer, 2003.

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka, Evidence Explorer: A Tool for Exploring Model-Checking Proofs, Fifteenth International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 2725, pages 215--218, Springer, 2003.

Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka, Model Checking and Evidence Exploration, IEEE Conference and Workshops on Engineering Computer Based Systems, pages 214--223, IEEE, 2003.

Samik Basu, C. R. Ramakrishnan, Compositional Analysis for Verification of Parameterized Systems, Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 2619, pages 315--330, Springer, 2003.

Ping Yang, C. R. Ramakrishnan, Scott A. Smolka, A Logical Encoding of the pi-calculus: Model Checking Mobile Processes Using Tabled Resolution, Verification, Model Checking and Abstract Interpretation (VMCAI), Lecture Notes in Computer Science 2575, pages 116--131, Springer, 2003.

Diptikalyan Saha, C. R. Ramakrishnan, Incremental Evaluation of Tabled Logic Programs, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2916, pages 389--406, Springer, 2003.

C. R. Ramakrishnan, R. Sekar, Model-Based Analysis of Configuration Vulnerabilities, Journal of Computer Security (JCS) 10(1 / 2), pages 189--209, 2002.

Haifeng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan, Justification Based on Program Transformation, Logic Based Program Development and Transformation (LOPSTR), 2002.

Shriram Krishnamurthi, C. R. Ramakrishnan, Fourth International Symposium on Practical Aspects of Declarative Languages (PADL), Lecture Notes in Computer Science 2257, Springer, 2002.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs, International Journal on Foundations of Computer Science (IJFCS) 13(3), pages 387--403, 2002.

Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan, Efficient Model Checking of Real Time Systems Using Tabled Logic Programming and Constraints, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2401, pages 100--114, Springer, 2002.

Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan, Resource-Constrained Model Checking of Recursive Programs, Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 2280, pages 236--250, Springer, 2002.

Yifei Dong, C. R. Ramakrishnan, Beata Sarna-Starosta, Scott A. Smolka, Vacuity Checking in the Modal Mu-Calculus, Ninth International Conference on Algebric Methodology and Software Technology (AMAST), Lecture Notes in Computer Science 2422, pages 147--162, Springer, 2002.

R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Model-Carrying Code (MCC): A New Paradigm for Mobile-Code Security, New Security Paradigms Workshop (NSPW), 2001.

C. R. Ramakrishnan, A Model Checker for Value-Passing Mu-Calculus Using Logic Programming, Practical Aspects of Declarative Languages (PADL), Lecture Notes in Computer Science 1990, pages 1--13, Springer, 2001.

Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma, Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2237, pages 166--180, Springer, 2001.

Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan, Speculative Beats Conservative Justification, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2237, pages 150--165, Springer, 2001.

K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka, Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models, International Conference on Logic Programming (ICLP), Lecture Notes in Computer Science 2237, pages 227--241, Springer, 2001.

C. R. Ramakrishnan, R. Sekar, Model-Based Analysis of Configuration Vulnerabilities, ACM CCIDS Workshop on Intrusion Detection and Prevention (WIDS), 2000.

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

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Verification of Parameterized Systems Using Logic Program Transformations, Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 1785, pages 172--187, Springer, 2000.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Justifying Proofs Using Memo Tables, Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pages 178--189, ACM Press, 2000.

C. R. Ramakrishnan, Verification Using Tabled Logic Programming, Eleventh International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science 1877, pages 89--91, Springer, 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, Twelfth International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 1855, pages 576--580, Springer, 2000.

C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, and David S. Warren, LMC: A System for the Specification and Evaluation of Logic-Based Model Checking, ACM Software Engineering Notes 25(1), pages 30--, 2000.

C. R. Ramakrishnan, Tabled Logic Programming for Verification and Program Analysis, ACM Software Engineering Notes 25(1), pages 30--, 2000.

Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka, Real-Time Verification Techniques for Untimed Systems, Workshop on Models for Time-Critical Systems (MTCS), Electronic Notes in Theoretical Computer Science 39, Elsevier Science Publishers, http://www.elsevier.nl/gej-ng/31/29/23/66/22/show/Products/notes/index.htt, 2000.

Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh Verma, Symbolic Bisimulation using Tabled Constraint Logic Programming, International Workshop on Tabulation in Parsing and Deduction (TAPD), 2000.

L. Robert Pokorny, C. R. Ramakrishnan, Model Checking Linear Temporal Logic Using Tabled Logic Programming, International Workshop on Tabulation in Parsing and Deduction (TAPD), 2000.

Yifei Dong, C. R. Ramakrishnan, Logic Programming Optimizations for Faster Model Checking, International Workshop on Tabulation in Parsing and Deduction (TAPD), 2000.

Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson, Modeling and Analysis of Interactions in Virtual Enterprises, Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises (RIDE), pages 12--18, IEEE Computer Society, 1999.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs, Principles and Practice of Declarative Programming (PPDP), Lecture Notes in Computer Science 1702, pages 396--413, Springer, 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 (FLOPS), Lecture Notes in Computer Science 1722, pages 284--300, Springer, 1999.

Yifei Dong, C. R. Ramakrishnan, An Optimizing Compiler for Efficient Model Checking, Formal Methods for Protocol Engineering and Distributed Systems (FORTE), IFIP Conference Proceedings 156, pages 241--256, Kluwer, 1999.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Proofs by Program Transformations, Ninth International Workshop on Logic-based Program Synthesis and Transformations (LOPSTR), 1999.

C. R. Ramakrishnan, Claudio T. Silva, Optimal Processor Allocation for Sort-Last Compositing under BSP-tree Ordering, Visual Data Exploration and Analysis VI, Electronic Imaging, Proceedings of SPIE Vol 3643, 1999.

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David S. Warren, Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools, Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 1579, pages 74--88, Springer, 1999.

Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari, Normalization via Rewrite Closures, Rewriting Techniques and Applications (RTA), Lecture Notes in Computer Science 1631, pages 190--204, Springer, 1999.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs, Advances in Computing Science: Fifth Asian Computer Science Conference (ASIAN), Lecture Notes in Computer Science 1742, pages 322--333, Springer, 1999.

Model-Based Vulnerability Analysis of Computer Systems

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Tabulation-based Induction Proofs with Application to Automated Verification, International Workshop on Tabulation in Parsing and Deduction (TAPD), 1998.

Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David S. Warren, Logic Programming and Model Checking, Principles of Declarative Programming, Lecture Notes in Computer Science 1490, pages 1--20, Springer, 1998.

Xinxin Liu, C. R. Ramakrishnan, and Scott A. Smolka, Fully Local and Efficient Evaluation of Alternating Fixed Points, Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science 1384, pages 5--19, Springer, 1998.

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, A Conservative Technique to Improve Deterministic Evaluation of Logic Programs, International Conference on Computer Languages (ICCL), pages 196--205, IEEE Press, 1998.

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan, Logic Based Modeling and Analysis of Workflows, ACM Symposium on Principles of Database Systems (PODS), pages 25--33, ACM, 1998.

Owen Kaser, C. R. Ramakrishnan, Evaluating Inlining Techniques, Journal of Computer Languages (JCL) 24(2), pages 55--72, 1998.

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan, On the Optimality of Scheduling Strategies in Subsumption Based Tabled Resolution, Joint International Conference/Symposium on Logic Programming (JICSLP), pages 310--324, MIT Press, 1998.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren, Efficient Model Checking Using Tabled Resolution, Ninth International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 1254, pages 143--154, Springer, 1997.

Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, EQUALS --- Fast Parallel Evaluation of A Lazy Language, Journal of Functional Programming (JFP) 7(2), pages 183--217, 1997.

Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan, Subsumption algorithms based on Search Trees, Colloquium on Trees in Algebra and Programming (CAAP), Lecture Notes in Computer Science 1059, pages 135--148, Springer, 1996.

Steven Dawson, C. R. Ramakrishnan, David S. Warren, Practical Program Analysis Using General Purpose Logic Programming Systems --- A Case Study, ACM Symposium on Programming Language Design and Implementation, pages 117--126, ACM, 1996.

P. Rao, C. R. Ramakrishnan, I. V. Ramakrishnan, A Thread in Time Saves Tabling Time, Joint International Conference/Symposium on Logic Programming, pages 112--126, MIT Press, 1996.

Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift, Principles and Practice of Unification Factoring, ACM Transactions on Programming Languages and Systems (TOPLAS) 18(5), pages 528--563, 1996.

David S. Warren, Steven Dawson, C. R. Ramakrishnan, Using XSB for Abstract Interpretation, Special Workshop on Abstract Interpretation of Logic Languages, 1995.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Design and Implementation of Jump Tables for Fast Indexing of Logic Programs, Seventh International Symposium on Programming Languages: Implementations, Logics and Programs (PLILP), Lecture Notes in Computer Science 982, pages 133--150, Springer, 1995.

C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, A Symbolic Constraint Solving Framework for Analysis of Logic Programs, ACM Symposium on Partial Evaluation and Semantics-based Program Manipulation, pages 12--23, ACM, 1995.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David S. Warren, Unification Factoring for Efficient Execution of Logic Programs, ACM Symposium on Principles of Programming Languages, pages 247--258, ACM, 1995.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift, Optimizing Clause Resolution: Beyond Unification Factoring, ilps, pages 194--208, MIT Press, 1995.

Owen Kaser, C. R. Ramakrishnan, R. Sekar, EQUALS --- The Next Generation, International Workshop on Parallel Processing, pages 615--620, Tata McGraw Hill, 1994.

Owen Kaser, C. R. Ramakrishnan, R. Sekar, A high performance runtime system for parallel evaluation of lazy languages, Symposium on Parallel Symbolic Computation, pages 234--243, World Scientific, 1994.

R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan, Modelling techniques for evolving distributed applications, Seventh IFIP WG6.1 International Conference on Formal Description Techniques (FORTE), pages 461--476, Chapman & Hall, 1994.

Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, Extracting Determinacy in Logic Programs, International Conference on Logic Programming, pages 424--438, MIT Press, 1993.

Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, On the Conversion of Indirect to Direct Recursion, ACM Letters on Programming Languages and Systems (LOPLAS) 2(1--4), pages 151--164, 1993.

Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, Fast Parallel Implementation of Lazy Languages --- The EQUALS Experience, ACM Symposium on Lisp and Functional Programming (LFP), pages 335--344, ACM, 1992.

C. R. Ramakrishnan