Yongjian Li

Bohua Zhan

Proc. ACM Program. Lang., 2024

Impacts of digital technology innovation for social responsibility of platform enterprises on shareholder value.

[BibT_eX]

[DOI]

Ind. Manag. Data Syst., 2024

Sustainable supply chain operations driven by 'remanufacturing + product sharing': operation mode selection and decision optimisation.

[BibT_eX]

[DOI]

Shuiye Niu

Yujuan Xi

Int. J. Prod. Res., 2024

Fault Diagnosis and Localization of Transmission Lines Based on R-Net Algorithm Optimized by Feature Pyramid Network.

[BibT_eX]

[DOI]

Int. J. Comput. Commun. Control, 2024

Price signal or blockchain technology? Quality information disclosure in dual-channel supply chains.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2024

Repositioning to sink: The pricing and quality decisions for product line considering the sinking market.

[BibT_eX]

[DOI]

Yusheng Wang

Shuangshuang Xu

Eur. J. Oper. Res., 2024

Enhanced recognition of insulator defects on power transmission lines via proposal-based detection model with integrated improvement methods.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

IMC-ResNet: Atrial fibrillation detection method based on interlayer multiscale coupling.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2024

An atrial fibrillation detection algorithm based on lightweight design architecture and feature fusion strategy.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2024

A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.

[BibT_eX]

[DOI]

Hongjian Jiang

Yongxin Zhao

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Murphi2Chisel: A Protocol Compiler from Murphi to Chisel.

[BibT_eX]

[DOI]

Zhenghai Cai

Yongxin Zhao

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Multiscale Convolution and Attention based Denoising Autoencoder for Motion Artifact Removal in ECG Signals.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Image and Graphics Processing, 2024

2023

Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., August, 2023

Diagnosis of atrial fibrillation based on lightweight detail-semantic network.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., August, 2023

Ethical fashion supply chain operations: product development and moral hazards.

[BibT_eX]

[DOI]

Tsan-Ming Choi

Lipan Feng

Int. J. Prod. Res., February, 2023

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

[BibT_eX]

[DOI]

New Media Soc., January, 2023

Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2023

Optimal strategies for financing a three-level supply chain through blockchain platform finance.

[BibT_eX]

[DOI]

Lu Liu

Tao Jiang

Int. J. Prod. Res., 2023

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Machine Learning and Machine Intelligence, 2023

A YOLO-CDA X-ray Image Detection Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Image and Graphics Processing, 2023

Model Checking TileLink Cache Coherence Protocols By Murphi.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

ChiselFV: A Formal Verification Framework for Chisel.

[BibT_eX]

[DOI]

Mufan Xiang

Yongxin Zhao

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2023

Multi-path Heart Sound Detection Based on Wavelet Scattering and Attention Mechanism.

[BibT_eX]

[DOI]

Proceedings of the 16th International Congress on Image and Signal Processing, 2023

Research on the Portable Comprehensive Diagnosis Device Applied in 20kV Distribution Line Based on Touch Screen Design.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Artificial Intelligence in Electronics Engineering, 2023

2022

An Improved Cross-Yoke SST for Accurate 1-D and 2-D Magnetic Testing of Fe-Si Sheets.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2022

When and how should a retailer use third-party platform channels? The Impact of spillover effects.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2022

Producer's choice of design-for-environment under environmental taxation.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Parameterized Design and Formal Verification of Multi-ported Memory.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+.

[BibT_eX]

[DOI]

Proceedings of the CCRIS 2022: 3rd International Conference on Control, Robotics and Intelligent System, Virtual Event, China, August 26, 2022

Study On The Application Of Small CNN In Arrhythmia Classification.

[BibT_eX]

[DOI]

Proceedings of the 15th International Congress on Image and Signal Processing, 2022

2021

Formal Analysis of TSN Scheduler for Real-Time Communications.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2021

Does interest alignment between hotels and online travel agencies intensify review manipulations?

[BibT_eX]

[DOI]

Ind. Manag. Data Syst., 2021

Optimisation of reverse supply chain with used-product collection effort under collector's fairness concerns.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2021

On sales effort and pricing decisions under alternative risk criteria.

[BibT_eX]

[DOI]

Xiangtong Qi

Eur. J. Oper. Res., 2021

Collaborative emergency berth scheduling based on decentralized decision and price mechanism.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2021

Three-Dimensional Magnetic Hysteresis Modeling Based on Vector Hysteresis Operator.

[BibT_eX]

[DOI]

IEEE Access, 2021

Encoding Induction Proof in Dafny.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Analyzing and Recommending Development Order Based on Design Class Diagram.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2021

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

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

[BibT_eX]

[DOI]

Symmetry, 2020

Publisher Correction: Predicting drug-protein interaction using quasi-visual question answering system.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2020

Predicting drug-protein interaction using quasi-visual question answering system.

[BibT_eX]

[DOI]

Nat. Mach. Intell., 2020

Correction to: Personality trait and group emotion contagion based crowd simulation for emergency evacuation.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2020

Personality trait and group emotion contagion based crowd simulation for emergency evacuation.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2020

Differentiation competition between new and remanufactured products considering third-party remanufacturing.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 2020

Optimal Financing Models Offered by Manufacturers with Risk Aversion and Market Competition Considerations.

[BibT_eX]

[DOI]

Decis. Sci., 2020

A unified lattice Boltzmann model for immiscible and miscible ternary fluids.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2020

Lattice Boltzmann model for dense suspended particles based on improved bounce-back method.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2020

Managing the supply disruption risk: option contract or order commitment contract?

[BibT_eX]

[DOI]

Ann. Oper. Res., 2020

Environmental governance strategies in a two-echelon supply chain with tax and subsidy interactions.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2020

Degradation Modeling Based on Wiener Process Considering Multi-Source Heterogeneity.

[BibT_eX]

[DOI]

IEEE Access, 2020

Design of One-Eighth Spherical Dielectric Resonator Antenna for 5G Applications.

[BibT_eX]

[DOI]

IEEE Access, 2020

Accelerated Verification of Parametric Protocols with Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Two-Dimensional Vector Hysteresis Modeling for Soft Magnetic Composite Materials Considering Anisotropic Property.

[BibT_eX]

[DOI]

Proceedings of the IEEE Industry Applications Society Annual Meeting, 2020

An Autoencoder Based Insider Attack Detection in Imbalanced Data.

[BibT_eX]

[DOI]

Proceedings of the 26th Americas Conference on Information Systems, 2020

2019

Emotion-based diversity crowd behavior simulation in public emergency.

[BibT_eX]

[DOI]

Vis. Comput., 2019

Impact of Carbon Regulations on the Supply Chain With Carbon Reduction Effort.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2019

Optimal pricing and trade-in policies in a dual-channel supply chain when considering market segmentation.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2019

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

[BibT_eX]

[DOI]

Int. J. Netw. Virtual Organisations, 2019

An adaptive redundant reservation admission in virtual cloud environment.

[BibT_eX]

[DOI]

Int. J. Netw. Virtual Organisations, 2019

An efficient bandwidth reservation policy for data-intensive applications in cloud.

[BibT_eX]

[DOI]

Int. J. Netw. Virtual Organisations, 2019

Saving energy consumption for mixed workloads in cloud platforms.

[BibT_eX]

[DOI]

Peng Xiao

Int. J. Comput. Sci. Eng., 2019

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

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2019

An emotion based simulation framework for complex evacuation scenarios.

[BibT_eX]

[DOI]

Graph. Model., 2019

Equilateral Triangular Dielectric Resonator and Metal Patch Hybrid Antenna for UWB Application.

[BibT_eX]

[DOI]

IEEE Access, 2019

Fully Digital Grid Synchronization Under Harmonics and Unbalanced Conditions.

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

Manareldeen Ahmed

Erping Li

IEEE Access, 2019

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation.

[BibT_eX]

[DOI]

Bow-Yaw Wang

Proceedings of the Formal Methods and Software Engineering, 2019

A Learning-Based Framework for Automatic Parameterized Verification.

[BibT_eX]

[DOI]

Jialun Cao

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

An Automatic Proving Approach to Parameterized Verification.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

Pricing decisions of complementary products in a two-level fuzzy supply chain.

[BibT_eX]

[DOI]

Jing Zhao

Jie Wei

Int. J. Prod. Res., 2018

Return policy and supply chain coordination with network-externality effect.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2018

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

[BibT_eX]

[DOI]

Int. J. Netw. Virtual Organisations, 2018

On the loss-averse dual-sourcing problem under supply disruption.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2018

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.

[BibT_eX]

[DOI]

Jialun Cao

Kaiqiang Duan

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

L-CMP: an automatic learning-based parameterized verification tool.

[BibT_eX]

[DOI]

Jialun Cao

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

A Deep Learning Based Framework for Cloud Masquerade Attack Detection.

[BibT_eX]

[DOI]

Shuting Xu

Shuhua Lai

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.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2017

Effect of EPR coefficient policy on the production decision in precious metal accessory recycling.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2017

Benefit and risk analysis of consignment contracts.

[BibT_eX]

[DOI]

Wei Hu

Wen Wang

Ann. Oper. Res., 2017

Innovative supply chain optimization models with multiple uncertainty factors.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2017

2016

Optimal service contract under cost information symmetry/asymmetry.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 2016

DOX: A new computational protocol for accurate prediction of the protein-ligand binding structures.

[BibT_eX]

[DOI]

J. Comput. Chem., 2016

On Core Sorting in RMTS and RMTO Systems: A Newsvendor Framework.

[BibT_eX]

[DOI]

Decis. Sci., 2016

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

[BibT_eX]

[DOI]

Xueping Zhen

Ann. Oper. Res., 2016

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

[BibT_eX]

[DOI]

Guohua Sun

Ann. Oper. Res., 2016

On lot-sizing problem in a random yield production system under loss aversion.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2016

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

[BibT_eX]

[DOI]

Ann. Oper. Res., 2016

A novel approach to parameterized verification of cache coherence protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Comput. Chem., 2015

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

