Search the dblp DataBase

Publications of Author

1. I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
   Efficient Tabling Mechanisms for Logic Programs. [Citation Graph (1, 0)][DBLP]
   ICLP, 1995, pp:697-711 [Conf]
   
2. Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren
   Dynamic Argument Reduction for In-memory Data Queries. [Citation Graph (0, 0)][DBLP]
   Workshop on Deductive Databases and Logic Programming, 1994, pp:117-129 [Conf]
   
3. Sandeep Bhatt, S. Raj Rajagopalan, Prasad Rao
   Federated Security Management for Dynamic Coalitions. [Citation Graph (0, 0)][DBLP]
   DISCEX (2), 2003, pp:47-48 [Conf]
   
4. Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
   A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:284-300 [Conf]
   
5. Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
   A Thread in Time Saves Tabling Time. [Citation Graph (0, 0)][DBLP]
   JICSLP, 1996, pp:112-126 [Conf]
   
6. Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan
   On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. [Citation Graph (0, 0)][DBLP]
   IJCSLP, 1998, pp:310-324 [Conf]
   
7. Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
   XSB: A System for Effciently Computing WFS. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1997, pp:431-441 [Conf]
   
8. I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
   Efficient Access Mechanisms for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1999, v:38, n:1, pp:31-54 [Journal]
   
9. 
   Analyzing end-to-end network reachability. [Citation Graph (, )][DBLP]
   
   
10. 
    Fast, Cheap, and in Control: Towards Pain-Free Security! [Citation Graph (, )][DBLP]
    
    
11. 
    Fast exact and heuristic methods for role minimization problems. [Citation Graph (, )][DBLP]