Biclustering of Gene Expression Data Using Genetic Algorithm. - Anupam Chakraborty; Hitashyam Maka (CIBCB, 2005)

Model checking in-the-loop: Finding counterexamples by systematic simulation. - Flavio Lerda; James Kapinski; Hitashyam Maka; Edmund M. Clarke; Bruce H. Krogh (ACC, 2008)

Control software model checking using bisimulation functions for nonlinear systems. - James Kapinski; Alexandre Donzé; Flavio Lerda; Hitashyam Maka; Silke Wagner; Bruce H. Krogh (CDC, 2008)