| Semantic labeling of 3d point clouds for indoor scenes H Koppula, A Anand, T Joachims, A Saxena Advances in neural information processing systems 24, 2011 | 466 | 2011 |
| Weather forecasting model using artificial neural network K Abhishek, MP Singh, S Ghosh, A Anand Procedia Technology 4, 311-318, 2012 | 358 | 2012 |
| Contextually guided semantic labeling and search for three-dimensional point clouds A Anand, HS Koppula, T Joachims, A Saxena The International Journal of Robotics Research 32 (1), 19-34, 2013 | 257 | 2013 |
| Document-level sentiment classification using hybrid machine learning approach A Tripathy, A Anand, SK Rath Knowledge and Information Systems 53, 805-831, 2017 | 130 | 2017 |
| CertiCoq: A verified compiler for Coq A Anand, A Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ... The third international workshop on Coq for programming languages (CoqPL), 2017 | 130 | 2017 |
| Review of hierarchical control strategies for DC microgrid A Abhishek, A Ranjan, S Devassy, B Kumar Verma, SK Ram, AK Dhakar IET Renewable Power Generation 14 (10), 1631-1640, 2020 | 119 | 2020 |
| Three new estimates of India's all-cause excess mortality during the COVID-19 pandemic A Anand, J Sandefur, A Subramanian Center for Global Development, 2021 | 102 | 2021 |
| The metacoq project M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ... Journal of automated reasoning 64 (5), 947-999, 2020 | 102 | 2020 |
| Evaluation of Bacillus subtilis R0179 on gastrointestinal viability and general wellness: a randomised, double-blind, placebo-controlled trial in healthy adults A Hanifi, T Culpepper, V Mai, A Anand, AL Ford, M Ukhanova, ... Beneficial Microbes 6 (1), 19-27, 2015 | 77 | 2015 |
| Towards Certified Meta-Programming with Typed Template-Coq A Anand, S Boulier, C Cohen, M Sozeau, N Tabareau International Conference on Interactive Theorem Proving, 20-39, 2018 | 64 | 2018 |
| Circulating Tumor Cell cluster phenotype allows monitoring response to treatment and predicts survival A Balakrishnan, D Koppaka, A Anand, B Deb, G Grenci, V Viasnoff, ... Scientific Reports 9 (1), 7933, 2019 | 56 | 2019 |
| Towards a formally verified proof assistant A Anand, V Rahli Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014 | 51 | 2014 |
| ROSCoq: Robots powered by constructive reals A Anand, R Knepper Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015 | 48 | 2015 |
| Charged particle tracking with quantum annealing optimization A Zlokapa, A Anand, JR Vlimant, JM Duarte, J Job, D Lidar, M Spiropulu Quantum Machine Intelligence 3, 1-11, 2021 | 45 | 2021 |
| An overview on economic machining of hardened steels by hard turning and its process variables A Anand, AK Behera, SR Das Manufacturing Review 6, 4, 2019 | 42 | 2019 |
| Protocol development for real-time ship fuel sulfur content determination using drone based plume sniffing microsensor system A Anand, P Wei, NK Gali, L Sun, F Yang, D Westerdahl, Q Zhang, Z Deng, ... Science of The Total Environment 744, 140885, 2020 | 32 | 2020 |
| Indian summer monsoon simulations: Usefulness of increasing horizontal resolution, manual tuning, and semi-automatic tuning in reducing present-day model biases A Anand, SK Mishra, S Sahany, M Bhowmick, JS Rawat, SK Dash Scientific reports 8 (1), 3522, 2018 | 32 | 2018 |
| Escherichia coli populations in unpredictably fluctuating environments evolve to face novel stresses through enhanced efflux activity SM Karve, S Daniel, YD Chavhan, A Anand, SS Kharola, S Dey Journal of evolutionary biology 28 (5), 1131-1143, 2015 | 31 | 2015 |
| Proposed symmetric key cryptography algorithm for data security A Anand, A Raj, R Kohli, V Bibhu 2016 International Conference on Innovation and Challenges in Cyber Security …, 2016 | 29 | 2016 |
| Development and evaluation of a robust temperature sensitive algorithm for long term NO2 gas sensor network data correction P Wei, L Sun, A Anand, Q Zhang, Z Huixin, Z Deng, Y Wang, Z Ning Atmospheric environment 230, 117509, 2020 | 28 | 2020 |
