Yongjian Li

Orcid: 0000-0002-3694-2732

According to our database1, Yongjian Li authored at least 146 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Energy-Based Anisotropic Vector Hysteresis Model for Rotational Electromagnetic Core Loss.
IEEE Trans. Ind. Electron., June, 2024

Elimination of Random Mixed Noise in ECG Using Convolutional Denoising Autoencoder With Transformer Encoder.
IEEE J. Biomed. Health Informatics, April, 2024

Leasing, trade-in for new, or the mixed of both: an analysis of new recycling modes driven by industry 4.0 technologies.
Int. J. Prod. Res., April, 2024

Book Review: Digital Migration.
New Media Soc., February, 2024

How Society Anxiety Influences Attention Control in College Students: The Moderated Mediation Effect of Cognitive Flexibility and Resting-state Electroencephalography Activity.
J. Cogn. Neurosci., February, 2024

Predicting spontaneous termination of atrial fibrillation based on dual path network and feature selection.
Biomed. Signal Process. Control., February, 2024

Multitask Learning-Based Quality Assessment and Denoising of Electrocardiogram Signals.
IEEE Trans. Instrum. Meas., 2024

UniMem: Towards a Unified View of Long-Context Large Language Models.
CoRR, 2024

2023
Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network.
Comput. Methods Programs Biomed., August, 2023

Diagnosis of atrial fibrillation based on lightweight detail-semantic network.
Biomed. Signal Process. Control., August, 2023

Ethical fashion supply chain operations: product development and moral hazards.
Int. J. Prod. Res., February, 2023

Book Review: (Im)mobile Homes: Family Life at a Distance in the Age of Mobile Media.
New Media Soc., January, 2023

Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy.
IEEE Trans. Instrum. Meas., 2023

Optimal strategies for financing a three-level supply chain through blockchain platform finance.
Int. J. Prod. Res., 2023

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

A Novel Data Augmentation Method for Robotic Surgical Instrument Small Part Segmentation in Complex Scenes.
Proceedings of the 6th International Conference on Machine Learning and Machine Intelligence, 2023

A YOLO-CDA X-ray Image Detection Algorithm.
Proceedings of the 6th International Conference on Image and Graphics Processing, 2023

Model Checking TileLink Cache Coherence Protocols By Murphi.
Proceedings of the 41st IEEE International Conference on Computer Design, 2023

ChiselFV: A Formal Verification Framework for Chisel.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.
Proceedings of the Advanced Information Systems Engineering, 2023

Multi-path Heart Sound Detection Based on Wavelet Scattering and Attention Mechanism.
Proceedings of the 16th International Congress on Image and Signal Processing, 2023

2022
An Improved Cross-Yoke SST for Accurate 1-D and 2-D Magnetic Testing of Fe-Si Sheets.
IEEE Trans. Instrum. Meas., 2022

When and how should a retailer use third-party platform channels? The Impact of spillover effects.
Eur. J. Oper. Res., 2022

Producer's choice of design-for-environment under environmental taxation.
Eur. J. Oper. Res., 2022

Integrated routing for a vehicle-robot pickup and delivery system with time constraints.
CoRR, 2022

Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Parameterized Design and Formal Verification of Multi-ported Memory.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+.
Proceedings of the CCRIS 2022: 3rd International Conference on Control, Robotics and Intelligent System, Virtual Event, China, August 26, 2022

2021
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab., 2021

Does interest alignment between hotels and online travel agencies intensify review manipulations?
Ind. Manag. Data Syst., 2021

Optimisation of reverse supply chain with used-product collection effort under collector's fairness concerns.
Int. J. Prod. Res., 2021

On sales effort and pricing decisions under alternative risk criteria.
Eur. J. Oper. Res., 2021

Collaborative emergency berth scheduling based on decentralized decision and price mechanism.
Ann. Oper. Res., 2021

Three-Dimensional Magnetic Hysteresis Modeling Based on Vector Hysteresis Operator.
IEEE Access, 2021

Encoding Induction Proof in Dafny.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Analyzing and Recommending Development Order Based on Design Class Diagram.
Proceedings of the Knowledge Science, Engineering and Management, 2021

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

2020
Analytical Modeling of Misalignment in Axial Flux Permanent Magnet Machine.
IEEE Trans. Ind. Electron., 2020

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

Publisher Correction: Predicting drug-protein interaction using quasi-visual question answering system.
Nat. Mach. Intell., 2020

Predicting drug-protein interaction using quasi-visual question answering system.
Nat. Mach. Intell., 2020

Correction to: Personality trait and group emotion contagion based crowd simulation for emergency evacuation.
Multim. Tools Appl., 2020

Personality trait and group emotion contagion based crowd simulation for emergency evacuation.
Multim. Tools Appl., 2020

Differentiation competition between new and remanufactured products considering third-party remanufacturing.
J. Oper. Res. Soc., 2020

Optimal Financing Models Offered by Manufacturers with Risk Aversion and Market Competition Considerations.
Decis. Sci., 2020

A unified lattice Boltzmann model for immiscible and miscible ternary fluids.
Comput. Math. Appl., 2020

Lattice Boltzmann model for dense suspended particles based on improved bounce-back method.
Comput. Math. Appl., 2020

Managing the supply disruption risk: option contract or order commitment contract?
Ann. Oper. Res., 2020

