Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Exact Synthesis of Reversible Logic Circuits using Model Checking. - Rajarshi Ray 001; Arup Deka; Kamalika Datta (CoRR, 2017)