Yifeng Chen

According to our database, Yifeng Chen authored at least 90 papers between 1995 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Global exponential stability for quaternion-valued neural networks with time-varying delays by matrix measure method.

Yifeng Chen, Yanchao Shi, Jun Guo, Jingling Cai

Comput. Appl. Math., February, 2025

2024

IDNet: Information Decomposition Network for Fast Panoptic Segmentation.

Guangchen Lin, Songyuan Li, Yifeng Chen, Xi Li

IEEE Trans. Image Process., 2024

The Evolving Conscious Agent, I.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

A modal approach to conscious social agents.

Yifeng Chen, Jeff W. Sanders

Int. J. Softw. Tools Technol. Transf., December, 2023

Toward Source-Free Cross Tissues Histopathological Cell Segmentation via Target-Specific Finetuning.

Zhongyu Li, Chaoqun Li, Xiangde Luo, Yitian Zhou, Jihua Zhu, Cunbao Xu, Meng Yang, Yenan Wu, Yifeng Chen

IEEE Trans. Medical Imaging, September, 2023

Fuzzy Semantics for Arbitrary-Shaped Scene Text Detection.

Fangfang Wang, Xiaogang Xu, Yifeng Chen, Xi Li

IEEE Trans. Image Process., 2023

Gait Cycle-Inspired Learning Strategy for Continuous Prediction of Knee Joint Trajectory from sEMG.

Xueming Fu, Hao Zheng, Luyan Liu, Wenjuan Zhong, Haowen Liu, Wenxuan Xiong, Yuyang Zhang, Yifeng Chen, Dong Wei, Mingjie Dong, Yefeng Zheng, Mingming Zhang

CoRR, 2023

Digitalising modular construction: Enhancement of off-site manufacturing productivity via a manufacturing execution & control (MEC) system.

Achini Peiris, Felix Kin Peng Hui, Colin Duffield, Jun Wang, Miguel Gil Garcia, Yifeng Chen, Tuan Duc Ngo

Comput. Ind. Eng., 2023

Coupling Bracket Segmentation and Tooth Surface Reconstruction on 3D Dental Models.

Yuwen Tan, Xiang Xiang, Yifeng Chen, Hongyi Jing, Shiyang Ye, Chaoran Xue, Hui Xu

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Consciousness by Degree.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

CFNet: Learning Correlation Functions for One-Stage Panoptic Segmentation.

Yifeng Chen, Wenqing Chu, Fangfang Wang, Ying Tai, Ran Yi, Zhenye Gan, Liang Yao, Chengjie Wang, Xi Li

CoRR, 2022

A New EEG-based Paradigm for Classifying Intention of Compound-Limbs Movement.

Rui Ma, Yichuan Jiang, Yifeng Chen, Mingming Zhang

Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2022

A Modal Approach to Consciousness of Agents.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

BPFD-Net: enhanced dehazing model based on Pix2pix framework for single image.

Shaoyi Li, Jian Lin, Xi Yang, Jun Ma, Yifeng Chen

Mach. Vis. Appl., 2021

Whether normalized or not? Towards more robust iris recognition using dynamic programming.

Yifeng Chen, Cheng Wu, Yiming Wang

Image Vis. Comput., 2021

Extending MapReduce framework with locality keys.

Yifeng Chen, Bei Wang, Xiaolin Wang

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

FastNBL: fast neighbor lists establishment for molecular dynamics simulation based on bitwise operations.

Kun Li, Shigang Li, Shan Huang, Yifeng Chen, Yunquan Zhang

J. Supercomput., 2020

The transplantation technology of communication intensive applications on heterogeneous clusters.

Xiang Cui, Xiaowen Li, Yifeng Chen

Trans. Emerg. Telecommun. Technol., 2020

How to Train Your Dragon: Tamed Warping Network for Semantic Video Segmentation.

Junyi Feng, Songyuan Li, Yifeng Chen, Fuxian Huang, Jiabao Cui, Xi Li

CoRR, 2020

T-Center: A Novel Feature Extraction Approach Towards Large-Scale Iris Recognition.

Yifeng Chen, Cheng Wu, Yiming Wang

IEEE Access, 2020

TextRay: Contour-based Geometric Modeling for Arbitrary-shaped Scene Text Detection.

Fangfang Wang, Yifeng Chen, Fei Wu, Xi Li

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Order-Aware Embedding Non-sampling Factorization Machines for Context-Aware Recommendation.

Qingzhi Hou, Yifeng Chen, Mei Yu, Ruiguo Yu, Jian Yu, Mankun Zhao, Tianyi Xu, Xuewei Li

Proceedings of the Neural Information Processing - 27th International Conference, 2020

Communication Optimization Strategy for Molecular Dynamics Simulation on Sunway TaihuLight.

Bei Wang, Yifeng Chen, Chaofeng Hou

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

BANet: Bidirectional Aggregation Network With Occlusion Handling for Panoptic Segmentation.

