Arup Deka
Identifiers
No identifiers captured yet.
Papers (2)
- Exact Synthesis of Reversible Logic Circuits using Model Checking cs.ET · 2017 · author #2
- Parallel Reachability Analysis for Hybrid Systems cs.DC · 2016 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Rajarshi Ray 2 shared papers
- Amit Gurung 1 shared papers
- Ezio Bartocci 1 shared papers
- Kamalika Datta 1 shared papers
- Radu Grosu 1 shared papers
- Sergiy Bogomolov 1 shared papers