Login / Signup
Kaustubh Nimkar
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Coal Mining
Cooperative
Multiresolution
Term Rewriting
Top Venues
Tiny Trans. Comput. Sci.
TACAS
CAV
FMCAD
</>
Publications
</>