Min Zhou

According to our database1, Min Zhou authored at least 115 papers between 1999 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Collaborative Sparse Hyperspectral Unmixing Using l0 Norm.
IEEE Trans. Geoscience and Remote Sensing, 2018

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.
IEEE Trans. Evolutionary Computation, 2018

Temporal Coverage Analysis for Dynamic Verification.
IEEE Trans. on Circuits and Systems, 2018

Study on the Magnetic-machine Coupling Characteristics of Giant Magnetostrictive Actuator Based on the Free Energy Hysteresis Characteristics.
Sensors, 2018

Saliency detection by hierarchically integrating compactness, contrast and boundary connectivity.
Multimedia Tools Appl., 2018

Short-term load forecasting using optimized LSTM networks based on EMD.
CoRR, 2018

Parallelizing SMT solving: Lazy decomposition and conciliation.
Artif. Intell., 2018

Optimal Spatial Sampling Criterion in a 2D THz Holographic Imaging System.
IEEE Access, 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access, 2018

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report.
Proceedings of the Software Analysis, Testing, and Evolution, 2018

Deep Multi-scale Learning on Point Sets for 3D Object Recognition.
Proceedings of the Image and Graphics Technologies and Applications, 2018

Multi-objective unit commitment under hybrid uncertainties: A data-driven approach.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Entropy-based spammer detection.
Proceedings of the 10th International Conference on Internet Multimedia Computing and Service, 2018

Long Short Term Memory Model for Analysis and Forecast of PM2.5.
Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

Modeling of Crowd Dynamics With Emergency Signs via Modified Social Force Model.
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

2017
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Industrial Electronics, 2017

Improved Wallis Dodging Algorithm for Large-Scale Super-Resolution Reconstruction Remote Sensing Images.
Sensors, 2017

Maximum likelihood parameter estimation of dynamic systems by heuristic swarm search.
Intell. Data Anal., 2017

Simplified dynamical model for optical response of electrofluidic displays.
Displays, 2017

Online model regression for nonlinear time-varying manufacturing systems.
Automatica, 2017

A static analysis tool with optimizations for reachability determination.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IntPTI: automatic integer error repair with proper-type inference.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Reactance perturbation for enhancing detection of FDI attacks in power system state estimation.
Proceedings of the 2017 IEEE Global Conference on Signal and Information Processing, 2017

A Constraint-Pattern Based Method for Reachability Determination.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016
Modeling of Crowd Evacuation With Assailants via a Fuzzy Logic Approach.
IEEE Trans. Intelligent Transportation Systems, 2016

Structure and formation of top networks in international trade, 2001-2010.
Social Networks, 2016

Iterative Designed Experiment Analysis (IDEA).
Quality and Reliability Eng. Int., 2016

Effects of Model Accuracy on Residual Control Charts.
Quality and Reliability Eng. Int., 2016

Modeling and simulation of pedestrian dynamical behavior based on a fuzzy logic approach.
Inf. Sci., 2016

ECG Classification Using Wavelet Packet Entropy and Random Forests.
Entropy, 2016

Design of model predictive control for time-varying nonlinear system based on gaussian process regression modeling.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Automatic Fix for C Integer Errors by Precision Improvement.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
First, Debug the Test Oracle.
IEEE Trans. Software Eng., 2015

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst., 2015

High-efficiency K-band MMIC power amplifier using multi-harmonic load terminations.
Microelectronics Journal, 2015

Algebraic and topological structures based on novel soft set relations.
Journal of Intelligent and Fuzzy Systems, 2015

Effect of Assailants on Crowd Evacuation: A Fuzzy Logic Approach.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014
Workload Analysis, Implications, and Optimization on a Production Hadoop Cluster: A Case Study on Taobao.
IEEE Trans. Services Computing, 2014

Fuzzy Gamma Modules Based on Fuzzy Binary Operations.
Multiple-Valued Logic and Soft Computing, 2014

Transient Characteristics of a Fuel Cell Powered UAV Propulsion System.
Journal of Intelligent and Robotic Systems, 2014

Array Theory of Bounded Elements and its Applications.
J. Autom. Reasoning, 2014

Footprint of uncertainty for type-2 fuzzy sets.
Inf. Sci., 2014

CCLAS: A Practical and Compact Certificateless Aggregate Signature with Share Extraction.
I. J. Network Security, 2014

A Sharp Upper Bound on the Least Signless Laplacian Eigenvalue Using Domination Number.
Graphs and Combinatorics, 2014

Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014

Spatial Distribution of Heavy Metals in Roadside Soils Based on Voronoi Diagram: A Case Study of Wuhan City.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014

The Design and Use of a Computerized Management of Follow-up Data for Liver Transplantation Patients.
Proceedings of the Enterprise Systems Conference, 2014

New Lagrangian Multiplier Method with NCP Function.
Proceedings of the Seventh International Joint Conference on Computational Sciences and Optimization, 2014

2013
A Unified Framework for DPLL(T) + Certificates.
J. Applied Mathematics, 2013

DEM Simulation of Biaxial Compression Experiments of Inherently Anisotropic Granular Materials and the Boundary Effects.
J. Applied Mathematics, 2013

Interval type-2 fuzzy sets in psychological interventions.
Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2013

A price forecast model of hydraulic cylinders through integration of case based reasoning and back-propagation neural networks.
Proceedings of the Ninth International Conference on Natural Computation, 2013

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

An intelligent diagnosis method for Chronis hepatitis B in TCM.
Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012
Unstructured mesh partition improvement for implicit finite element at extreme scale.
The Journal of Supercomputing, 2012

The influence of fiber dispersion on the transmission performance of a quadruple-frequency optical millimeter wave with two signal modulation formats.
Optical Switching and Networking, 2012

