Yongjian Li

According to our database1, Yongjian Li authored at least 80 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


A Novel Surface Inset Permanent Magnet Synchronous Motor for Electric Vehicles.
Symmetry, 2020

Design of One-Eighth Spherical Dielectric Resonator Antenna for 5G Applications.
IEEE Access, 2020

Emotion-based diversity crowd behavior simulation in public emergency.
The Visual Computer, 2019

Impact of Carbon Regulations on the Supply Chain With Carbon Reduction Effort.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2019

A novel QoS negotiation model based on intelligent learning technique in clouds.
IJNVO, 2019

An adaptive redundant reservation admission in virtual cloud environment.
IJNVO, 2019

Effects of a secondary market on original equipment manufactures' pricing, trade-in remanufacturing, and entry decisions.
Eur. J. Oper. Res., 2019

An emotion based simulation framework for complex evacuation scenarios.
Graph. Model., 2019

Equilateral Triangular Dielectric Resonator and Metal Patch Hybrid Antenna for UWB Application.
IEEE Access, 2019

Fully Digital Grid Synchronization Under Harmonics and Unbalanced Conditions.
IEEE Access, 2019

Electron Transport in Graphene-Versus Al/Pd-Coated Thin Cu Films With Low-Surface Roughness: A First Principles Study.
IEEE Access, 2019

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation.
Proceedings of the Formal Methods and Software Engineering, 2019

A Learning-Based Framework for Automatic Parameterized Verification.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log., 2018

A novel virtual machine scheduling policy based on performance prediction model.
IJNVO, 2018

On the loss-averse dual-sourcing problem under supply disruption.
Comput. Oper. Res., 2018

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

L-CMP: an automatic learning-based parameterized verification tool.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A Deep Learning Based Framework for Cloud Masquerade Attack Detection.
Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

Measurement of Three-Dimensional Magnetic Properties With Feedback Control and Harmonic Compensation.
IEEE Trans. Industrial Electronics, 2017

Benefit and risk analysis of consignment contracts.
Annals OR, 2017

Innovative supply chain optimization models with multiple uncertainty factors.
Annals OR, 2017

Optimal service contract under cost information symmetry/asymmetry.
JORS, 2016

DOX: A new computational protocol for accurate prediction of the protein-ligand binding structures.
Journal of Computational Chemistry, 2016

On Core Sorting in RMTS and RMTO Systems: A Newsvendor Framework.
Decision Sciences, 2016

Trade credit insurance, capital constraint, and the behavior of manufacturers and banks.
Annals OR, 2016

A multi-period ordering and clearance pricing model considering the competition between new and out-of-season products.
Annals OR, 2016

On lot-sizing problem in a random yield production system under loss aversion.
Annals OR, 2016

Heuristic approach on dynamic lot-sizing model for durable products with end-of-use constraints.
Annals OR, 2016

A novel approach to parameterized verification of cache coherence protocols.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Clarifying and illustrating the electronic energy transfer pathways in trimeric and hexameric aggregation state of cyanobacteria allophycocyanin within the framework of Förster theory.
Journal of Computational Chemistry, 2015

Great East Japan Earthquake emergency evolution and contingency decision based on system engineering approach.
IJITM, 2015

Formalizing provable anonymity in Isabelle/HOL.
Formal Asp. Comput., 2015

Consumer returns policies with endogenous deadline and supply chain coordination.
Eur. J. Oper. Res., 2015

"Do the electronic books reinforce the dynamics of book supply chain market?"-A theoretical analysis.
Eur. J. Oper. Res., 2015

Pricing and collecting decisions in a closed-loop supply chain with symmetric and asymmetric information.
Comput. Oper. Res., 2015

Remanufacturing and pricing decisions with random yield and random demand.
Comput. Oper. Res., 2015

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

An incentive model for closed-loop supply chain under the EPR law.
JORS, 2014

