Abhishek Anand

33 papers A* 1B 6Misc 2Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data.
CoRR
Abhishek Anand, Matthias C. Caro, Ari Karchmer, Saachi Mutreja
2025 J jnl
Smali code-based deep learning model for Android malware detection.
J. Supercomput.
Abhishek Anand, Jyoti Prakash Singh, Amit Kumar Singh
2025 J jnl
iZKP-AKA: A secure and improved ZKP-AKA protocol for sustainable healthcare.
Comput. Electr. Eng.
Shubham Kumar, Kanhaiya Kumar, Abhishek Anand, Awaneesh Kumar Yadav, Manoj Misra, An Braeken
2024 Misc conf
An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator.
VLSID
Sayan Sarkar, Abhishek Anand
2024 J jnl
Don't Blame the Data, Blame the Model: Understanding Noise and Bias When Learning from Subjective Annotations.
CoRR
Abhishek Anand, Negar Mokhberian, Prathyusha Naresh Kumar, Anweasha Saha, Zihao He, Ashwin Rao, Fred Morstatter, Kristina Lerman
2024 J jnl
Effectiveness of human resources development strategies on organizational performance: an empirical study.
Int. J. Syst. Assur. Eng. Manag.
Ram Kumar Dwivedi, Abhishek Anand, Anindita Chatterjee, H. Mickle Aancy, Sabbineni Poojitha
2024 A* conf
InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context.
EMNLP
Ziyi Liu, Abhishek Anand, Pei Zhou, Jen-tse Huang, Jieyu Zhao
2024 J jnl
InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context.
CoRR
Ziyi Liu, Abhishek Anand, Pei Zhou, Jen-tse Huang, Jieyu Zhao
2024 — conf
Smali Code-Based Fake Application Detection.
CICBA (1)
Abhishek Anand, Shivam, Tejas Manhas, Smriti Gupta
2023 J jnl
C3S Micro-architectural Enhancement: Spike Encoder Block and Relaxing Gamma Clock (Asynchronous).
CoRR
Alok Anand, Ivan Khokhlov, Abhishek Anand
2023 J jnl
Heterogeneous ALU Architecture - Power Aware System.
CoRR
Alok Anand, Ivan Khokhlov, Abhishek Anand
2023 J jnl
Sentiment classification of movie reviews using GA and NeuroGA.
Multim. Tools Appl.
Abinash Tripathy, Abhishek Anand, Virender Kadyan
2021 J jnl
Charged particle tracking with quantum annealing optimization.
Quantum Mach. Intell.
Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua A. Job, Daniel A. Lidar, Maria Spiropulu
2021 — conf
Compact Fractal Reader Antenna for RFID Applications.
RFID-TA
Ravi Kumar Arya, Abhishek Anand, Ayush Yadav, Akshat Gururani, Maxon Okramcha, Malay Ranjan Tripathy
2020 J jnl
The MetaCoq Project.
J. Autom. Reason.
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter
2019 J jnl
Charged particle tracking with quantum annealing-inspired optimization.
CoRR
Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua A. Job, Daniel A. Lidar, Maria Spiropulu
2018 B conf
Towards Certified Meta-Programming with Typed Template-Coq.
ITP
Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau
2017 J jnl
Document-level sentiment classification using hybrid machine learning approach.
Knowl. Inf. Syst.
Abinash Tripathy, Abhishek Anand, Santanu Kumar Rath
2017 J jnl
Revisiting Parametricity: Inductives and Uniformity of Propositions.
CoRR
Abhishek Anand, Greg Morrisett
2016 — —
Trust in Proof Assistants: Opportunities and Limitations.
Abhishek Anand
2015 B conf
PLAG: Practical Landmark Allocation for Cloud Geolocation.
CLOUD
Maziar Fotouhi, Abhishek Anand, Ragib Hasan
2015 B conf
ROSCoq: Robots Powered by Constructive Reals.
ITP
Abhishek Anand, Ross A. Knepper
2014 — conf
A Generic Approach to Proofs about Substitution.
LFMTP
Abhishek Anand, Vincent Rahli
2014 B conf
Towards a Formally Verified Proof Assistant.
ITP
Abhishek Anand, Vincent Rahli
2013 J jnl
Contextually guided semantic labeling and search for three-dimensional point clouds.
Int. J. Robotics Res.
Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena
2013 B conf
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.
ITP
Vincent Rahli, Mark Bickford, Abhishek Anand
2013 — conf
Time Series Qlet: Invariant approach for data mining.
IC3
Abhishek Anand, Vineet Padmanabhan
2012 J jnl
3D Scene Grammar for Parsing RGB-D Pointclouds
CoRR
Abhishek Anand, Sherwin Li
2011 J jnl
Contextually Guided Semantic Labeling and Search for 3D Point Clouds
CoRR
Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena
2011 B conf
Finding Almost-Invariants in Distributed Systems.
SRDS
Maysam Yabandeh, Abhishek Anand, Marco Canini, Dejan Kostic
2011 J jnl
Labeling 3D scenes for Personal Assistant Robots
CoRR
Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena
2011 — conf
Semantic Labeling of 3D Point Clouds for Indoor Scenes.
NIPS
Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena
2009 Misc conf
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks.
ICDCN
Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi