Rajesh Kumar Thakur

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Transition Systems

Bounded Model Checking

Automated Verification

Alternating Time Temporal Logic

Top Venues

Publications

Rajesh Kumar Thakur, Y. N. Srikant
Efficient Compilation of Stream Programs for Heterogeneous Architectures: A Model-Checking based approach. SCOPES (2015)
Rajesh Kumar Thakur, Vivek Agarwal, Paluri S. V. Nataraj
A reliable and accurate calculation of excitation capacitance value for an induction generator based on interval computation technique. Int. J. Autom. Comput. 8 (4) (2011)
Rajesh Kumar Thakur, Animesh Tripathy, Ajoy Kumar Ray
A Design Framework of Digital Camera Images Using Edge Adaptive and Directionally Weighted Color Interpolation Algorithm. CSO (1) (2009)