Yifeng Chen, Guangchen Lin, Songyuan Li, Omar El Farouk Bourahla, Yiming Wu, Fangfang Wang, Junyi Feng, Mingliang Xu, Xi Li

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Correction to: FastNBL: fast neighbor lists establishment for molecular dynamics simulation based on bitwise operations.

Kun Li, Shigang Li, Shan Huang, Yifeng Chen, Yunquan Zhang

J. Supercomput., 2019

Correction to: GMR: graph-compatible MapReduce programming model.

Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang

Multim. Tools Appl., 2019

GMR: graph-compatible MapReduce programming model.

Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang

Multim. Tools Appl., 2019

An Asynchronous Algorithm for Optimizing the Communication Performance.

Zhuo Tian, Yifeng Chen, Lei Zhang

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

swMD: Performance Optimizations for Molecular Dynamics Simulation on Sunway Taihulight.

Kun Li, Shigang Li, Bei Wang, Yifeng Chen, Yunquan Zhang

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

A Communication-Avoiding Algorithm for Molecular Dynamics Simulation.

Bei Wang, Yifeng Chen, Chaofeng Hou

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

An Asynchronous Algorithm to Reduce the Number of Data Exchanges.

Zhuo Tian, Yifeng Chen, Lei Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

T-Center: A Novel Discriminative Feature Extraction Approach for Iris Recognition.

Yifeng Chen, Cheng Wu, Yiming Wang

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Digital object identifier and its use in core Chinese academic journals: A Chinese perspective.

Weilang Wang, Lv-xiang Deng, Bin You, Ping Zhang, Yifeng Chen

Learn. Publ., 2018

Networked Control System Design for Turbofan Aeroengines with Aging and Deterioration.

Ruichao Li, Sing Kiong Nguang, Yingqing Guo, Yifeng Chen

Complex., 2018

An Efficient Recognition Method for Incomplete Iris Image Based on CNN Model.

Rongrong Shi, Yiming Wang, Yifeng Chen, Cheng Wu

Proceedings of the 2018 IEEE SmartWorld, 2018

Multi-objective Cooperative Scheduling of CAVs at Non-Signalized Intersection.

Xing Zhao, Jinxiang Wang, Yifeng Chen, Guodong Yin

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Asynchronous Parallel Dijkstra's Algorithm on Intel Xeon Phi Processor - How to Accelerate Irregular Memory Access Algorithm.

Weidong Zhang, Lei Zhang, Yifeng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Abstract Parallel Array Types and Ghost Cell Update Implementation.

Shuang Zhang, Bei Wang, Yifeng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Heterogeneous Hi-C Data Super-resolution with a Conditional Generative Adversarial Network.

Yifeng Chen, Wei Sun, Haohan Wang

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

An augmented smart home system based on the internet of people concept.

Yinjun Tu, Yudong Lei, Hanxuan Li, Yifu Wang, Yifeng Chen

Proceedings of the 27th International Telecommunication Networks and Applications Conference, 2017

Deicing of aluminum alloy rod by laser induced bubble explosion reaction.

Wenjun Xu, Jian Zhang, Yifeng Chen, Wei Xue, Yu Cao

Proceedings of the 4th International Conference on Systems and Informatics, 2017

Preconditioners for Parallel Reservoir Simulation.

Zhuo Tian, Bei Wang, Yifeng Chen

Proceedings of the International Conference on High Performance Compilation, 2017

Hybrid small class teaching: dividing and conquering large computer systems classes.

Yao Guo, Junlin Lu, Yifeng Chen, Ming Zhang, Wenxin Li

Proceedings of the ACM Turing 50th Celebration Conference, 2017

2016

Samsara parallel: a non-BSP parallel-in-time model.

Yifeng Chen, Kun Huang, Bei Wang, Guohui Li, Xiang Cui

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Optimizing Protein Folding Simulation on Intel Xeon Phi.

Kun Huang, Yifeng Chen

Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

2015

Trends and potential cautions in food web research from a bibliometric analysis.

Juan Tao, Rongxiao Che, Dekui He, Yunzhi Yan, Xiaoyun Sui, Yifeng Chen

Scientometrics, 2015

A bibliometric analysis of research papers related to the Mekong River.

Xiaoyun Sui, Yongxia Chen, Zhi Lu, Yifeng Chen

Scientometrics, 2015

Methods to speed up read operation in a 64 Mbit phase change memory chip.

Qian Wang, Xi Li, Houpeng Chen, Yifeng Chen, Yueqing Wang, Xi Fan, Jiajun Hu, Xiaoyun Li, Zhitang Song

IEICE Electron. Express, 2015

Tiles: a new language mechanism for heterogeneous parallelism.

Yifeng Chen, Xiang Cui, Hong Mei

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

UniDegree: A GPU-Based Graph Representation for SSSP.

