MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Diptikalyan Saha" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Incremental Maintenance of Recursive Views with Applications to Tabled Logic Programming
by Diptikalyan Saha
… Diptikalyan Saha Department of Computer Science, State University of New York at Stony Brook Stony Brook, New…
Add To MetaCart

Extending Logical Attack Graphs for Efficient Vulnerability Analysis
by Diptikalyan Saha
…Extending Logical Attack Graphs for Efficient Vulnerability Analysis Diptikalyan Saha Motorola…
Add To MetaCart

Incremental and demand-driven points-to analysis using logic programming
by Diptikalyan Saha — 2005 — In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming
…Incremental and Demand-driven Points-To Analysis Using Logic Programming ABSTRACT Diptikalyan Saha…
Cited by 11 (6 self) – Add To MetaCart

A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
by Diptikalyan Saha, C. R. Ramakrishnan
…A Local Algorithm for Incremental Evaluation of Tabled Logic Programs Diptikalyan Saha and C. R…
Add To MetaCart

Incremental evaluation of tabled prolog: Beyond pure logic programs
by Diptikalyan Saha, C. R. Ramakrishnan — 2006 — Lecture Notes in Computer Science
… Incremental Evaluation of Tabled Prolog:Beyond Pure Logic Programs Diptikalyan Saha and C. R…
Cited by 5 (3 self) – Add To MetaCart

Symbolic support graph: A space-efficient data structure for incremental tabled evaluation
by Diptikalyan Saha, C. R. Ramakrishnan — 2005 — In Proceedings of ICLP
… ⋆ Diptikalyan Saha and C. R. Ramakrishnan Department of Computer Science, State University of New York at Stony…
Cited by 4 (3 self) – Add To MetaCart

Incremental evaluation of tabled logic programs
by Diptikalyan Saha, C. R. Ramakrishnan — 2003 — In ICLP, volume 2916 of LNCS
… Incremental Evaluation of Tabled Logic Programs Diptikalyan Saha and C. R. Ramakrishnan…
Cited by 12 (8 self) – Add To MetaCart

S.A.: Localizing programs errors for cimple debugging
by Samik Basu, Diptikalyan Saha, Scott A. Smolka — 2004 — In International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), volume 3235 of LNCS
…Localizing Program Errors for Cimple Debugging � Samik Basu � , Diptikalyan Saha � , and Scott A…
Cited by 2 (0 self) – Add To MetaCart

Focuscheck: A tool for model checking and debugging sequential c programs
by Curtis W. Keller, Diptikalyan Saha, Scott A. Smolka — 2005 — In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440 of LNCS
… , Diptikalyan Saha 2 ,SamikBasu 1 , and Scott A. Smolka 2 1 Department of Computer Science, Iowa State…
Cited by 2 (1 self) – Add To MetaCart

Generation of all counter-examples for push-down systems
by Samik Basu, Diptikalyan Saha, Yow-jian Lin, Scott A. Smolka — 2003 — In Proceedings of FORTE
…Generation of All Counter-Examples for Push-Down Systems Samik Basu, Diptikalyan Saha, Yow…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB