Edit Profile Saha, Diptikalyan Compute Distance To: Compute Author ID: saha.diptikalyan Published as: Saha, D.; Saha, Diptikalyan Documents Indexed: 8 Publications since 1991 Co-Authors 1 single-authored 3 Ramakrishnan, C. R. 1 Basu, Samik 1 Keller, Curtis W. 1 Smolka, Scott A. Serials Fields 5 Computer science (68-XX) 1 Combinatorics (05-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ An incremental bisimulation algorithm. Zbl 1135.68500Saha, Diptikalyan 3 2007 Symbolic support graph: A space efficient data structure for incremental tabled evaluation. Zbl 1165.68377Saha, Diptikalyan; Ramakrishnan, C. R. 1 2005 An incremental bisimulation algorithm. Zbl 1135.68500Saha, Diptikalyan 3 2007 Symbolic support graph: A space efficient data structure for incremental tabled evaluation. Zbl 1165.68377Saha, Diptikalyan; Ramakrishnan, C. R. 1 2005 all top 5 Cited by 10 Authors 2 Ćirić, Miroslav D. 2 Ignjatović, Jelena 2 Jančić, Ivana 1 Apinis, Kalmer 1 Bašić, Milan 1 Ceterchi, Rodica 1 Damljanović, Nada 1 Tomescu, Alexandru Ioan 1 Vene, Varmo 1 Vojdani, Vesal Cited in 3 Serials 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 4 Computer science (68-XX) Citations by Year