|
Search the dblp DataBase
Diptikalyan Saha:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Samik Basu, Diptikalyan Saha, Scott A. Smolka
Localizing Program Errors for Cimple Debugging. [Citation Graph (0, 0)][DBLP] FORTE, 2004, pp:79-96 [Conf]
- Diptikalyan Saha, C. R. Ramakrishnan
Incremental Evaluation of Tabled Logic Programs. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:392-406 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Extending logical attack graphs for efficient vulnerability analysis. [Citation Graph (, )][DBLP]
An Incremental Bisimulation Algorithm. [Citation Graph (, )][DBLP]
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
|