Gagandeep Singh

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · Proceedings of the ACM on Programming Languages · 2019 · 598 citations · Full text

Computing, Computer Engineering, Computer Science +15

Modified artificial bee colony based computationally efficient multilevel thresholding for satellite image segmentation using Kapur’s, Otsu and Tsallis functions

Ashish Kumar Bhandari, Anil Kumar, Gagandeep Singh · Expert Systems with Applications · 2014 · 337 citations

Computing, Geoinformatics, Computer Vision +12

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman et al. · neural information processing systems · 2018 · 261 citations

Computing, Computer Engineering, Computer Science +10

An efficient method for multilevel color image thresholding using cuckoo search algorithm based on minimum cross entropy

S. Pare, Anil Kumar, Varun Bajaj et al. · Applied Soft Computing · 2017 · 94 citations

Natural Sciences, Computer Science, Mathematics +14

Boosting Robustness Certification of Neural Networks.

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · 2019 · 93 citations

Computing, Computer Engineering, Computer Science +12