1
Publications
36
Citations
1
H-Index
2013
Active since
Affiliations
The University of Texas at Austin(Current)
Himanshu Chauhan is an author at The University of Texas at Austin specializing in computational linguistics, semantics, and knowledge discovery.
Top concepts
LanguageSemanticsEngineeringSemantic WebVerificationFormal MethodsComputer ScienceProgram AnalysisParallel ComputingAutomated Reasoning
Publications per year
2013–2013
1
1
A Distributed Abstraction Algorithm for Online Predicate Detection
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan et al. · 2013 · 36 citations
Rows per page
1–1 of 1