Select a publication 
Show 
Title 
Venue 
Rating 
Date 

Journal article
Andrey Gorlin, C. R. Ramakrishnan.
XPL: An extended probabilistic logic for probabilistic transition systems.

CoRR 2016, Volume 0 
(0)

2016 

Conference paper
Ezio Bartocci, C. R. Ramakrishnan.
Preface of the special issue on Model Checking of Software  Selected papers of the 20th International SPIN Symposium on Model Checking of Software.

STTT 2016, Volume 18 
(0)

2016 

Conference paper
Arun Nampally, C. R. Ramakrishnan.
ConstraintBased Inference in Probabilistic Logic Programs.

Proceedings of the 2nd International Workshop on Probabilistic Logic Programming colocated with 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31st, 2015. 2015 
(0)

2015 

Journal article
Arun Nampally, C. R. Ramakrishnan.
Adaptive MCMCBased Inference in Probabilistic Logic Programs.

CoRR 2014, Volume 0 
(0)

2014 

Conference paper
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang.
Compositional BranchingTime Measurements.

From Programs to Systems. The Systems perspective in Computing  ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings 2014 
(0)

2014 

Conference paper
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang.
Using Statistical Model Checking for Measuring Systems.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications  6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 811, 2014, Proceedings, Part II 2014 
(0)

2014 

Journal article
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
Inference in probabilistic logic programs with continuous random variables.

TPLP 2012, Volume 12 
(0)

2012 

Conference paper
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka.
Model checking with probabilistic tabled logic programming.

TPLP 2012, Volume 12 
(0)

2012 

Conference paper
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka.
Model Checking with Probabilistic Tabled Logic Programming

CoRR 2012, Volume 0 
(0)

2012 

Conference paper
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
Parameter Learning in PRISM Programs with Continuous Random Variables

CoRR 2012, Volume 0 
(0)

2012 

Journal article
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan.
Symbolic reachability analysis for parameterized administrative rolebased access control.

Computers Security 2011, Volume 30 
(0)

2011 

Conference paper
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka.
Model Repair for Probabilistic Systems.

Tools and Algorithms for the Construction and Analysis of Systems  17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26April 3, 2011 2011 
(0)

2011 

Conference paper
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan.
Policy analysis for Administrative RoleBased Access Control.

Theor. Comput. Sci. 2011, Volume 412 
(0)

2011 

Journal article
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan.
Inference in Probabilistic Logic Programs with Continuous Random Variables

CoRR 2011, Volume 0 
(0)

2011 

Conference paper
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
A process calculus for Mobile Ad Hoc Networks.

Sci. Comput. Program. 2010, Volume 75 
(0)

2010 

Conference paper
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
QueryBased Model Checking of Ad Hoc Network Protocols.

CONCUR 2009  Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 14, 2009. Proceedings 2009 
(0)

2009 

Conference paper
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan.
Symbolic reachability analysis for parameterized administrative role based access control.

SACMAT 2009, 14th ACM Symposium on Access Control Models and Technologies, Stresa, Italy, June 35, 2009, Proceedings 2009 
(0)

2009 

Conference paper
Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan.
Automated construction of web accessibility models from transaction clickstreams.

Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 2024, 2009 2009 
(0)

2009 

Conference paper
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka.
A Process Calculus for Mobile Ad Hoc Networks.

Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 46, 2008. Proceedings 2008 
(0)

2008 

Conference paper
Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka.
Power Optimization in FaultTolerant Mobile Ad Hoc Networks.

11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3  5, 2008 2008 
(0)

2008 

Conference paper
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong.
A methodology for innetwork evaluation of integrated logicalstatistical models.

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 57, 2008 2008 
(0)

2008 

Conference paper
Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman.
Efficient policy analysis for administrative role based access control.

Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 2831, 2007 2007 
(0)

2007 

Conference paper
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren.
Security policy analysis using deductive spreadsheets.

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 2007 
(0)

2007 

Conference paper
Beata SarnaStarosta, C. R. Ramakrishnan.
Compiling Constraint Handling Rules for Efficient Tabled Evaluation.

Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 1415, 2007. 2007 
(0)

