( en | de | ru )

 

Disambiguation of "Singh, Gagandeep"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of concrete verification models from C++.

, , , , and . DAC, page 942-947. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Arunoday Singh

Aditi Singh

Raminder Singh

Sikander Singh

Sudhir Singh

 

Other publications of authors with the same name

Construction of concrete verification models from C++., , , , and . DAC, page 942-947. ACM, (2008)Implementation of Kirchhoff-Helmholtz transform on GPU for use in digital in-line holographic microscopy., , , and . COMPUTE, page 9:1-9:9. ACM, (2014)Collusion-Resistant Processing of SQL Range Predicates., , , , and . Data Sci. Eng., 3 (4): 323-340 (2018)TDO-CIM: Transparent Detection and Offloading for Computation In-memory., , , , , , and . DATE, page 1602-1605. IEEE, (2020)Neural Network Robustness Verification on GPUs., , , and . CoRR, (2020)A Subclass of Bi-Univalent Functions Defined by Generalized Sãlãgean Operator Related to Shell-Like Curves Connected with Fibonacci Numbers., , and . Int. J. Math. Math. Sci., (2019)Stationary system-length distribution of Markovian bulk service queue with modified bulk service rule and dynamic service rates., , and . Int. J. Comput. Math. Comput. Syst. Theory, 7 (1): 42-62 (2022)Can tumor location on pre-treatment MRI predict likelihood of pseudo-progression versus tumor recurrence in Glioblastoma? A feasibility study., , , , , , , , , and 2 other author(s). CoRR, (2020)Casper: Accelerating Stencil Computation using Near-cache Processing., , , , , , and . CoRR, (2021)Efficient Two-Phase Offline Deep Reinforcement Learning from Preference Feedback., and . CoRR, (2024)