The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of C. R. Ramakrishnan Cartic R. Ramakrishnan ( http://dblp.L3S.de/Authors/C._R._Ramakrishnan )

URL (Homepage):  http://www.cs.sunysb.edu/~cram/  Author page on DBLP  Author page in RDF  Community of C. R. Ramakrishnan in ASPL-2

Publication years (Num. hits)
1992-1998 (21) 1999-2000 (15) 2001-2003 (19) 2004-2006 (15) 2007-2011 (17) 2012-2018 (18) 2019 (1)
Publication types (Num. hits)
article(29) incollection(2) inproceedings(72) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 31 keywords

Results
Found 107 publication records. Showing 106 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sarthak Ghosh, C. R. Ramakrishnan Value of Information in Probabilistic Logic Programs. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arun Nampally, Timothy Zhang, C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Arun Nampally, Timothy Zhang, C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan State-space search with tabled logic programs. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrey Gorlin, C. R. Ramakrishnan Separable GPL: Decidable Model Checking with More Non-Determinism. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sarthak Ghosh, C. R. Ramakrishnan Optimal Value of Information in Dynamic Bayesian Networks. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ezio 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. Search on Bibsonomy STTT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrey Gorlin, C. R. Ramakrishnan XPL: An extended probabilistic logic for probabilistic transition systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Arun Nampally, C. R. Ramakrishnan Inference in Probabilistic Logic Programs using Lifted Explanations. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Arun Nampally, C. R. Ramakrishnan Inference in Probabilistic Logic Programs Using Lifted Explanations. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arun Nampally, Cartic R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy PLP@ICLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Arun Nampally, C. R. Ramakrishnan Adaptive MCMC-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang Using Statistical Model Checking for Measuring Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang Compositional Branching-Time Measurements. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, C. R. Ramakrishnan (eds.) Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings Search on Bibsonomy SPIN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan Parameter Learning in PRISM Programs with Continuous Random Variables Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka Model Checking with Probabilistic Tabled Logic Programming Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan Inference in probabilistic logic programs with continuous random variables. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka Model checking with probabilistic tabled logic programming. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Amit Sasturkar, Ping Yang 0002, Scott D. Stoller, C. R. Ramakrishnan Policy analysis for Administrative Role-Based Access Control. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan Inference in Probabilistic Logic Programs with Continuous Random Variables Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Scott D. Stoller, Ping Yang 0002, Mikhail I. Gofman, C. R. Ramakrishnan Symbolic reachability analysis for parameterized administrative role-based access control. Search on Bibsonomy Computers & Security The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka Model Repair for Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anu Singh, C. R. Ramakrishnan, Scott A. Smolka A process calculus for Mobile Ad Hoc Networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jalal Mahmud, Yevgen Borodin, I. V. Ramakrishnan, C. R. Ramakrishnan Automated construction of web accessibility models from transaction click-streams. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF machine learning, context, process models, web transaction
1Scott D. Stoller, Ping Yang 0002, Mikhail I. Gofman, C. R. Ramakrishnan Symbolic reachability analysis for parameterized administrative role based access control. Search on Bibsonomy SACMAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized administrative role based access control, security policy analysis
1Anu Singh, C. R. Ramakrishnan, Scott A. Smolka Query-Based Model Checking of Ad Hoc Network Protocols. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong A methodology for in-network evaluation of integrated logical-statistical models. Search on Bibsonomy SenSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF in-network analysis, logical-statistical models, sensor networks
1C. R. Ramakrishnan, Jakob Rehof (eds.) 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 Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Anu Singh, C. R. Ramakrishnan, Scott A. Smolka A Process Calculus for Mobile Ad Hoc Networks. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren XcelLog: a deductive spreadsheet system. Search on Bibsonomy Knowledge Eng. Review The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan Precise specification matching for adaptive reuse in embedded systems. Search on Bibsonomy J. Applied Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Beata Sarna-Starosta, C. R. Ramakrishnan Compiling Constraint Handling Rules for Efficient Tabled Evaluation. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Scott D. Stoller, Ping Yang 0002, C. R. Ramakrishnan, Mikhail I. Gofman Efficient policy analysis for administrative role based access control. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren Security policy analysis using deductive spreadsheets. Search on Bibsonomy FMSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SELinux policy, security policy analysis, vulnerability analysis
1Samik Basu 0001, C. R. Ramakrishnan Compositional analysis for verification of parameterized systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Diptikalyan Saha, C. R. Ramakrishnan Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Amit Sasturkar, Ping Yang 0002, Scott D. Stoller, C. R. Ramakrishnan Policy Analysis for Administrative Role Based Access Control. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren Deductive Spreadsheets Using Tabled Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Diptikalyan Saha, C. R. Ramakrishnan A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan Parameterized Verification of pi-Calculus Systems. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ping Yang 0002, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Diptikalyan Saha, C. R. Ramakrishnan Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Diptikalyan Saha, C. R. Ramakrishnan Incremental and demand-driven points-to analysis using logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF demand-drive analysis, logic programming, pointer analysis, incremental analysis
1Ping Yang 0002, C. R. Ramakrishnan, Scott A. Smolka A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
1Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche Introduction to the Special Issue on Verification and Computational Logic. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan An unfold/fold transformation framework for definite logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inductive theorem proving, Logic programming, program transformation, unfolding, folding
1L. Robert Pokorny, C. R. Ramakrishnan Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. Search on Bibsonomy DALT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan Online Justification for Tabled Logic Programs. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, C. R. Ramakrishnan Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka Model Checking and Evidence Exploration. Search on Bibsonomy ECBS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka Evidence Explorer: A Tool for Exploring Model-Checking Proofs. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Beata Sarna-Starosta, C. R. Ramakrishnan Constraint-Based Model Checking of Data-Independent Systems. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Diptikalyan Saha, C. R. Ramakrishnan Incremental Evaluation of Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan Online Justification for Tabled Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, C. R. Ramakrishnan Compositional Analysis for Verification of Parameterized Systems. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ping Yang 0002, C. R. Ramakrishnan, Scott A. Smolka A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan, R. C. Sekar Model-Based Analysis of Configuration Vulnerabilities. Search on Bibsonomy Journal of Computer Security The full citation details ... 2002 DBLP  BibTeX  RDF
1Shriram Krishnamurthi, C. R. Ramakrishnan (eds.) Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka Vacuity Checking in the Modal Mu-Calculus. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan Resource-Constrained Model Checking of Recursive Programs. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan Justification Based on Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan Speculative Beats Conservative Justification. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka Model-Carrying Code (MCC): a new paradigm for mobile-code security. Search on Bibsonomy NSPW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF information assurance, mobile code security
1Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka Real-Time Verification Techniques for Untimed Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan Tabled logic programming for verification and program analysis. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren Specification and evaluation of logic-based model checking. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan XMC: A Logic-Programming-Based Verification Toolset. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. Search on Bibsonomy RTSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka Verification of Parameterized Systems Using Logic Program Transformations. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan Justifying proofs using memo tables. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1C. R. Ramakrishnan Verification Using Tabled Logic Programming. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yifei 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. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari 0001 Normalization via Rewrite Closures. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yifei Dong, C. R. Ramakrishnan An Optimizing Compiler for Efficient Model Checking. Search on Bibsonomy FORTE The full citation details ... 1999 DBLP  BibTeX  RDF
1Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson Modeling and Analysis of Interactions in Virtual Enterprises. Search on Bibsonomy RIDE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies
1Owen Kaser, C. R. Ramakrishnan Evaluating Inlining Techniques. Search on Bibsonomy Comput. Lang. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Baoqiu 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. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan Logic Based Modeling and Analysis of Workflows. Search on Bibsonomy PODS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Optimization of Logic Programs, Program Specialization, Determinacy
1Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka Tabulation-based Induction Proofs with Application to Automated Verification. Search on Bibsonomy TAPD The full citation details ... 1998 DBLP  BibTeX  RDF
1Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar EQUALS - A Fast Parallel Implementation of a Lazy Language. Search on Bibsonomy J. Funct. Program. The full citation details ... 1997 DBLP  BibTeX  RDF
1Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren Efficient Model Checking Using Tabled Resolution. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift Principles and Practice of Unification Factoring. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF trie minimization, logic programming, indexing, unification
1Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan A Thread in Time Saves Tabling Time. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, David Scott Warren Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan Subsumption Algorithms Based on Search Trees. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift Optimizing Clause Resolution: Beyond Unification Factoring. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar A Symbolic Constraint Solving Framework for Analysis of Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 106 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license