The impact of consumer returns policies on consignment contracts with inventory control.
Eur. J. Oper. Res., 2014

Optimal acquisition and production policy in a hybrid manufacturing/remanufacturing system with core acquisition at different quality levels.
Eur. J. Oper. Res., 2014

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.
Comput. J., 2014

A Hybrid Manufacturing/Remanufacturing System With Random Remanufacturing Yield and Market-Driven Product Acquisition.
IEEE Trans. Engineering Management, 2013

Understanding the electronic energy transfer pathways in the trimeric and hexameric aggregation state of cyanobacteria phycocyanin within the framework of förster theory.
Journal of Computational Chemistry, 2013

An inductive approach to strand spaces.
Formal Asp. Comput., 2013

Pricing decisions for complementary products with firms' different market powers.
Eur. J. Oper. Res., 2013

Double marginalization and coordination in the supply chain with uncertain supply.
Eur. J. Oper. Res., 2013

A Strand Space Approach to Provable Anonymity.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Structure-Based Design and Screen of Novel Inhibitors for Class II 3-Hydroxy-3-methylglutaryl Coenzyme A Reductase from Streptococcus Pneumoniae.
Journal of Chemical Information and Modeling, 2012

Pricing Decisions for a Closed-Loop Supply Chain in a Fuzzy Environment.
APJOR, 2012

Retail service for mixed retail and E-tail channels.
Annals OR, 2012

On the Formal Modeling of Inductive Verification for Cryptographical Protocols.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.
Theor. Comput. Sci., 2011

Exploring structural symmetry automatically in symbolic trajectory evaluation.
Formal Methods in System Design, 2011

On a multi-period supply chain system with supplementary order opportunity.
Eur. J. Oper. Res., 2011

Enhanced symbolic simulation of a round-robin arbiter.
Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.
Proceedings of the Hardware and Software: Verification and Testing, 2011

An Inductive Approach to Provable Anonymity.
Proceedings of the Sixth International Conference on Availability, 2011

Exploiting Distributed Cognition to Make Tacit Knowledge Explicating.
JSEA, 2010

Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V.
J. Information Security, 2010

Extending the Strand Space Method with Timestamps: Part I the Theory.
J. Information Security, 2010

Optimal Solution Structure for Multi-Period Production Planning with Returned Products remanufacturing.
APJOR, 2010

Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint.
APJOR, 2010

Design of a CIL Connector to Spin.
International Journal of Software Engineering and Knowledge Engineering, 2008

Study on Production Process Control of Virtual Organization in Small and Medium-Sized Enterprises Based on Manufacturing Resource Workload.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method.
Journal of Computational Chemistry, 2007

An integrated staff-sizing approach considering feasibility of scheduling decision.
Annals OR, 2007

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Extending the Strand Space Method to Verify Kerberos V.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Problems, Challenges, and Suggestions for Reverse Logistics of Publishing Industry in China.
Proceedings of the Reaching New Heights. 13th Americas Conference on Information Systems, 2007

Uncapacitated production planning with multiple product types, returned product remanufacturing, and demand substitution.
OR Spectrum, 2006

Generalized Unsolicited Tests for Authentication Protocol Analysis.
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

Maximizing Dual Function by Genetic Algorithm - A New Approach for Optimal Manpower Planning.
Proceedings of the Computational Intelligence, 2006

Contextual Labelled Semantics for Higher-order Process Calculi.
Electr. Notes Theor. Comput. Sci., 2005

The Inductive Approach to Strand Space.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Optimal Manpower Planning with Temporal Labor and Contract Period Constraints.
Proceedings of the Algorithmic Applications in Management, First International Conference, 2005

Towards a Theory of Bisimulation for the Higher-Order Process Calculi.
J. Comput. Sci. Technol., 2004

Optimization of tandem queue systems with finite buffers.
Comput. Oper. Res., 2004

Bisimulation for Higher-Order Pi-calculus.
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002