[BibT_eX]

[DOI]

Xunqing Wang

Zhe Li

Int. J. Inf. Technol. Manag., 2015

Formalizing provable anonymity in Isabelle/HOL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Consumer returns policies with endogenous deadline and supply chain coordination.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2015

"Do the electronic books reinforce the dynamics of book supply chain market?"-A theoretical analysis.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2015

Pricing and collecting decisions in a closed-loop supply chain with symmetric and asymmetric information.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2015

Remanufacturing and pricing decisions with random yield and random demand.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2015

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Optimal Advance-Selling Strategy for Fashionable Products With Opportunistic Consumers Returns.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2014

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

[BibT_eX]

[DOI]

Kannan Govindan

J. Oper. Res. Soc., 2014

The impact of consumer returns policies on consignment contracts with inventory control.

[BibT_eX]

[DOI]

Wei Hu

Kannan Govindan

Eur. J. Oper. Res., 2014

Optimal acquisition and production policy in a hybrid manufacturing/remanufacturing system with core acquisition at different quality levels.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2014

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.

[BibT_eX]

[DOI]

Comput. J., 2014

2013

A Hybrid Manufacturing/Remanufacturing System With Random Remanufacturing Yield and Market-Driven Product Acquisition.

[BibT_eX]

[DOI]

Soroush Saghafian

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.

[BibT_eX]

[DOI]

J. Comput. Chem., 2013

An inductive approach to strand spaces.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Pricing decisions for complementary products with firms' different market powers.

[BibT_eX]

[DOI]

Jie Wei

Jing Zhao

Eur. J. Oper. Res., 2013

Double marginalization and coordination in the supply chain with uncertain supply.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2013

A Strand Space Approach to Provable Anonymity.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Chem. Inf. Model., 2012

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

[BibT_eX]

[DOI]

Jie Wei

Jing Zhao

Asia Pac. J. Oper. Res., 2012

Retail service for mixed retail and E-tail channels.

[BibT_eX]

[DOI]

Wei Hu

Ann. Oper. Res., 2012

On the Formal Modeling of Inductive Verification for Cryptographical Protocols.

[BibT_eX]

[DOI]

Xiaoyu Song

Xiaojuan Li

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

2011

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.

[BibT_eX]

[DOI]

William N. N. Hung

Xiaoyu Song

Theor. Comput. Sci., 2011

Exploring structural symmetry automatically in symbolic trajectory evaluation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

On a multi-period supply chain system with supplementary order opportunity.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2011

Enhanced symbolic simulation of a round-robin arbiter.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2011

An Inductive Approach to Provable Anonymity.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

2010

Exploiting Distributed Cognition to Make Tacit Knowledge Explicating.

[BibT_eX]

[DOI]

Mingrui He

J. Softw. Eng. Appl., 2010

Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V.

[BibT_eX]

[DOI]

J. Information Security, 2010

Extending the Strand Space Method with Timestamps: Part I the Theory.

[BibT_eX]

[DOI]

J. Information Security, 2010

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

[BibT_eX]

[DOI]

Asia Pac. J. Oper. Res., 2010

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

[BibT_eX]

[DOI]

Asia Pac. J. Oper. Res., 2010

2009

A new decentralized approach for the lot sizing problem of durable products with demand substitution.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

2008

Design of a CIL Connector to Spin.

[BibT_eX]

[DOI]

Rui Xue

Int. J. Softw. Eng. Knowl. Eng., 2008

The Confirmatory Research on Representative Method of Knowledge Work Process.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jian Wan

Xin Xu

J. Comput. Chem., 2007

An integrated staff-sizing approach considering feasibility of scheduling decision.

[BibT_eX]

[DOI]

Jian Chen

Ann. Oper. Res., 2007

Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Extending the Strand Space Method to Verify Kerberos V.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

Problems, Challenges, and Suggestions for Reverse Logistics of Publishing Industry in China.

[BibT_eX]

[DOI]

Cansheng Wei

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.

[BibT_eX]

[DOI]

Jian Chen

OR Spectr., 2006

Generalized Unsolicited Tests for Authentication Protocol Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fengsheng Tu

Proceedings of the Computational Intelligence, 2006

2005

The Inductive Approach to Strand Space.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Optimal Manpower Planning with Temporal Labor and Contract Period Constraints.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Applications in Management, First International Conference, 2005

2004

Towards a Theory of Bisimulation for the Higher-Order Process Calculi.

[BibT_eX]

[DOI]

Xinxin Liu

J. Comput. Sci. Technol., 2004

Contextual Labelled Semantics for Higher-order Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

Optimization of tandem queue systems with finite buffers.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2004

Using SPIN to Model Cryptographic Protocols.

[BibT_eX]

[DOI]

Rui Xue

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.

[BibT_eX]

[DOI]

Jifeng He

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.

[BibT_eX]

[DOI]

Changyou Liu

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Bisimulation for Higher-Order Pi-calculus.

[BibT_eX]

Xinxin Liu

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Performance analysis for partially observed communication networks.

[BibT_eX]

[DOI]