default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbhishek Anand
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2016
[b1]Abhishek Anand:
Trust in Proof Assistants: Opportunities and Limitations. Cornell University, USA, 2016
Journal Articles
- 2023
- [j5]Abinash Tripathy
, Abhishek Anand, Virender Kadyan:
Sentiment classification of movie reviews using GA and NeuroGA. Multim. Tools Appl. 82(6): 7991-8011 (2023) - 2021
- [j4]Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu:
Charged particle tracking with quantum annealing optimization. Quantum Mach. Intell. 3(2): 1-11 (2021) - 2020
- [j3]Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter:
The MetaCoq Project. J. Autom. Reason. 64(5): 947-999 (2020) - 2017
- [j2]Abinash Tripathy, Abhishek Anand, Santanu Kumar Rath:
Document-level sentiment classification using hybrid machine learning approach. Knowl. Inf. Syst. 53(3): 805-831 (2017) - 2013
- [j1]Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena:
Contextually guided semantic labeling and search for three-dimensional point clouds. Int. J. Robotics Res. 32(1): 19-34 (2013)
Conference and Workshop Papers
- 2024
- [c12]Sayan Sarkar, Abhishek Anand:
An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator. VLSID 2024: 174-179 - 2021
- [c11]Ravi Kumar Arya, Abhishek Anand, Ayush Yadav, Akshat Gururani, Maxon Okramcha, Malay Ranjan Tripathy:
Compact Fractal Reader Antenna for RFID Applications. RFID-TA 2021: 71-73 - 2018
- [c10]Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau:
Towards Certified Meta-Programming with Typed Template-Coq. ITP 2018: 20-39 - 2015
- [c9]Maziar Fotouhi, Abhishek Anand, Ragib Hasan:
PLAG: Practical Landmark Allocation for Cloud Geolocation. CLOUD 2015: 1103-1106 - [c8]Abhishek Anand, Ross A. Knepper:
ROSCoq: Robots Powered by Constructive Reals. ITP 2015: 34-50 - 2014
- [c7]Abhishek Anand, Vincent Rahli:
Towards a Formally Verified Proof Assistant. ITP 2014: 27-44 - [c6]Abhishek Anand, Vincent Rahli:
A Generic Approach to Proofs about Substitution. LFMTP 2014: 5: 1-5: 8 - 2013
- [c5]Abhishek Anand, Vineet Padmanabhan:
Time Series Qlet: Invariant approach for data mining. IC3 2013: 24-29 - [c4]Vincent Rahli, Mark Bickford, Abhishek Anand:
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. ITP 2013: 261-278 - 2011
- [c3]Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena:
Semantic Labeling of 3D Point Clouds for Indoor Scenes. NIPS 2011: 244-252 - [c2]Maysam Yabandeh, Abhishek Anand, Marco Canini, Dejan Kostic:
Finding Almost-Invariants in Distributed Systems. SRDS 2011: 177-182 - 2009
- [c1]Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi:
QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks. ICDCN 2009: 306-317
Informal and Other Publications
- 2024
- [i9]Abhishek Anand, Negar Mokhberian, Prathyusha Naresh Kumar, Anweasha Saha, Zihao He, Ashwin Rao, Fred Morstatter, Kristina Lerman:
Don't Blame the Data, Blame the Model: Understanding Noise and Bias When Learning from Subjective Annotations. CoRR abs/2403.04085 (2024) - [i8]Ziyi Liu, Abhishek Anand, Pei Zhou, Jen-tse Huang, Jieyu Zhao:
InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context. CoRR abs/2406.12203 (2024) - 2023
- [i7]Alok Anand, Ivan Khokhlov, Abhishek Anand:
Heterogeneous ALU Architecture - Power Aware System. CoRR abs/2306.15092 (2023) - [i6]Alok Anand, Ivan Khokhlov, Abhishek Anand:
C3S Micro-architectural Enhancement: Spike Encoder Block and Relaxing Gamma Clock (Asynchronous). CoRR abs/2306.15093 (2023) - 2019
- [i5]Alexander Zlokapa, Abhishek Anand, Jean-Roch Vlimant, Javier M. Duarte, Joshua Job, Daniel A. Lidar, Maria Spiropulu:
Charged particle tracking with quantum annealing-inspired optimization. CoRR abs/1908.04475 (2019) - 2017
- [i4]Abhishek Anand, Greg Morrisett:
Revisiting Parametricity: Inductives and Uniformity of Propositions. CoRR abs/1705.01163 (2017) - 2012
- [i3]Abhishek Anand, Sherwin Li:
3D Scene Grammar for Parsing RGB-D Pointclouds. CoRR abs/1211.1752 (2012) - 2011
- [i2]Hema Swetha Koppula, Abhishek Anand, Thorsten Joachims, Ashutosh Saxena:
Labeling 3D scenes for Personal Assistant Robots. CoRR abs/1106.5551 (2011) - [i1]Abhishek Anand, Hema Swetha Koppula, Thorsten Joachims, Ashutosh Saxena:
Contextually Guided Semantic Labeling and Search for 3D Point Clouds. CoRR abs/1111.5358 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