2007 

Conference paper
HaiFeng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan.
Precise specification matching for adaptive reuse in embedded systems.

J. Applied Logic 2007, Volume 5 
(0)

2007 

Conference paper
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren.
XcelLog: a deductive spreadsheet system.

Knowledge Eng. Review 2007, Volume 22 
(0)

2007 

Conference paper
Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan.
Policy Analysis for Administrative Role Based Access Control.

19th IEEE Computer Security Foundations Workshop, (CSFW19 2006), 57 July 2006, Venice, Italy 2006 
(0)

2006 

Conference paper
Diptikalyan Saha, C. R. Ramakrishnan.
A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.

Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 1720, 2006, Proceedings 2006 
(0)

2006 

Conference paper
C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren.
Deductive Spreadsheets Using Tabled Logic Programming.

Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 1720, 2006, Proceedings 2006 
(0)

2006 

Conference paper
Diptikalyan Saha, C. R. Ramakrishnan.
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.

Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 910, 2006, Proceedings 2006 
(0)

2006 

Conference paper
Ping Yang, Samik Basu, C. R. Ramakrishnan.
Parameterized Verification of piCalculus Systems.

Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25  April 2, 2006, Proceedi 2006 
(0)

2006 

Conference paper
Samik Basu, C. R. Ramakrishnan.
Compositional analysis for verification of parameterized systems.

Theor. Comput. Sci. 2006, Volume 354 
(0)

2006 

Conference paper
Diptikalyan Saha, C. R. Ramakrishnan.
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.

Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 25, 2005, Proceedings 2005 
(0)

2005 

Conference paper
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, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 1011, 2005, Proceedings 2005 
(0)

2005 

Conference paper
Diptikalyan Saha, C. R. Ramakrishnan.
Incremental and demanddriven pointsto analysis using logic programming.

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 1113 2005, Lisbon, Portugal 2005 
(0)

2005 

Conference paper
L. Robert Pokorny, C. R. Ramakrishnan.
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.

Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers 2005 
(0)

2004 

Conference paper
Giridhar Pemmasani, HaiFeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan.
Online Justification for Tabled Logic Programs.

Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 79, 2004, Proceedings 2004 
(0)

2004 

Conference paper
Abhik Roychoudhury, C. R. Ramakrishnan.
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.

Program Development in Computational Logic: A Decade of Research Advances in LogicBased Program Development 2004 
(0)

2004 

Conference paper
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka.
A logical encoding of the picalculus: model checking mobile processes using tabled resolution.

STTT 2004, Volume 6 
(0)

2004 

Conference paper
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan.
An unfold/fold transformation framework for definite logic programs.

ACM Trans. Program. Lang. Syst. 2004, Volume 26 
(0)

2004 

Conference paper
Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich UltesNitsche.
Introduction to the Special Issue on Verification and Computational Logic.

TPLP 2004, Volume 4 
(0)

2004 

Conference paper
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka.
Evidence Explorer: A Tool for Exploring ModelChecking Proofs.

Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 812, 2003, Proceedings 2003 
(0)

2003 

Conference paper
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka.
Model Checking and Evidence Exploration.

10th IEEE International Conference on Engineering of ComputerBased Systems (ECBS 2003), 710 April 2003, Huntsville, AL, USA 2003 
(0)

2003 

Conference paper
Beata SarnaStarosta, C. R. Ramakrishnan.
ConstraintBased Model Checking of DataIndependent Systems.

Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 57, 2003, Proceedings 2003 
(0)

2003 

Conference paper
Giridhar Pemmasani, HaiFeng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan.
Online Justification for Tabled Logic Programs.

Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 913, 2003, Proceedings 2003 
(0)

2003 

Conference paper
Diptikalyan Saha, C. R. Ramakrishnan.
Incremental Evaluation of Tabled Logic Programs.

Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 913, 2003, Proceedings 2003 
(0)

2003 

Conference paper
Samik Basu, C. R. Ramakrishnan.
Compositional Analysis for Verification of Parameterized Systems.

Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 711, 2003, Proceedings 2003 
(0)

2003 

