( en | de | ru )

 

Disambiguation of "Goel, Aman"

Author of the publication

copydeleteadd this publication to your clipboard
Karma: A System for Mapping Structured Sources into the Semantic Web.

, , , , , and . ESWC (Satellite Events), volume 7540 of Lecture Notes in Computer Science, page 430-434. Springer, (2012)

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

Viktor Aman

Kanika Goel

Balbir Goel

 

Other publications of authors with the same name

Identifying Maps on the World Wide Web., , and . GIScience, volume 5266 of Lecture Notes in Computer Science, page 249-260. Springer, (2008)GlocalNet: Class-aware Long-term Human Motion Synthesis., , , , and . CoRR, (2020)Regularity and quantification: a new approach to verify distributed protocols., and . Innov. Syst. Softw. Eng., 19 (4): 359-377 (December 2023)From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols.. University of Michigan, USA, (2021)Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding., , and . Comput. Graph. Forum, 41 (8): 327-338 (December 2022)AVR: Abstractly Verifying Reachability., and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 413-422. Springer, (2020)Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction., and . NFM, volume 11460 of Lecture Notes in Computer Science, page 166-185. Springer, (2019)Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs., and . DATE, page 618-621. IEEE, (2019)On Symmetry and Quantification: A New Approach to Verify Distributed Protocols., and . NFM, volume 12673 of Lecture Notes in Computer Science, page 131-150. Springer, (2021)GlocalNet: Class-aware Long-term Human Motion Synthesis., , , , and . WACV, page 878-887. IEEE, (2021)