( en | de | ru )

 

Disambiguation of "Goel, Aman"

Author of the publication

copydeleteadd this publication to your clipboard
Automatically Constructing Semantic Web Services from Online Sources.

, , , , , , and . ISWC, volume 5823 of Lecture Notes in Computer Science, page 17-32. Springer, (2009)

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

Kanika Goel

Balbir Goel

Balbir Goel

 

Other publications of authors with the same name

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)Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation., , and . AAAI, page 1784-1785. AAAI Press, (2011)Automatically Constructing Semantic Web Services from Online Sources., , , , , , and . ISWC, volume 5823 of Lecture Notes in Computer Science, page 17-32. Springer, (2009)A general approach to discovering, registering, and extracting features from raster maps., , , , , and . DRR, volume 7534 of SPIE Proceedings, page 753402. SPIE, (2010)Towards Automatic Inference of Inductive Invariants., , , , , and . HotOS, page 30-36. ACM, (2019)I4: incremental inference of inductive invariants for verification of distributed protocols., , , , , and . SOSP, page 370-384. ACM, (2019)Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems., , , , , , and . USENIX ATC, page 151-166. USENIX Association, (2022)