Gagandeep Singh - Concepedia

Author

Gagandeep Singh

Also Known As

Arlene Campos, Ayla Al Kabbani, Cheung, David S., Craig Hacking, David Luong, Domenico Nicoletti, Dr. Gagandeep Singh, G. K. Singh, G. Singh, G.K. Singh

187

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

ETH Zurich Indian Institute of Information Technology Design and Manufacturing Jabalpur Indian Institute of Technology Roorkee University of Illinois Urbana-Champaign

About

Gagandeep Singh is an author at ETH Zurich specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	26	2K
2	Health Sciences	2	2	69
3	Medicine	2	2	73
4	Education	1	1	15
5	Language Studies	1	1	21

Gagandeep Singh

Publications

2.3K

Citations

H-Index

Page 1

	Year	Citations
An abstract domain for certifying neural networks Gagandeep Singh, Timon Gehr, Markus Püschel, Proceedings of the ACM on Programming Languages Artificial IntelligenceGeometric LearningConvolutional Neural NetworkEngineeringMachine Learning	2019	587
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 Search OptimizationEfficient MultilevelEngineeringFirefly AlgorithmRemote Sensing	2014	336
Fast and Effective Robustness Certification Gagandeep Singh, Timon Gehr, Matthew Mirman, neural information processing systems EngineeringVerificationRobustness TestingSoftware AnalysisFormal Verification	2018	260
An efficient method for multilevel color image thresholding using cuckoo search algorithm based on minimum cross entropy S. Pare, Anil Kumar, Varun Bajaj, Applied Soft Computing Search OptimizationMultilevel Color ImageImage AnalysisMinimum Cross EntropyEngineering	2017	93
Boosting Robustness Certification of Neural Networks. Gagandeep Singh, Timon Gehr, Markus Püschel, EngineeringMachine LearningRobustness CertificationVerificationAdversarial Machine Learning	2019	93
Fast polyhedra abstract domain Gagandeep Singh, Markus Püschel, Martin Vechev EngineeringComputational ComplexityComputer-aided DesignSoftware AnalysisFormal Verification	2016	84
Beyond the Single Neuron Convex Barrier for Neural Network Certification Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, neural information processing systems Convolutional Neural NetworkEngineeringMachine LearningScalable Convex RelaxationsSocial Sciences	2019	83
Swarm intelligence optimized piecewise gamma corrected histogram equalization for dark image enhancement Himanshu Singh, Anil Kumar, L. K. Balyan, Computers & Electrical Engineering Histogram EqualizationPiecewise GammaImage AnalysisImage Enhancement	2017	78
Adaptive filtering of EEG/ERP through Bounded Range Artificial Bee Colony (BR-ABC) algorithm Mitul Kumar Ahirwal, Anil Kumar, Gagandeep Singh Digital Signal Processing Adaptive FilterAdaptive FilteringEeg Signal ProcessingArtificial BeeBraincomputer Interface	2013	66
PRIMA: general and precise neural network certification via scalable convex hull approximations Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Proceedings of the ACM on Programming Languages Mathematical ProgrammingArtificial IntelligenceRealistic Neural NetworkGeometric LearningEngineering	2022	62

Page 1