Hitashyam Maka

According to our database, Hitashyam Maka authored at least 3 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Model checking in-the-loop: Finding counterexamples by systematic simulation.

Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the American Control Conference, 2008

2005

Biclustering of Gene Expression Data Using Genetic Algorithm.

Anupam Chakraborty, Hitashyam Maka

Proceedings of the 2005 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2005