An Intelligent Communication Path Planning Method of Metallurgical Equipment Multi-Dimensional Information Space.
JDIM, 2012

A method for evaluating environmental performance of machining systems.
Int. J. Computer Integrated Manufacturing, 2012

Energy-Efficient Relay Selection and Power Allocation for Two-Way Relay Channel with Analog Network Coding.
IEEE Communications Letters, 2012

Tools to support mesh adaptation on massively parallel computers.
Eng. Comput. (Lond.), 2012

Energy-efficient resource allocation for OFDMA-based two-way relay channel with physical-layer network coding.
EURASIP J. Wireless Comm. and Networking, 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Workload characterization on a production Hadoop cluster: A case study on Taobao.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Trust-region Filter Method with 3-piecewise Linear NCP Function.
Proceedings of the Fifth International Joint Conference on Computational Sciences and Optimization, 2012

A Robust Fuzzy Extractor without ECCs.
Proceedings of the Information Security and Cryptology - 8th International Conference, 2012

WaxElephant: A Realistic Hadoop Simulator for Parameters Tuning and Scalability Analysis.
Proceedings of the Seventh ChinaGrid Annual Conference, ChinaGrid 2012, Beijing, 2012

TDSC: A Two-phase Duplicate String Compression Algorithm.
Proceedings of the Web Technologies and Applications, 2012

2011
Research on Recycling Mining System and Its Risk Analysis in Eastern China.
Proceedings of the Modeling Risk Management for Resources and Environment in China, 2011

Link-oriented power allocation in multicast systems with physical layer network coding.
Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

An Efficient Resolution Based Algorithm for SAT.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Electronic poster: co-visualization of full data and in situ data extracts from unstructured grid cfd at 160k cores.
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Research of Emotion Promoting Teaching Interaction in Virtual Learning Community - - A Case Study of Virtual Learning Community Based on Blackboard.
Proceedings of the Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications, 2011

A novel neural network optimized by Quantum Genetic Algorithm for signal detection in MIMO-OFDM systems.
Proceedings of the IEEE Symposium on Computational Intelligence in Control and Automation, 2011

2010
Adjacency-based data reordering algorithm for acceleration of finite element computations.
Scientific Programming, 2010

Controlling Unstructured Mesh Partitions for Massively Parallel Simulations.
SIAM J. Scientific Computing, 2010

Analysis of Netizen's Affective Tendency on Public Opinion.
JCIT, 2010

TouchInteract: An Interaction Technique with Large Displays Using Touchscreen-Phone.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

A New Traffic Data-Fusion Approach Based on Evidence Theory Coupled with Fuzzy Rough Sets.
Proceedings of the Information and Automation - International Symposium, 2010

The Analysis about Economic Effects of Coal Safety Regulations on the Basis of Cost and Technology.
Proceedings of the International Conference on E-Business and E-Government, 2010

Quantum Genetic Algorithm for Signal Detection in MIMO-OFDM Systems.
Proceedings of the 2010 International Conference on Genetic and Evolutionary Methods, 2010

On Array Theory of Bounded Elements.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
The Application of Two-Dimensional Image Reconstruction for Relics' Preservation and Administration.
Proceedings of the 2009 IITA International Conference on Services Science, 2009

Scalable implicit finite element solver for massively parallel processing with demonstration to 160K cores.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

Translation-Based Model Checking for PLC Programs.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
An improved trust model in agent-mediated e-commerce.
IJISTA, 2008

Incorporating track records of agents into matchmaking in middle agents.
IJISTA, 2008

Analysis of dynamic policies.
Inf. Comput., 2008

An Approach to Side Information Estimation Based on Universal Prediction and Motion Compensated Interpolation.
Proceedings of the 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), 2008

A Prioritized Default Extension to Description Logic Knowledge Base.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

Autonomous Overtaking Behavior Simulation for Autonomous Virtual Vehicle in Virtual Traffic Environment.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Designing and Implementing the E-learning System.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Efficient and consistent line simplification for web mapping.
Int. J. Web Eng. Technol., 2007

Checking extended CTL properties using guarded quotient structures.
Formal Methods in System Design, 2007

A parallel algorithm based on Galerkin theory for block-tridiagonal linear systems.
Applied Mathematics and Computation, 2007

Geometric Design of Developable Bezier and B-spline Parametric Surfaces.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

A Reputation System with Privacy and Incentive.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Offset Approximation Algorithm for Subdivision Surfaces.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

2006
Monitoring Off-the-Shelf Components.
Proceedings of the Verification, 2006

Differentiability of a 4-point Ternary Subdivision Scheme and its Applications.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2006, 2006

Evolutionary Dynamics of an Asymmetric Game Between a Supplier and a Retailer.
Proceedings of the Advances in Natural Computation, Second International Conference, 2006

An evolutionary game model on supply chains learning through imitation.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005
Efficiently Generating Multiple Representations for Web Mapping.
Proceedings of the Web and Wireless Geographical Information Systems, 2005

Model Checking of Systems Employing Commutative Functions.
Proceedings of the Verification, 2005

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Checking Extended CTL properties Using Guarded Quotient Structures.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Exchanging Generalized Maps Across the Internet.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

A Data Structure for Efficient Transmission of Generalised Vector Maps.
Proceedings of the Computational Science, 2004

2003
Shape classification of malignant lymphomas and leukemia by morphological watersheds and ARMA modeling.
Proceedings of the Medical Imaging 2003: Image Processing, 2003

Experiences and Lessons Learned with a Portable Interface to Hardware Performance Counters.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2000
Tracing Windows95.
Microprocessors and Microsystems - Embedded Hardware Design, 2000

1999
Analysis of Personal Computer Workloads.
Proceedings of the MASCOTS 1999, 1999


  Loading...