Environmental governance strategies in a two-echelon supply chain with tax and subsidy interactions.
Ann. Oper. Res., 2020

Degradation Modeling Based on Wiener Process Considering Multi-Source Heterogeneity.
IEEE Access, 2020

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

Accelerated Verification of Parametric Protocols with Decision Trees.
Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Two-Dimensional Vector Hysteresis Modeling for Soft Magnetic Composite Materials Considering Anisotropic Property.
Proceedings of the IEEE Industry Applications Society Annual Meeting, 2020

An Autoencoder Based Insider Attack Detection in Imbalanced Data.
Proceedings of the 26th Americas Conference on Information Systems, 2020

2019
Emotion-based diversity crowd behavior simulation in public emergency.
Vis. Comput., 2019

Impact of Carbon Regulations on the Supply Chain With Carbon Reduction Effort.
IEEE Trans. Syst. Man Cybern. Syst., 2019

Optimal pricing and trade-in policies in a dual-channel supply chain when considering market segmentation.
Int. J. Prod. Res., 2019

A novel QoS negotiation model based on intelligent learning technique in clouds.
Int. J. Netw. Virtual Organisations, 2019

An adaptive redundant reservation admission in virtual cloud environment.
Int. J. Netw. Virtual Organisations, 2019

An efficient bandwidth reservation policy for data-intensive applications in cloud.
Int. J. Netw. Virtual Organisations, 2019

Saving energy consumption for mixed workloads in cloud platforms.
Int. J. Comput. Sci. Eng., 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

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

Pricing decisions of complementary products in a two-level fuzzy supply chain.
Int. J. Prod. Res., 2018

Return policy and supply chain coordination with network-externality effect.
Int. J. Prod. Res., 2018

A novel virtual machine scheduling policy based on performance prediction model.
Int. J. Netw. Virtual Organisations, 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

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

Effect of EPR coefficient policy on the production decision in precious metal accessory recycling.
Int. J. Prod. Res., 2017

Benefit and risk analysis of consignment contracts.
Ann. Oper. Res., 2017

Innovative supply chain optimization models with multiple uncertainty factors.
Ann. Oper. Res., 2017

2016
Optimal service contract under cost information symmetry/asymmetry.
J. Oper. Res. Soc., 2016

DOX: A new computational protocol for accurate prediction of the protein-ligand binding structures.
J. Comput. Chem., 2016

On Core Sorting in RMTS and RMTO Systems: A Newsvendor Framework.
Decis. Sci., 2016

Trade credit insurance, capital constraint, and the behavior of manufacturers and banks.
Ann. Oper. Res., 2016

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

On lot-sizing problem in a random yield production system under loss aversion.
Ann. Oper. Res., 2016

Heuristic approach on dynamic lot-sizing model for durable products with end-of-use constraints.
Ann. Oper. Res., 2016

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

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

Great East Japan Earthquake emergency evolution and contingency decision based on system engineering approach.
Int. J. Inf. Technol. Manag., 2015

Formalizing provable anonymity in Isabelle/HOL.
Formal Aspects 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

2014
Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns.
IEEE Trans. Syst. Man Cybern. Syst., 2014

An incentive model for closed-loop supply chain under the EPR law.
J. Oper. Res. Soc., 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

2013
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.
J. Comput. Chem., 2013

An inductive approach to strand spaces.
Formal Aspects 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

2012
Structure-Based Design and Screen of Novel Inhibitors for Class II 3-Hydroxy-3-methylglutaryl Coenzyme A Reductase from Streptococcus Pneumoniae.
J. Chem. Inf. Model., 2012

Pricing Decisions for a Closed-Loop Supply Chain in a Fuzzy Environment.
Asia Pac. J. Oper. Res., 2012

Retail service for mixed retail and E-tail channels.
Ann. Oper. Res., 2012

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

2011
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 Syst. Des., 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

2010
Exploiting Distributed Cognition to Make Tacit Knowledge Explicating.
J. Softw. Eng. Appl., 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.
Asia Pac. J. Oper. Res., 2010

Optimal manpower Planning Decision with Single Employee Type Considering Minimal Employment Period Constraint.
Asia Pac. J. Oper. Res., 2010

2009
A new decentralized approach for the lot sizing problem of durable products with demand substitution.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2008
Design of a CIL Connector to Spin.
Int. J. Softw. Eng. Knowl. Eng., 2008

The Confirmatory Research on Representative Method of Knowledge Work Process.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 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

2007
Theoretical study of the vertical excited states of benzene, pyrimidine, and pyrazine by the symmetry adapted cluster - Configuration interaction method.
J. Comput. Chem., 2007

An integrated staff-sizing approach considering feasibility of scheduling decision.
Ann. Oper. Res., 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

2006
Uncapacitated production planning with multiple product types, returned product remanufacturing, and demand substitution.
OR Spectr., 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

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

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

Contextual Labelled Semantics for Higher-order Process Calculi.
Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

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

Using SPIN to Model Cryptographic Protocols.
Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

2003
Towards a Theory of Bisimulation for a Fragment of Verilog.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Study on real-time discrete event systems by using controlled temporal timed-Petri-nets.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

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

2001
Performance analysis for partially observed communication networks.
Proceedings of the American Control Conference, 2001


  Loading...