The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Diptikalyan Saha: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka
    Generation of All Counter-Examples for Push-Down Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:79-94 [Conf]
  2. Samik Basu, Diptikalyan Saha, Scott A. Smolka
    Localizing Program Errors for Cimple Debugging. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:79-96 [Conf]
  3. Diptikalyan Saha, C. R. Ramakrishnan
    Incremental Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:392-406 [Conf]
  4. Diptikalyan Saha, C. R. Ramakrishnan
    Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:235-249 [Conf]
  5. Diptikalyan Saha, C. R. Ramakrishnan
    A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:56-71 [Conf]
  6. Diptikalyan Saha, C. R. Ramakrishnan
    Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:215-229 [Conf]
  7. Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
    Automatic Incrementalization of Prolog Based Static Analyses. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:109-123 [Conf]
  8. Diptikalyan Saha, C. R. Ramakrishnan
    Incremental and demand-driven points-to analysis using logic programming. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:117-128 [Conf]
  9. Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka
    FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:563-569 [Conf]

  10. Extending logical attack graphs for efficient vulnerability analysis. [Citation Graph (, )][DBLP]


  11. An Incremental Bisimulation Algorithm. [Citation Graph (, )][DBLP]


  12. A simple and efficient explicit parallelization of logic programs using low-level threading primitives [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002