( en | de | ru )

 

Disambiguation of "Goel, Aman"

Author of the publication

copydeleteadd this publication to your clipboard
A general approach to discovering, registering, and extracting features from raster maps.

, , , , , and . DRR, volume 7534 of SPIE Proceedings, page 753402. SPIE, (2010)

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.

Vishal Goel

Gagan Goel

Balbir Goel

Kanika Goel

Balbir Goel

 

Other publications of authors with the same name

Towards an Automatic Proof of the Bakery Algorithm., , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 21-28. Springer, (2023)iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal., , , and . ICCAD, page 903-909. IEEE, (2015)SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols., , and . FMCAD, page 152-161. IEEE, (2023)Towards an Automatic Proof of Lamport's Paxos., and . FMCAD, page 112-122. IEEE, (2021)GlocalNet: Class-aware Long-term Human Motion Synthesis., , , , and . CoRR, (2020)Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding., , and . CoRR, (2022)From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols.. University of Michigan, USA, (2021)Regularity and quantification: a new approach to verify distributed protocols., and . Innov. Syst. Softw. Eng., 19 (4): 359-377 (December 2023)AVR: Abstractly Verifying Reachability., and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 413-422. Springer, (2020)Identifying Maps on the World Wide Web., , and . GIScience, volume 5266 of Lecture Notes in Computer Science, page 249-260. Springer, (2008)