Decentralized stabilization and strong stabilization of a bicoprime factorized plant. - Dibyendu Baksi; Vijay V. Patel; Kanti B. Datta; Goshaidas Ray (Kybernetika, 1999)

Existence of pole-zero structures in a rational matrix equation arising in a decentralized stabilization of expanding systems. - Dibyendu Baksi; Kanti B. Datta; Goshaidas Ray (Kybernetika, 2002)

Necessary and sufficient conditions for stabilization of expanding systems servomechanism problems. - Dibyendu Baksi; Kanti B. Datta; Goshaidas Ray (Kybernetika, 2003)

Formal interaction specification in public health surveillance systems using pi-calculus. - Dibyendu Baksi (Comput. Methods Programs Biomed., 2008)

Model checking of healthcare domain models. - Dibyendu Baksi (Comput. Methods Programs Biomed., 2009)

Integrating MPI and deduplication engines: A software architecture roadmap. - Dibyendu Baksi (Int. J. Medical Informatics, 2009)