QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks. - Abhishek Anand; Shikhar Sachan; Kalpesh Kapoor; Sukumar Nandi (ICDCN, 2009)

Semantic Labeling of 3D Point Clouds for Indoor Scenes. - Hema Swetha Koppula; Abhishek Anand; Thorsten Joachims; Ashutosh Saxena (NIPS, 2011)

Finding Almost-Invariants in Distributed Systems. - Maysam Yabandeh; Abhishek Anand; Marco Canini; Dejan Kostic (SRDS, 2011)

Labeling 3D scenes for Personal Assistant Robots - Hema Swetha Koppula; Abhishek Anand; Thorsten Joachims; Ashutosh Saxena (CoRR, 2011)

Contextually Guided Semantic Labeling and Search for 3D Point Clouds - Abhishek Anand; Hema Swetha Koppula; Thorsten Joachims; Ashutosh Saxena (CoRR, 2011)

3D Scene Grammar for Parsing RGB-D Pointclouds - Abhishek Anand; Sherwin Li (CoRR, 2012)

Time Series Qlet: Invariant approach for data mining. - Abhishek Anand; Vineet Padmanabhan (IC3, 2013)

Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. - Vincent Rahli; Mark Bickford; Abhishek Anand (ITP, 2013)

Contextually guided semantic labeling and search for three-dimensional point clouds. - Abhishek Anand; Hema Swetha Koppula; Thorsten Joachims; Ashutosh Saxena (Int. J. Robotics Res., 2013)

Towards a Formally Verified Proof Assistant. - Abhishek Anand; Vincent Rahli (ITP, 2014)

A Generic Approach to Proofs about Substitution. - Abhishek Anand; Vincent Rahli (LFMTP, 2014)

PLAG: Practical Landmark Allocation for Cloud Geolocation. - Maziar Fotouhi; Abhishek Anand; Ragib Hasan (CLOUD, 2015)

ROSCoq: Robots Powered by Constructive Reals. - Abhishek Anand; Ross A. Knepper (ITP, 2015)

Trust in Proof Assistants: Opportunities and Limitations. - Abhishek Anand (2016)

Revisiting Parametricity: Inductives and Uniformity of Propositions. - Abhishek Anand; Greg Morrisett (CoRR, 2017)

Document-level sentiment classification using hybrid machine learning approach. - Abinash Tripathy; Abhishek Anand; Santanu Kumar Rath (Knowl. Inf. Syst., 2017)

Towards Certified Meta-Programming with Typed Template-Coq. - Abhishek Anand; Simon Boulier; Cyril Cohen; Matthieu Sozeau; Nicolas Tabareau (ITP, 2018)

Charged particle tracking with quantum annealing-inspired optimization. - Alexander Zlokapa; Abhishek Anand; Jean-Roch Vlimant; Javier M. Duarte; Joshua A. Job; Daniel A. Lidar; Maria Spiropulu (CoRR, 2019)

The MetaCoq Project. - Matthieu Sozeau; Abhishek Anand; Simon Boulier; Cyril Cohen; Yannick Forster 002; Fabian Kunze; Gregory Malecha; Nicolas Tabareau; Théo Winterhalter (J. Autom. Reason., 2020)

Compact Fractal Reader Antenna for RFID Applications. - Ravi Kumar Arya; Abhishek Anand; Ayush Yadav; Akshat Gururani; Maxon Okramcha; Malay Ranjan Tripathy (RFID-TA, 2021)

Charged particle tracking with quantum annealing optimization. - Alexander Zlokapa; Abhishek Anand; Jean-Roch Vlimant; Javier M. Duarte; Joshua A. Job; Daniel A. Lidar; Maria Spiropulu (Quantum Mach. Intell., 2021)

Heterogeneous ALU Architecture - Power Aware System. - Alok Anand; Ivan Khokhlov; Abhishek Anand (CoRR, 2023)

C3S Micro-architectural Enhancement: Spike Encoder Block and Relaxing Gamma Clock (Asynchronous). - Alok Anand; Ivan Khokhlov; Abhishek Anand (CoRR, 2023)

Sentiment classification of movie reviews using GA and NeuroGA. - Abinash Tripathy; Abhishek Anand; Virender Kadyan (Multim. Tools Appl., 2023)

InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context. - Ziyi Liu; Abhishek Anand; Pei Zhou; Jen-tse Huang 001; Jieyu Zhao 001 (EMNLP, 2024)

An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator. - Sayan Sarkar; Abhishek Anand (VLSID, 2024)

Don't Blame the Data, Blame the Model: Understanding Noise and Bias When Learning from Subjective Annotations. - Abhishek Anand; Negar Mokhberian; Prathyusha Naresh Kumar; Anweasha Saha; Zihao He; Ashwin Rao; Fred Morstatter; Kristina Lerman (CoRR, 2024)

Effectiveness of human resources development strategies on organizational performance: an empirical study. - Ram Kumar Dwivedi; Abhishek Anand; Anindita Chatterjee; H. Mickle Aancy; Sabbineni Poojitha (Int. J. Syst. Assur. Eng. Manag., 2024)

iZKP-AKA: A secure and improved ZKP-AKA protocol for sustainable healthcare. - Shubham Kumar; Kanhaiya Kumar; Abhishek Anand; Awaneesh Kumar Yadav; Manoj Misra; An Braeken (Comput. Electr. Eng., 2025)

Smali code-based deep learning model for Android malware detection. - Abhishek Anand; Jyoti Prakash Singh; Amit Kumar Singh 001 (J. Supercomput., 2025)