Name
Papers
Collaborators
YU LEI
25
39
Citations 
PageRank 
Referers 
111
11.54
209
Referees 
References 
408
255
Search Limit
100408
Title
Citations
PageRank
Year
A convolutional neural network-based diagnostic method using resting-state electroencephalograph signals for major depressive and bipolar disorders.00.342022
The influence of green packaging on consumers' green purchase intention in the context of online-to-offline commerce.00.342021
Construction of Smart City Information System Based on Cloud Computing and Internet of Things Technology.00.342021
Efficient Semantic Segmentation Method with Strip Pooling for VHR Remote Sensing Images.00.342021
Multi-level Residual Attention Network for Speckle Suppression.00.342021
Container Scheduling in Blockchain-based Cloud Service Platform.00.342020
Stateless techniques for generating global and local test oracles for message-passing concurrent programs.00.342018
Semi-supervised Multimodal Hashing.00.342017
A Diversity Keeping Strategy for the Multi-objective Examination Timetabling Problem.00.342016
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops10.352015
A Modular Approach to Model-Based Testing of Concurrent Programs.20.372013
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.20.372013
SimFuzz: Test case similarity directed deep fuzzing30.492012
A Tiny Specification Metalanguage.00.342012
Computing Properties of Large Scalable and Fault-Tolerant Logical Networks10.352011
A combinatorial approach to detecting buffer overflow vulnerabilities50.462011
A class library for implementing, testing, and debugging concurrent programs50.442010
Distributed reachability testing of concurrent programs100.462010
Detecting Vulnerabilities In C Programs Using Trace-Based Testing50.482010
Reachability testing of concurrent programs371.362006
An Evaluation of E-Business Metamodels00.342005
An approach to unfolding asynchronous communication protocols20.362005
Reachability testing of monitor-based programs20.392004
A General Model for Reachability Testing of Concurrent Programs160.852004
Efficient reachability testing of asynchronous message-passing programs201.072002