Conference paper
Ping Yang, C. R. Ramakrishnan, Scott A. Smolka.
A Logical Encoding of the piCalculus: Model Checking Mobile Processes Using Tabled Resolution.

Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 911, 2002, Proceedings 2003 
(0)

2003 

Conference paper
Yifei Dong, Beata SarnaStarosta, C. R. Ramakrishnan, Scott A. Smolka.
Vacuity Checking in the Modal MuCalculus.

Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, SaintGilleslesBains, Reunion Island, France, September 913, 2002, Proceedings 2002 
(0)

2002 

Conference paper
Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan.
Efficient RealTime Model Checking Using Tabled Logic Programming and Constraints.

Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29  August 1, 2002, Proceedings 2002 
(0)

2002 

Conference paper
HaiFeng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan.
Justification Based on Program Transformation.

Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 1720,2002, Revised Selected Papers 2003 
(0)

2002 

Conference paper
Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan.
ResourceConstrained Model Checking of Recursive Programs.

Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 812, 2002, Proceedings 2002 
(0)

2002 

Conference paper
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan.
Beyond TamakiSato Style Unfold/Fold Transformations for Normal Logic Programs.

Int. J. Found. Comput. Sci. 2002, Volume 13 
(0)

2002 

Conference paper
C. R. Ramakrishnan, R. C. Sekar.
ModelBased Analysis of Configuration Vulnerabilities.

Journal of Computer Security 2002, Volume 10 
(0)

2002 

Conference paper
Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma.
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.

Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26  December 1, 2001, Proceedings 2001 
(0)

2001 

Conference paper
HaiFeng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan.
Speculative Beats Conservative Justification.

Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26  December 1, 2001, Proceedings 2001 
(0)

2001 

Conference paper
K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka.
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.

Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26  December 1, 2001, Proceedings 2001 
(0)

2001 

Conference paper
R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka.
ModelCarrying Code (MCC): a new paradigm for mobilecode security.

Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, New Mexico, USA, September 1013, 2001 2001 
(0)

2001 

Conference paper
C. R. Ramakrishnan.
A Model Checker for ValuePassing MuCalculus Using Logic Programming.

Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 1112, 2001, Proceedings 2001 
(0)

2001 

Journal article
C. R. Ramakrishnan.
Tabled logic programming for verification and program analysis.

ACM SIGSOFT Software Engineering Notes 2000, Volume 25 
(0)

2000 

Journal article
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren.
Specification and evaluation of logicbased model checking.

ACM SIGSOFT Software Engineering Notes 2000, Volume 25 
(0)

2000 

Conference paper
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan.
XMC: A LogicProgrammingBased Verification Toolset.

Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 1519, 2000, Proceedings 2000 
(0)

2000 

Conference paper
C. R. Ramakrishnan.
Verification Using Tabled Logic Programming.

CONCUR 2000  Concurrency Theory, 11th International Conference, University Park, PA, USA, August 2225, 2000, Proceedings 2000 
(0)

2000 

Conference paper
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan.
Justifying proofs using memo tables.

PPDP 2000 
(0)

2000 

Conference paper
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka.
Verification of Parameterized Systems Using Logic Program Transformations.

Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25  April 2, 2000, Proceedi 2000 
(0)

2000 

Conference paper
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka.
RealTime Verification Techniques for Untimed Systems.

Electr. Notes Theor. Comput. Sci. 2000, Volume 39 
(0)

2000 

Conference paper
Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka.
Tabled Resolution + Constraints: A Recipe for Model Checking RealTime Systems.

Proceedings of the 21st IEEE RealTime Systems Symposium (RTSS 2000), Orlando, Florida, USA, 2730 November 2000 2000 
(0)

2000 

Conference paper
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan.
Beyond TamakiSato Style Unfold/Fold Transformations for Normal Logic Programs.

Advances in Computing Science  ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 1012, 1999, Proceedings 1999 
(0)

1999 

Conference paper
Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao.
A Space Efficient Engine for SubsumptionBased Tabled Evaluation of Logic Programs.

Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 1113, 1999, Proceedings 1999 
(0)

1999 

Conference paper
Yifei Dong, C. R. Ramakrishnan.
An Optimizing Compiler for Efficient Model Checking.

Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specifica 1999 
(0)

1999 

Conference paper
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, International Conference PPDP'99, Paris, France, September 29  October 1, 1999, Proceedings 1999 
(0)

1999 

Conference paper
Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson.
Modeling and Analysis of Interactions in Virtual Enterprises.

RIDE 1999 
(0)

1999 

Conference paper
Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari.
Normalization via Rewrite Closures.

Rewriting Techniques and Applications, 10th International Conference, RTA99, Trento, Italy, July 24, 1999, Proceedings 1999 
(0)

1999 

Conference paper
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren.
Fighting Livelock in the iProtocol: A Comparative Study of Verification Tools.

Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 2228, 1999, Proceed 1999 
(0)

1999 

Conference paper
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar.
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.

ICCL 1998 
(0)

1998 

Conference paper
Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan.
On the Optimality of Scheduling Strategies in Subsumptionbased Tabled Resolution.

IJCSLP 1998 
(0)

1998 

Conference paper
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren.
Logic Programming and Model Checking.

Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 1618, 1998, Proceedings 1998 
(0)

1998 

Conference paper
Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan.
Logic Based Modeling and Analysis of Workflows.

Proceedings of the Seventeenth ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, June 13, 1998, Seattle, Washington, USA 1998 
(0)

1998 

Conference paper
Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka.
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).

Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28  April 4, 1998, Proceeding 1998 
(0)

1998 

Conference paper
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka.
Tabulationbased Induction Proofs with Application to Automated Verification.

TAPD 1998 
(0)

1998 

Conference paper
Owen Kaser, C. R. Ramakrishnan.
Evaluating Inlining Techniques.

Comput. Lang. 1998, Volume 24 
(0)

1998 

Conference paper
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Theresa Swift, David Scott Warren.
Efficient Model Checking Using Tabled Resolution.

Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 2225, 1997, Proceedings 1997 
(0)

1997 

Conference paper
Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar.
EQUALS  A Fast Parallel Implementation of a Lazy Language.

J. Funct. Program. 1997, Volume 7 
(0)

1997 

Conference paper
Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan.
Subsumption Algorithms Based on Search Trees.

Trees in Algebra and Programming  CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 2224, 1996, Proceedings 1996 
(0)

1996 

Conference paper
Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan.
A Thread in Time Saves Tabling Time.

JICSLP 1996 
(0)

1996 

Conference paper
Steven Dawson, C. R. Ramakrishnan, David Scott Warren.
Practical Program Analysis Using General Purpose Logic Programming Systems  A Case Study.

PLDI 1996 
(0)

1996 

Conference paper
Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Theresa Swift.
Principles and Practice of Unification Factoring.

ACM Trans. Program. Lang. Syst. 1996, Volume 18 
(0)

1996 

Conference paper
C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar.
A Symbolic Constraint Solving Framework for Analysis of Logic Programs.

PEPM 1995 
(0)

1995 

Conference paper
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan.
Design and Implementation of Jump Tables for Fast Indexing of Logic Programs

Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 2022, 1995, Proceedings 1995 
(0)

1995 

Conference paper
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Theresa Swift.
Optimizing Clause Resolution: Beyond Unification Factoring.

ILPS 1995 
(0)

1995 

Conference paper
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Theresa Swift, David Scott Warren.
Unification Factoring for Efficient Execution of Logic Programs.

POPL 1995 
(0)

1995 

Conference paper
R. C. Sekar, YowJian Lin, C. R. Ramakrishnan.
Modelling techniques for evolving distributed applications.

Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 1995 
(0)

1994 

Conference paper
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar.
Extracting Determinacy in Logic Programs.

ICLP 1993 
(0)

1993 

Conference paper
Owen Kaser, C. R. Ramakrishnan, Shaunak Pawagi.
On the Conversion of Indirect to Direct Recursion.

LOPLAS 1993, Volume 2 
(0)

1993 

Conference paper
Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar.
Fast Parallel Implementation of Lazy Languages  The EQUALS Experience.

LISP and Functional Programming 1992 
(0)

1992 