Sandeep Kohli

Publication Activity (10 Years)

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

Publications

Janees Elamkulam, Ziv Glazberg, Ishai Rabinovitz, Gururaja Kowlali, Satish Chandra Gupta, Sandeep Kohli, Sai Dattathrani, Claudio Paniagua Macia
Detecting Design Flaws in UML State Charts for Embedded Software. Haifa Verification Conference (2006)
U. Nagaraj Shenoy, Y. N. Srikant, Vijay P. Bhatkar, Sandeep Kohli
Automatic Data Partitioning by Hierarchical Genetic Search. Parallel Algorithms Appl. 14 (2) (1999)