Arup Deka

According to our database, Arup Deka authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Exact Synthesis of Reversible Logic Circuits using Model Checking.

Rajarshi Ray, Arup Deka, Kamalika Datta

CoRR, 2017

2016

Parallel reachability analysis for hybrid systems.

Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016