default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManish Pandey
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Kalyani Roy
, Pawan Goyal, Manish Pandey:
Exploring generative frameworks for product attribute value extraction. Expert Syst. Appl. 243: 122850 (2024)- [j12]Remco van der Hofstad, Manish Pandey:
Connectivity of random graphs after centrality-based vertex removal. J. Appl. Probab. 61(3): 967-998 (2024) - [j11]Lalit Kumar, Manish Pandey, Mitul Kumar Ahirwal:
A Survey on Parallel Nature Inspired Algorithms. Wirel. Pers. Commun. 138(3): 1893-1918 (2024) - [c16]Manish Pandey, Harkeerat Kaur, Sudipta Basak, Isao Echizen:
Privacy-Preserving Location-Based Services: A DQN Algorithmic Perspective. AINA (4) 2024: 384-399 - [c15]Manish Pandey, Young-Woo Kwon:
FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution. SAC 2024: 131-138 - 2023
- [j10]Duong Tran Anh, Manish Pandey, Varun Narayan Mishra, Kiran Kumari Singh, Kourosh Ahmadi, Saeid Janizadeh, Thanh-Hai Tran, Nguyen Thi Thuy Linh, Nguyen Mai Dang:
Assessment of groundwater potential modeling using support vector machine optimization based on Bayesian multi-objective hyperparameter algorithm. Appl. Soft Comput. 132: 109848 (2023) - [j9]Lalit Kumar, Manish Pandey, Mitul Kumar Ahirwal:
Parallel Global Best-Worst Particle Swarm Optimization Algorithm for solving optimization problems. Appl. Soft Comput. 142: 110329 (2023) - [j8]Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey:
Subject wise data augmentation based on balancing factor for quaternary emotion recognition through hybrid deep learning model. Biomed. Signal Process. Control. 86(Part A): 105075 (2023) - [j7]Santosh Kumar Sahu, Manish Pandey:
An optimal hybrid multiclass SVM for plant leaf disease detection using spatial Fuzzy C-Means model. Expert Syst. Appl. 214: 118989 (2023) - [j6]Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey:
Quaternary classification of emotions based on electroencephalogram signals using hybrid deep learning model. J. Ambient Intell. Humaniz. Comput. 14(3): 2429-2441 (2023) - [j5]Khushboo Singh, Mitul Kumar Ahirwal, Manish Pandey:
Mental Health Monitoring Using Deep Learning Technique for Early-Stage Depression Detection. SN Comput. Sci. 4(6): 701 (2023) - [j4]Santosh Kumar Sahu, Manish Pandey:
Hybrid Xception transfer learning with crossover optimized kernel extreme learning machine for accurate plant leaf disease detection. Soft Comput. 27(19): 13797-13811 (2023) - [c14]Manish Pandey, Young-Woo Kwon:
Optimizing Memory Allocation in a Serverless Architecture through Function Scheduling. CCGridW 2023: 275-277 - 2021
- [j3]Romulus Costache, Alireza Arabameri, Thomas Blaschke, Quoc Bao Pham, Binh Thai Pham, Manish Pandey, Aman Arora, Nguyen Thi Thuy Linh, Iulia Costache:
Flash-Flood Potential Mapping Using Deep Learning, Alternating Decision Trees and Data Provided by Remote Sensing Sensors. Sensors 21(1): 280 (2021) - [c13]Irshad Khan, Manish Pandey, Young-Woo Kwon:
An earthquake alert system based on a collaborative approach using smart devices. MOBILESoft@ICSE 2021: 61-64 - [c12]Manish Pandey, Breno Dantas Cruz, Minh Le, Young-Woo Kwon, Eli Tilevich:
Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications. SMDS 2021: 61-71 - 2020
- [c11]Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv:
ML for CAD - Where is the Treasure Hiding? MLCAD 2020: 137 - [d1]Manish Pandey:
Case Fatality Rate, Attack Rate Data of COVID-19. IEEE DataPort, 2020
- [i1]Sina J. Semnani, Manish Pandey:
Revisiting the Open-Domain Question Answering Pipeline. CoRR abs/2009.00914 (2020)
2010 – 2019
- 2019
- [c10]Manish Pandey, Rituparna Datta, Rajarshi Dey, Bishakh Bhattacharya:
Multi-objective Optimisation of Dynamic Responses for a Rail Freight Wagon using Regression Models. ICCI*CC 2019: 361-365 - 2018
- [c9]Manish Pandey:
Machine learning and systems for building the next generation of EDA tools. ASP-DAC 2018: 411-415 - 2017
- [c8]Manish Pandey, P. K. Sharma:
Remote sensing and GIS based watershed prioritization. IGARSS 2017: 6182-6185 - 2016
- [c7]Manish Pandey:
Machine learning and systems for the next frontier in formal verification. FMCAD 2016: 4
2000 – 2009
- 2003
- [j2]Li-C. Wang, Tao Feng, Kwang-Ting (Tim) Cheng, Magdy S. Abadir, Manish Pandey:
Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems. Des. Autom. Embed. Syst. 8(2-3): 173-188 (2003) - [c6]Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir:
Enhanced symbolic simulation for efficient verification of embedded array systems. ASP-DAC 2003: 302-307
1990 – 1999
- 1999
- [j1]Manish Pandey, Randal E. Bryant:
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(7): 918-935 (1999) - 1997
- [c5]Manish Pandey, Randal E. Bryant:
Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation. CAV 1997: 244-255 - [c4]Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir:
Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. DAC 1997: 167-172 - 1996
- [c3]Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant:
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. DAC 1996: 649-654 - [c2]Neeta Ganguly, Magdy S. Abadir, Manish Pandey:
PowerPCTM Array Verification Methodology using Formal Techniques. ITC 1996: 857-864 - 1995
- [c1]Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain:
Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD 1995: 596-601
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-11-07 20:31 CET 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:
