by Karfa, Chandan, Sarkar, Dipankar, Mandal, Chittaranjan
Published in IET Cyber-Physical Systems: Theory & Applications (01.09.2019)

by Debnath, Chirabrata, Pal, Manish, Sarkar, Dipankar
Published in Advances in engineering software (1992) (01.03.2023)

by Banerjee, Kunal, Sarkar, Dipankar, Mandal, Chittaranjan
Published in IEEE transactions on software engineering (01.10.2017)

by Banerjee, Kunal, Karfa, Chandan, Sarkar, Dipankar, Mandal, Chittaranjan
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.08.2014)

by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan, Giese, Holger
Published in Acta informatica (01.12.2022)

by Banerjee, Kunal, Sarkar, Dipankar, Mandal, Chittaranjan
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.12.2014)

by Ghosh, Partha, Sarkar, Dipankar, Sharma, Joy, Phadikar, Santanu
Published in International journal of digital crime and forensics (01.03.2021)

by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan
Published in Acta informatica (01.06.2019)

by Karfa, Chandan, Banerjee, Kunal, Sarkar, Dipankar, Mandal, Chittaranjan
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2013)

by Dutta, Sudakshina, Sarkar, Dipankar, Rawat, Arvind
Published in International journal of parallel programming (01.12.2017)

by Banerjee, Kunal, Sarkar, Dipankar, Mandal, Chittaranjan
Published in Formal aspects of computing (01.03.2017)

by Dey, Soumyajit, Sarkar, Dipankar, Basu, Anupam
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2010)

by Banerjee, Kunal, Mandal, Chittaranjan, Sarkar, Dipankar
Published in Automated Technology for Verification and Analysis

by Bandyopadhyay, Soumyadip, Sarkar, Dipankar, Mandal, Chittaranjan
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)

by Bandyopadhyay, Soumyadip, Sarkar, Santonu, Sarkar, Dipankar, Mandal, Chittaranjan
Published in Automated Technology for Verification and Analysis

by Karfa, C., Sarkar, D., Mandal, C.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2010)

by Dey, S., Sarkar, D., Basu, A.
Published in IEEE transactions on computers (01.10.2013)

by Chandan Karfa, Sarkar, D., Mandal, C., Kumar, P.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2008)

by Biswas, Santosh, Sarkar, Dipankar, Mukhopadhyay, Siddhartha
Published in International journal of systems science (01.07.2010)

by Bhowal, Prodip, Sarkar, Dipankar, Mukhopadhyay, Siddhartha, Basu, Anupam
Published in Information sciences (01.03.2007)