Changyou Zhang, Feng Wang, Kun Huang, Zhiyou Liu, Yifeng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Improving Performance of Floating Point Division on GPU and MIC.

Kun Huang, Yifeng Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Programming Heterogeneous Systems with Array Types.

Xiang Cui, Xiaowen Li, Yifeng Chen

Proceedings of the 15th IEEE/ACM International Symposium on Cluster, 2015

2014

Flexible block management with data migration wear-leveling algorithm for phase change memory.

Mi Zhou, Xiaogang Chen, Shunfen Li, Yueqing Wang, Yifeng Chen, Gezi Li, Yuchan Wang, Zhitang Song

IEICE Electron. Express, 2014

Optimization of periphery circuits in a 1K-bit PCRAM chip for highly reliable write and read operations.

Xi Fan, Houpeng Chen, Qian Wang, Xi Li, Yiyun Zhang, Jiajun Hu, Rong Jin, Yifeng Chen, Zhitang Song

IEICE Electron. Express, 2014

Cross-Platform Parallel Programming in Parray: A Case Study.

Xiang Cui, Xiaowen Li, Yifeng Chen

Proceedings of the Network and Parallel Computing, 2014

2013

Semantic inheritance in unifying theories of programming.

Yifeng Chen

Formal Aspects Comput., 2013

Algebraic Program Semantics for Supercomputing.

Yifeng Chen

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

PARRAY: a unifying array representation for heterogeneous parallelism.

Yifeng Chen, Xiang Cui, Hong Mei

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Power-aware Programming with GPU Accelerators.

Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2011

Programming-Level Power Measurement for GPU Clusters.

Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen

Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 2011

2010

UTP and Sustainability.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Programmable Verifiers in Imperative Programming.

Yifeng Chen

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Abstraction of Object Graphs in Program Verification.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Large-scale FFT on GPU clusters.

Yifeng Chen, Xiang Cui, Hong Mei

Proceedings of the 24th International Conference on Supercomputing, 2010

Auto-tuning Dense Matrix Multiplication for GPGPU with Cache.

Xiang Cui, Yifeng Chen, Changyou Zhang, Hong Mei

Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

2009

Improving Performance of Matrix Multiplication and FFT on GPU.

Xiang Cui, Yifeng Chen, Hong Mei

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Unifying Probability with Nondeterminism.

Yifeng Chen, Jeff W. Sanders

Proceedings of the FM 2009: Formal Methods, 2009

2007

Inheriting Laws for Processes with States.

Yifeng Chen

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Hierarchical Organisation of Predicate-Semantic Models.

Yifeng Chen

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Compositional Reasoning for Pointer Structures.

Yifeng Chen, Jeff W. Sanders

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

MADESE: A Simulation Environment for Mobile Agent.

Xuhui Li, Jiannong Cao, Yanxiang He, Yifeng Chen

Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005

The weakest specifunction.

Yifeng Chen, Jeff W. Sanders

Acta Informatica, 2005

A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs.

Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

Generating C Code from LOGS Specifications.

Jianguo Zhou, Yifeng Chen

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Logic of global synchrony.

Yifeng Chen, Jeff W. Sanders

ACM Trans. Program. Lang. Syst., 2004

Checkpointing in Hybrid Distributed Systems.

Jiannong Cao, Yifeng Chen, Kang Zhang, Yanxiang He

Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Integrating Temporal Logics.

Yifeng Chen, Zhiming Liu

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

From Durational Specifications to TLA Designs of Timed Automata.

Yifeng Chen, Zhiming Liu

Proceedings of the Formal Methods and Software Engineering, 2004

2003

A fixpoint theory for non-monotonic parallelism.

Yifeng Chen

Theor. Comput. Sci., 2003

Top-Down Design of Bulk-Synchronous Parallel Programs.

Yifeng Chen, Jeff W. Sanders

Parallel Process. Lett., 2003

Cumulative Computing.

Yifeng Chen

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

Proceedings of the Formal Methods and Software Engineering, 2003

A GA-Based Solution to the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems.

Yanxiang He, Yifeng Chen

Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

2002

Generic Composition.

Yifeng Chen

Formal Aspects Comput., 2002

2001

Formal methods for global synchrony.

Yifeng Chen

PhD thesis, 2001

Weakest Specifunctions for BSP.

Yifeng Chen, Jeff W. Sanders

Parallel Process. Lett., 2001

2000

Specification for reactive bulk-synchronous programming.

Yifeng Chen

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

How to Write a Healthiness Condition.

Yifeng Chen

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1995

A high-dimensional SOFM vector quantizer with weightless neural predictor.

Yifeng Chen, Zhuoqun Xu

Proceedings of International Conference on Neural Networks (ICNN'95), Perth, WA, Australia, November 27, 1995

A hybrid neural network for spatio-temporal pattern recognition.

Yifeng Chen, Yuanda Cao

Proceedings of International Conference on Neural Networks (ICNN'95), Perth, WA, Australia, November 27, 1995