New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.ET
2017
Exact Synthesis of Reversible Logic Circuits using Model Checking
Rajarshi Ray, Arup Deka, Kamalika Datta
cs.DC
2016
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Arup Deka, Ezio Bartocci +3