Abhishek Nair

According to our database, Abhishek Nair authored at least 5 papers between 2019 and 2022.

Collaborative distances:

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

2022

Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.

Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

CoRR, 2022

Automatic Hardware Trojan Insertion using Machine Learning.

Jonathan Cruz, Pravin Gaikwad, Abhishek Nair, Prabuddha Chakraborty, Swarup Bhunia

CoRR, 2022

2020

SIGNED: A Challenge-Response Based Interrogation Scheme for Simultaneous Watermarking and Trojan Detection.

Abhishek Nair, Patanjali SLPSK, Chester Rebeiro, Swarup Bhunia

CoRR, 2020

Generalised fuzzy cognitive maps: Considering the time dynamics between a cause and an effect.

Abhishek Nair, Diana Reckien, Martin F. A. M. van Maarseveen

Appl. Soft Comput., 2020

2019

A generalised fuzzy cognitive mapping approach for modelling complex systems.

Abhishek Nair, Diana Reckien, Martin F. A. M. van Maarseveen

Appl. Soft Comput., 2019