default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMengjun Li
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
[j25]Junwei Ou
, Xiaolu Liu, Lining Xing, Jimin Lv, Yaru Hu, Jinhua Zheng, Juan Zou, Mengjun Li:
Solving many-objective delivery and pickup vehicle routing problem with time windows with a constrained evolutionary optimization algorithm. Expert Syst. Appl. 255: 124712 (2024)- [j24]Changteng Shi, Mengjun Li, Zhiyong An:
Single-image super-resolution reconstruction based on phase-aware visual multi-layer perceptron (MLP). PeerJ Comput. Sci. 10: e2208 (2024) - [j23]Baocai Chang, Jinjiang Li, Haiyang Wang, Mengjun Li:
Attention-based color consistency underwater image enhancement network. Signal Image Video Process. 18(5): 4385-4394 (2024) - [j22]Baocai Chang, Jinjiang Li, Haiyang Wang, Mengjun Li:
Msap: multi-scale attention probabilistic network for underwater image enhancement network. Signal Image Video Process. 18(S1): S653-S661 (2024) - [j21]Qingrun Zeng, Jiahao Huang, Jianzhong He, Shengwei Chen, Lei Xie, Zan Chen, Wenlong Guo, Sun Yao, Mengjun Li, Mingchu Li, Yuanjing Feng:
Automated Identification of the Retinogeniculate Visual Pathway Using a High-Dimensional Tractography Atlas. IEEE Trans. Cogn. Dev. Syst. 16(3): 818-827 (2024) - [j20]Mengning Wang, Mengsi Cai, Shuhui Guo, Mengjun Li, Xu Tan, Chaomin Ou, Xin Lu:
Large-Scale Medical Crowdfunding Data Reveal Determinants and Preferences of Donation Behaviors. IEEE Trans. Comput. Soc. Syst. 11(1): 1062-1074 (2024) - 2023
- [j19]Junwei Ou, Lining Xing, Feng Yao, Mengjun Li, Jimin Lv, Yongming He, Yanjie Song, Jian Wu, Guoting Zhang:
Deep reinforcement learning method for satellite range scheduling problem. Swarm Evol. Comput. 77: 101233 (2023) - 2022
- [j18]Ayoung Suh, Mengjun Li:
How the use of mobile fitness technology influences older adults' physical and psychological well-being. Comput. Hum. Behav. 131: 107205 (2022) - [j17]Mengjun Li, Ayoung Suh:
Anthropomorphism in AI-enabled technology: A literature review. Electron. Mark. 32(4): 2245-2275 (2022) - [j16]Junwei Ou, Mengjun Li, Lining Xing, Jimin Lv, Yaru Hu, Nanjiang Dong, Guoting Zhang:
Individual-based self-learning prediction method for dynamic multi-objective optimization. Inf. Sci. 613: 401-418 (2022) - 2021
- [j15]Shasha Li, Yongjun Li, Yao Li, Mengjun Li, Xiaorong Xu:
YOLO-FIRI: Improved YOLOv5 for Infrared Image Object Detection. IEEE Access 9: 141861-141875 (2021) - [j14]Mengjun Li, Ayoung Suh:
We-intention to continue playing mobile multiplayer games: the role of social play habit. Internet Res. 31(4): 1153-1176 (2021) - [j13]Mengjun Li, Yonghua Sun, Xiaojuan Li, Mengying Cui, Chen Huang:
An Improved Eutrophication Assessment Algorithm of Estuaries and Coastal Waters in Liaodong Bay. Remote. Sens. 13(19): 3867 (2021) - [j12]Mengjun Li, Xiaohang Li, Dunke Lu:
Finite-time observer-based control for Markovian jump systems with time-varying generally uncertain transition rates. Trans. Inst. Meas. Control 43(2): 451-463 (2021) - [c42]Mengjun Li, Ayoung Suh:
Machinelike or Humanlike? A Literature Review of Anthropomorphism in AI-Enabled Technology. HICSS 2021: 1-10 - 2020
- [c41]Ayoung Suh, Mengjun Li:
How Gamification Increases Learning Performance? Investigating the Role of Task Modularity. HCI (17) 2020: 129-146 - [c40]Xinyi Deng, Mengjun Li, Ayoung Suh:
Recommendation or Advertisement? The Influence of Advertising-Disclosure Language with Pictorial Types on Influencer Credibility and Consumers' Brand Attitudes. HCI (45) 2020: 234-248 - [c39]Peng Liu, Boyuan Xia, Jichao Li, Danling Zhao, Hechuan Wei, Mengjun Li:
ANN-based Command and Control Seat Allocation Optimization with Simulation Data. SysCon 2020: 1-7 - [c38]Qingsong Zhao, Weitao Hu, Boyuan Xia, Junyi Ding, Mengjun Li:
The capability spaces complexity measure method of Weapon System of Systems. SysCon 2020: 1-5
2010 – 2019
- 2019
- [j11]Jianguo Xu, Mengjun Li, Jiang Jiang, Bingfeng Ge, Mengsi Cai:
Early Prediction of Scientific Impact Based on Multi-Bibliographic Features and Convolutional Neural Network. IEEE Access 7: 92248-92258 (2019) - [j10]Mengjun Li, Wenwei Li:
基于视觉特性的手机屏幕亮度自适应调节算法 (Adaptive Adjustment Algorithm of Mobile Phone Screen Brightness Based on Visual Characteristics). 计算机科学 46(2): 255-260 (2019) - [c37]Guoteng Pan, Mengjun Li, Guodong Ou:
Modeling and Reasoning Event-B Models Based on Mathematica. Internetware 2019: 17:1-17:9 - [c36]Mengjun Li, Jianguo Xu, Bingfeng Ge, Jia Liu, Jiang Jiang, Qingsong Zhao:
A Deep Learning Methodology for Citation Count Prediction with Large-scale Biblio-Features. SMC 2019: 1172-1176 - [c35]Guoteng Pan, Mengjun Li, Guodong Ou:
Solving Constraint Optimization Problems Based on Mathematica and Abstraction. SOFL+MSVL 2019: 123-140 - 2018
- [j9]Minghao Li, Mengjun Li, Kewei Yang, Boyuan Xia, Chunqi Wan:
A Network-Based Portfolio Optimization Approach for Military System of Systems Architecting. IEEE Access 6: 53452-53472 (2018) - [j8]Mengjun Li, Guoying Zhang:
Image Multi-human Behavior Analysis Based on Low Rank Texture Direction. J. Signal Process. Syst. 90(8-9): 1245-1255 (2018) - [c34]Jianguo Xu, Mengjun Li, Minghao Li, Qingsong Zhao, Bingfeng Ge:
Temporal Impact Analysis for Technological Innovation Based on Box-Cox Transformation. SMC 2018: 221-225 - [c33]Minghao Li, Jianguo Xu, Mengjun Li, Kewei Yang, Yingying Gao, Jia Liu:
A Model-Based Architecture for Technological Management in Defense Acquisition. SMC 2018: 2478-2484 - 2017
- [j7]Hanlin You, Mengjun Li, Keith W. Hipel, Jiang Jiang, Bingfeng Ge, Hante Duan:
Development trend forecasting for coherent light generator technology based on patent citation network analysis. Scientometrics 111(1): 297-315 (2017) - [j6]Hanlin You, Mengjun Li, Jiang Jiang, Bingfeng Ge, Xueting Zhang:
Evolution monitoring for innovation sources using patent cluster analysis. Scientometrics 111(2): 693-715 (2017) - [c32]Mengjun Li:
Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification. APSEC 2017: 606-611 - [c31]Junjie Hou, Yongxin Zhu, Yulan Shen, Mengjun Li, Qian Wu, Han Wu:
Enhancing Precision and Bandwidth in Cloud Computing: Implementation of a Novel Floating-Point Format on FPGA. CSCloud 2017: 310-315 - [c30]Qian Wu, Yongxin Zhu, Xu Wang, Mengjun Li, Junjie Hou, Ali Masoumi:
Exploring High Efficiency Hardware Accelerator for the Key Algorithm of Square Kilometer Array Telescope Data Processing. FCCM 2017: 195 - [c29]Junjie Hou, Yongxin Zhu, Yulan Shen, Mengjun Li, Han Wu, Han Song:
Tackling Gaps in Floating-Point Arithmetic: Unum Arithmetic Implementation on FPGA. HPCC/SmartCity/DSS 2017: 615-616 - [c28]Hante Duan, Mengjun Li, Hanlin You, Fangzhou Chen, Jiang Jiang, Qi Wang:
Tendency determining of knowledge-transfer evolution based on patent citation network. ICNC-FSKD 2017: 1757-1763 - [c27]Guoying Zhang, Mengjun Li, Yantong Zhan, Xiruo Shi:
Ore image thresholding segmentation using double windows with fisher discrimination. ICNC-FSKD 2017: 2715-2719 - [c26]Qixuan Xue, Yongxin Zhu, Yajie Wang, Kedun Mao, Han Wu, Mengjun Li, Yishu Mao, Junjie Hou:
A Scheduling Scheme of Task Allocation in Real Time Multiple-Partition Embedded Avionic. SmartCloud 2017: 41-46 - [c25]Han Wu, Yongxin Zhu, Chang Wang, Junjie Hou, Mengjun Li, Qixuan Xue, Kedun Mao:
A Performance-Improved and Storage-Efficient Secondary Index for Big Data Processing. SmartCloud 2017: 161-167 - [c24]Junjie Hou, Yongxin Zhu, Yulan Shen, Mengjun Li, Han Wu, Han Song:
Addressing Inefficiency of Floating-Point Operations in Cloud Computing: Implementation and a Case Study of Variable Precision Computing. SmartCloud 2017: 168-175 - [c23]Hanlin You, Mengjun Li, Fangzhou Chen, Jiang Jiang, Bingfeng Ge, Jianguo Xu:
Arms race analysis using capability-based graph model for conflict resolution. SMC 2017: 3602-3607 - 2016
- [c22]Mengjun Li, Yongxin Zhu, Xu Wang, Tian Huang, Weida Chen, Bin Liu, Yishu Mao:
Evaluation of variable precision computing with variable precision FFT implementation on FPGA. FPT 2016: 299-300 - [c21]Bin Liu, Yongxin Zhu, Chang Wang, Mengjun Li, Weiwei Shi, Yishu Mao:
Finding All-One Hyper-Submatrix of an Incidence Matrix. HPCC/SmartCity/DSS 2016: 1053-1060 - [c20]Bin Liu, Yongxin Zhu, Chang Wang, Yufeng Chen, Tian Huang, Weiwei Shi, Mengjun Li, Yishu Mao:
A Versatile Event-Driven Data Model in HBase Database for Multi-source Data of Power Grid. SmartCloud 2016: 208-213 - [c19]Hanlin You, Mengjun Li, Jiang Jiang, Bingfeng Ge, Xueting Zhang, Jianguo Xu:
Belief preference in graph model for conflict resolution with two decision-makers. SMC 2016: 1702-1707 - 2015
- [j5]Mengjun Li:
Automatic proving or disproving equality loop invariants based on finite difference techniques. Inf. Process. Lett. 115(4): 468-474 (2015) - [j4]Leilei Chang, Jianbin Sun, Jiang Jiang, Mengjun Li:
Parameter learning for the belief rule base system in the residual life probability prediction of metalized film capacitor. Knowl. Based Syst. 73: 69-80 (2015) - [c18]Can Liu, Bingfeng Ge, Ke-Wei Yang, Jiang Jiang, Mengjun Li:
A novel differential evolution algorithm for threat-oriented weapon system planning. SysCon 2015: 614-619 - 2014
- [j3]Cuiyun Hu, XinJun Mao, Mengjun Li, Zhi Zhu:
Organization-based agent-oriented programming: model, mechanisms, and language. Frontiers Comput. Sci. 8(1): 33-51 (2014) - [c17]Mengjun Li:
Inferring loop invariants of programs with polynomial post-conditions. Internetware 2014: 145-152 - 2013
- [j2]Leilei Chang, Yu Zhou, Jiang Jiang, Mengjun Li, Xiaohang Zhang:
Structure learning for belief rule base expert system: A comparative study. Knowl. Based Syst. 39: 159-172 (2013) - [c16]Bo Shuai, Haifeng Li, Mengjun Li, Quan Zhang, Chaojing Tang:
Software Defect Prediction Using Dynamic Support Vector Machine. CIS 2013: 260-263 - [c15]Mengjun Li:
Assisting Specification Refinement by Random Testing. ICFEM 2013: 102-114 - [c14]Bo Shuai, Haifeng Li, Mengjun Li, Quan Zhang, Chaojing Tang:
Automatic classification for vulnerability based on machine learning. ICIA 2013: 312-318 - 2012
- [c13]Mengjun Li:
A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification. ICFEM 2012: 447-461 - 2011
- [c12]Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li:
An Iterative Method for Generating Loop Invariants. FAW-AAIM 2011: 264-274 - 2010
- [c11]Jianying Xing, Mengjun Li, Zhoujun Li:
Automated Program Verification Using Generation of Invariants. QSIC 2010: 300-305
2000 – 2009
- 2009
- [c10]Shikun Chen, Zhoujun Li, Mengjun Li:
Constructing Program Invariants via Solving QBF. TASE 2009: 217-221 - 2008
- [c9]Ti Zhou, Mengjun Li, Zhoujun Li:
Local abstract verification and refinement of security protocols. FMSE 2008: 21-30 - [c8]Mengjun Li, Ti Zhou, Zhoujun Li:
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140 - [c7]Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen:
Constraint Abstraction in Verification of Security Protocols. FAW 2008: 252-263 - [c6]Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li:
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. SEKE 2008: 795-801 - [c5]Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou:
A Novel Derivation Framework For Definite Logic Program. FICS 2008: 71-85 - [c4]Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen:
Modeling and Verifying Time Sensitive Security Protocols with Constraints. FICS 2008: 103-118 - 2007
- [c3]Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen:
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN 2007: 166-180 - [c2]Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen:
Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203 - 2006
- [j1]Mengluo Ji, Huaimin Wang, Mengjun Li, Wei Dong, Zhichang Qi:
An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework. J. Comput. Res. Dev. 43(11): 2020-2026 (2006) - [c1]Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng:
A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization. SEKE 2006: 410-415
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:24 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:
