Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: C. R.
    Last name: Ramakrishnan
    DBLP: r/CRRamakrishnan
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 91 of 91  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Arun Nampally, C. R. Ramakrishnan.
    Adaptive MCMC-Based Inference in Probabilistic Logic Programs.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Radu Grosu, Doron Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang.
    Compositional Branching-Time 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
    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 role-based 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 26-April 3, 2011 2011 (0) 2011
    Conference paper
    Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan.
    Policy analysis for Administrative Role-Based 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.
    Query-Based Model Checking of Ad Hoc Network Protocols.
    CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 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 3-5, 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 click-streams.
    Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 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 4-6, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka.
    Power Optimization in Fault-Tolerant 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 in-network evaluation of integrated logical-statistical models.
    Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 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 28-31, 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 Sarna-Starosta, C. R. Ramakrishnan.
    Compiling Constraint Handling Rules for Efficient Tabled Evaluation.
    Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. 2007 (0) 2007
    Conference paper
    Hai-Feng 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, (CSFW-19 2006), 5-7 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 17-20, 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 17-20, 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 9-10, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Ping Yang, Samik Basu, C. R. Ramakrishnan.
    Parameterized Verification of pi-Calculus 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 2-5, 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 10-11, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Diptikalyan Saha, C. R. Ramakrishnan.
    Incremental and demand-driven points-to analysis using logic programming.
    Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 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, Hai-Feng 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 7-9, 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 Logic-Based Program Development 2004 (0) 2004
    Conference paper
    Ping Yang, C. R. Ramakrishnan, Scott A. Smolka.
    A logical encoding of the pi-calculus: 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 Ultes-Nitsche.
    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 Model-Checking Proofs.
    Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 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 Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA 2003 (0) 2003
    Conference paper
    Beata Sarna-Starosta, C. R. Ramakrishnan.
    Constraint-Based Model Checking of Data-Independent Systems.
    Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Giridhar Pemmasani, Hai-Feng 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 9-13, 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 9-13, 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 7-11, 2003, Proceedings 2003 (0) 2003
    Conference paper
    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, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings 2003 (0) 2003
    Conference paper
    Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka.
    Vacuity Checking in the Modal Mu-Calculus.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Efficient Real-Time 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
    Hai-Feng 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 17-20,2002, Revised Selected Papers 2003 (0) 2002
    Conference paper
    Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan.
    Resource-Constrained 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 8-12, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan.
    Beyond Tamaki-Sato 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.
    Model-Based 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
    Hai-Feng 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.
    Model-Carrying Code (MCC): a new paradigm for mobile-code security.
    Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft, New Mexico, USA, September 10-13, 2001 2001 (0) 2001
    Conference paper
    C. R. Ramakrishnan.
    A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.
    Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 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 logic-based 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 Logic-Programming-Based Verification Toolset.
    Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 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 22-25, 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.
    Real-Time 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 Real-Time Systems.
    Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), Orlando, Florida, USA, 27-30 November 2000 2000 (0) 2000
    Conference paper
    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 - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao.
    A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs.
    Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 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, RTA-99, Trento, Italy, July 2-4, 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 i-Protocol: 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 22-28, 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 Subsumption-based 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 16-18, 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 SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 1-3, 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.
    Tabulation-based 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, Terrance Swift, David Scott Warren.
    Efficient Model Checking Using Tabled Resolution.
    Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 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, 22-24, 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, Terrance 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 20-22, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance 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, Terrance Swift, David Scott Warren.
    Unification Factoring for Efficient Execution of Logic Programs.
    POPL 1995 (0) 1995
    Conference paper
    R. C. Sekar, Yow-Jian 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
    Show item 1 to 91 of 91  

    Your query returned 91 matches in the database.