Dibyendu Baksi

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

Publications

Dibyendu Baksi
Integrating MPI and deduplication engines: A software architecture roadmap. Int. J. Medical Informatics 78 (3) (2009)
Dibyendu Baksi
Model checking of healthcare domain models. Comput. Methods Programs Biomed. 96 (3) (2009)
Dibyendu Baksi
Formal interaction specification in public health surveillance systems using pi-calculus. Comput. Methods Programs Biomed. 92 (1) (2008)
Dibyendu Baksi, Kanti B. Datta, Goshaidas Ray
Necessary and sufficient conditions for stabilization of expanding systems servomechanism problems. Kybernetika 39 (4) (2003)
Dibyendu Baksi, Kanti B. Datta, Goshaidas Ray
Existence of pole-zero structures in a rational matrix equation arising in a decentralized stabilization of expanding systems. Kybernetika 38 (2) (2002)
Dibyendu Baksi, Vijay V. Patel, Kanti B. Datta, Goshaidas Ray
Decentralized stabilization and strong stabilization of a bicoprime factorized plant. Kybernetika 35 (2) (1999)