Hitashyam Maka

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
Control software model checking using bisimulation functions for nonlinear systems. CDC (2008)
Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC (2008)
Anupam Chakraborty, Hitashyam Maka
Biclustering of Gene Expression Data Using Genetic Algorithm. CIBCB (2005)