( en | de | ru )

 

Disambiguation of "Goel, Shubham"

Author of the publication

copydeleteadd this publication to your clipboard
What's Hard About Boolean Functional Synthesis?

, , , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 251-269. Springer, (2018)

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.

Shubham Gupta

Shubham Tulsiani

Vishal Goel

Gagan Goel

Kanika Goel

 

Other publications of authors with the same name

ABO: Dataset and Benchmarks for Real-World 3D Object Understanding., , , , , , , , , and 2 other author(s). CVPR, page 21094-21104. IEEE, (2022)Shape and Viewpoint Without Keypoints., , and . ECCV (15), volume 12360 of Lecture Notes in Computer Science, page 88-104. Springer, (2020)The More You See in 2D, the More You Perceive in 3D., , , , and . CVPR, page 20912-20922. IEEE, (2024)Differentiable Stereopsis: Meshes from multiple views using differentiable rendering., , and . CVPR, page 8625-8634. IEEE, (2022)Spatial Cognition from Egocentric Video: Out of Sight, Not Out of Mind., , , , , and . CoRR, (2024)Boolean functional synthesis: hardness and practical algorithms., , , , and . Formal Methods Syst. Des., 57 (1): 53-86 (2021)What's Hard About Boolean Functional Synthesis?, , , , and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 251-269. Springer, (2018)Identifying short-term interests from mobile app adoption pattern., , , and . CoRR, (2019)Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults., , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 169-187. (2017)Humans in 4D: Reconstructing and Tracking Humans with Transformers., , , , and . ICCV, page 14737-14748. IEEE, (2023)