default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYifeng Chen
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2001
[b1]Yifeng Chen:
Formal methods for global synchrony. University of Oxford, UK, 2001
Journal Articles
- 2024
- [j27]Guangchen Lin
, Songyuan Li, Yifeng Chen, Xi Li:
IDNet: Information Decomposition Network for Fast Panoptic Segmentation. IEEE Trans. Image Process. 33: 1487-1496 (2024) - 2023
- [j26]Achini Peiris, Felix Kin Peng Hui, Colin Duffield, Jun Wang, Miguel Gil Garcia, Yifeng Chen, Tuan Duc Ngo:
Digitalising modular construction: Enhancement of off-site manufacturing productivity via a manufacturing execution & control (MEC) system. Comput. Ind. Eng. 178: 109117 (2023) - [j25]Yifeng Chen, Jeff W. Sanders:
A modal approach to conscious social agents. Int. J. Softw. Tools Technol. Transf. 25(5): 707-716 (2023) - [j24]Fangfang Wang, Xiaogang Xu, Yifeng Chen, Xi Li:
Fuzzy Semantics for Arbitrary-Shaped Scene Text Detection. IEEE Trans. Image Process. 32: 1-12 (2023) - [j23]Zhongyu Li, Chaoqun Li, Xiangde Luo, Yitian Zhou, Jihua Zhu, Cunbao Xu, Meng Yang, Yenan Wu, Yifeng Chen:
Toward Source-Free Cross Tissues Histopathological Cell Segmentation via Target-Specific Finetuning. IEEE Trans. Medical Imaging 42(9): 2666-2677 (2023) - 2021
- [j22]Yifeng Chen, Cheng Wu, Yiming Wang:
Whether normalized or not? Towards more robust iris recognition using dynamic programming. Image Vis. Comput. 107: 104112 (2021) - [j21]Shaoyi Li, Jian Lin, Xi Yang, Jun Ma, Yifeng Chen:
BPFD-Net: enhanced dehazing model based on Pix2pix framework for single image. Mach. Vis. Appl. 32(6): 124 (2021) - 2020
- [j20]Yifeng Chen, Cheng Wu, Yiming Wang:
T-Center: A Novel Feature Extraction Approach Towards Large-Scale Iris Recognition. IEEE Access 8: 32365-32375 (2020) - [j19]Xiang Cui, Xiaowen Li, Yifeng Chen:
The transplantation technology of communication intensive applications on heterogeneous clusters. Trans. Emerg. Telecommun. Technol. 31(12) (2020) - [j18]Kun Li, Shigang Li, Shan Huang, Yifeng Chen, Yunquan Zhang:
FastNBL: fast neighbor lists establishment for molecular dynamics simulation based on bitwise operations. J. Supercomput. 76(7): 5501-5520 (2020) - 2019
- [j17]Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang:
GMR: graph-compatible MapReduce programming model. Multim. Tools Appl. 78(1): 457-475 (2019) - [j16]Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang:
Correction to: GMR: graph-compatible MapReduce programming model. Multim. Tools Appl. 78(1): 477 (2019) - [j15]Kun Li, Shigang Li, Shan Huang, Yifeng Chen, Yunquan Zhang:
Correction to: FastNBL: fast neighbor lists establishment for molecular dynamics simulation based on bitwise operations. J. Supercomput. 75(12): 8339-8340 (2019) - 2018
- [j14]Ruichao Li, Sing Kiong Nguang, Yingqing Guo, Yifeng Chen:
Networked Control System Design for Turbofan Aeroengines with Aging and Deterioration. Complex. 2018: 6010216:1-6010216:13 (2018) - [j13]Weilang Wang, Lv-xiang Deng, Bin You, Ping Zhang, Yifeng Chen:
Digital object identifier and its use in core Chinese academic journals: A Chinese perspective. Learn. Publ. 31(2): 149-154 (2018) - 2015
- [j12]Qian Wang, Xi Li, Houpeng Chen, Yifeng Chen, Yueqing Wang, Xi Fan, Jiajun Hu, Xiaoyun Li, Zhitang Song:
Methods to speed up read operation in a 64 Mbit phase change memory chip. IEICE Electron. Express 12(20): 20150792 (2015) - [j11]Xiaoyun Sui, Yongxia Chen, Zhi Lu, Yifeng Chen:
A bibliometric analysis of research papers related to the Mekong River. Scientometrics 105(1): 419-434 (2015) - [j10]Juan Tao, Rongxiao Che, Dekui He, Yunzhi Yan, Xiaoyun Sui, Yifeng Chen:
Trends and potential cautions in food web research from a bibliometric analysis. Scientometrics 105(1): 435-447 (2015) - 2014
- [j9]Mi Zhou, Xiaogang Chen, Shunfen Li, Yueqing Wang, Yifeng Chen, Gezi Li, Yuchan Wang, Zhitang Song:
Flexible block management with data migration wear-leveling algorithm for phase change memory. IEICE Electron. Express 11(22): 20140924 (2014) - [j8]Xi Fan, Houpeng Chen, Qian Wang, Xi Li, Yiyun Zhang, Jiajun Hu, Rong Jin, Yifeng Chen, Zhitang Song:
Optimization of periphery circuits in a 1K-bit PCRAM chip for highly reliable write and read operations. IEICE Electron. Express 11(24): 20141071 (2014) - 2013
- [j7]Yifeng Chen:
Semantic inheritance in unifying theories of programming. Formal Aspects Comput. 25(1): 89-106 (2013) - 2005
- [j6]Yifeng Chen, Jeff W. Sanders:
The weakest specifunction. Acta Informatica 41(7-8): 383-414 (2005) - 2004
- [j5]Yifeng Chen, Jeff W. Sanders:
Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004) - 2003
- [j4]Yifeng Chen, Jeff W. Sanders:
Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Process. Lett. 13(3): 389-400 (2003) - [j3]Yifeng Chen:
A fixpoint theory for non-monotonic parallelism. Theor. Comput. Sci. 308(1-3): 367-392 (2003) - 2002
- [j2]Yifeng Chen:
Generic Composition. Formal Aspects Comput. 14(2): 108-122 (2002) - 2001
- [j1]Yifeng Chen, Jeff W. Sanders:
Weakest Specifunctions for BSP. Parallel Process. Lett. 11(4): 439-454 (2001)
Conference and Workshop Papers
- 2023
- [c59]Yifeng Chen, Jeff W. Sanders:
Consciousness by Degree. Theories of Programming and Formal Methods 2023: 87-109 - [c58]Yuwen Tan, Xiang Xiang, Yifeng Chen, Hongyi Jing, Shiyang Ye, Chaoran Xue, Hui Xu:
Coupling Bracket Segmentation and Tooth Surface Reconstruction on 3D Dental Models. MICCAI (6) 2023: 411-420 - 2022
- [c57]Yifeng Chen, Jeff W. Sanders:
A Modal Approach to Consciousness of Agents. ISoLA (3) 2022: 127-141 - [c56]Rui Ma, Yichuan Jiang, Yifeng Chen, Mingming Zhang:
A New EEG-based Paradigm for Classifying Intention of Compound-Limbs Movement. RCAR 2022: 63-68 - 2021
- [c55]Yifeng Chen, Bei Wang, Xiaolin Wang:
Extending MapReduce framework with locality keys. PPoPP 2021: 460-462 - 2020
- [c54]Yifeng Chen, Guangchen Lin, Songyuan Li, Omar El Farouk Bourahla, Yiming Wu, Fangfang Wang, Junyi Feng, Mingliang Xu, Xi Li:
BANet: Bidirectional Aggregation Network With Occlusion Handling for Panoptic Segmentation. CVPR 2020: 3792-3801 - [c53]Bei Wang, Yifeng Chen, Chaofeng Hou:
Communication Optimization Strategy for Molecular Dynamics Simulation on Sunway TaihuLight. HPCC/DSS/SmartCity 2020: 571-578 - [c52]Qingzhi Hou, Yifeng Chen, Mei Yu, Ruiguo Yu, Jian Yu, Mankun Zhao, Tianyi Xu, Xuewei Li:
Order-Aware Embedding Non-sampling Factorization Machines for Context-Aware Recommendation. ICONIP (4) 2020: 780-788 - [c51]Fangfang Wang, Yifeng Chen, Fei Wu, Xi Li:
TextRay: Contour-based Geometric Modeling for Arbitrary-shaped Scene Text Detection. ACM Multimedia 2020: 111-119 - 2019
- [c50]Yifeng Chen, Cheng Wu, Yiming Wang:
T-Center: A Novel Discriminative Feature Extraction Approach for Iris Recognition. AAAI 2019: 9929-9930 - [c49]Bei Wang, Yifeng Chen, Chaofeng Hou:
A Communication-Avoiding Algorithm for Molecular Dynamics Simulation. ICA3PP (1) 2019: 75-88 - [c48]Zhuo Tian, Yifeng Chen, Lei Zhang:
An Asynchronous Algorithm to Reduce the Number of Data Exchanges. ICA3PP (2) 2019: 167-174 - [c47]Kun Li, Shigang Li, Bei Wang, Yifeng Chen, Yunquan Zhang:
swMD: Performance Optimizations for Molecular Dynamics Simulation on Sunway Taihulight. ISPA/BDCloud/SocialCom/SustainCom 2019: 511-518 - [c46]Zhuo Tian, Yifeng Chen, Lei Zhang:
An Asynchronous Algorithm for Optimizing the Communication Performance. ISPA/BDCloud/SocialCom/SustainCom 2019: 1017-1024 - 2018
- [c45]Yifeng Chen, Wei Sun, Haohan Wang:
Heterogeneous Hi-C Data Super-resolution with a Conditional Generative Adversarial Network. BIBM 2018: 2213-2220 - [c44]Weidong Zhang, Lei Zhang, Yifeng Chen:
Asynchronous Parallel Dijkstra's Algorithm on Intel Xeon Phi Processor - How to Accelerate Irregular Memory Access Algorithm. ICA3PP (1) 2018: 337-357 - [c43]Shuang Zhang, Bei Wang, Yifeng Chen:
Abstract Parallel Array Types and Ghost Cell Update Implementation. ICA3PP (1) 2018: 532-541 - [c42]Xing Zhao, Jinxiang Wang, Yifeng Chen, Guodong Yin:
Multi-objective Cooperative Scheduling of CAVs at Non-Signalized Intersection. ITSC 2018: 3314-3319 - [c41]Rongrong Shi, Yiming Wang, Yifeng Chen, Cheng Wu:
An Efficient Recognition Method for Incomplete Iris Image Based on CNN Model. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 1154-1159 - 2017
- [c40]Yao Guo, Junlin Lu, Yifeng Chen, Ming Zhang, Wenxin Li:
Hybrid small class teaching: dividing and conquering large computer systems classes. ACM TUR-C 2017: 5:1-5:6 - [c39]Zhuo Tian, Bei Wang, Yifeng Chen:
Preconditioners for Parallel Reservoir Simulation. HP3C 2017: 45-49 - [c38]Wenjun Xu, Jian Zhang, Yifeng Chen, Wei Xue, Yu Cao:
Deicing of aluminum alloy rod by laser induced bubble explosion reaction. ICSAI 2017: 386-390 - [c37]Yinjun Tu, Yudong Lei, Hanxuan Li, Yifu Wang, Yifeng Chen:
An augmented smart home system based on the internet of people concept. ITNAC 2017: 1-3 - 2016
- [c36]Kun Huang, Yifeng Chen:
Optimizing Protein Folding Simulation on Intel Xeon Phi. ISPDC 2016: 291-297 - [c35]Yifeng Chen, Kun Huang, Bei Wang, Guohui Li, Xiang Cui:
Samsara parallel: a non-BSP parallel-in-time model. PPoPP 2016: 49:1-49:2 - 2015
- [c34]Xiang Cui, Xiaowen Li, Yifeng Chen:
Programming Heterogeneous Systems with Array Types. CCGRID 2015: 1067-1074 - [c33]Kun Huang, Yifeng Chen:
Improving Performance of Floating Point Division on GPU and MIC. ICA3PP (2) 2015: 691-703 - [c32]Changyou Zhang, Feng Wang, Kun Huang, Zhiyou Liu, Yifeng Chen:
UniDegree: A GPU-Based Graph Representation for SSSP. ICA3PP (2) 2015: 704-715 - [c31]Yifeng Chen, Xiang Cui, Hong Mei:
Tiles: a new language mechanism for heterogeneous parallelism. PPoPP 2015: 287-288 - 2014
- [c30]Xiang Cui, Xiaowen Li, Yifeng Chen:
Cross-Platform Parallel Programming in Parray: A Case Study. NPC 2014: 579-582 - 2013
- [c29]Yifeng Chen:
Algebraic Program Semantics for Supercomputing. Theories of Programming and Formal Methods 2013: 118-135 - 2012
- [c28]Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen:
Power-aware Programming with GPU Accelerators. IPDPS Workshops 2012: 2443-2449 - [c27]Yifeng Chen, Xiang Cui, Hong Mei:
PARRAY: a unifying array representation for heterogeneous parallelism. PPoPP 2012: 171-180 - 2011
- [c26]Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen:
Programming-Level Power Measurement for GPU Clusters. GreenCom 2011: 182-187 - 2010
- [c25]Xiang Cui, Yifeng Chen, Changyou Zhang, Hong Mei:
Auto-tuning Dense Matrix Multiplication for GPGPU with Cache. ICPADS 2010: 237-242 - [c24]Yifeng Chen, Xiang Cui, Hong Mei:
Large-scale FFT on GPU clusters. ICS 2010: 315-324 - [c23]Yifeng Chen, Jeff W. Sanders:
Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99 - [c22]Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability. UTP 2010: 46-73 - [c21]Yifeng Chen:
Programmable Verifiers in Imperative Programming. UTP 2010: 172-187 - 2009
- [c20]Yifeng Chen, Jeff W. Sanders:
Unifying Probability with Nondeterminism. FM 2009: 467-482 - [c19]Xiang Cui, Yifeng Chen, Hong Mei:
Improving Performance of Matrix Multiplication and FFT on GPU. ICPADS 2009: 42-48 - 2007
- [c18]Yifeng Chen:
Inheriting Laws for Processes with States. IFM 2007: 138-155 - 2006
- [c17]Xuhui Li, Jiannong Cao, Yanxiang He, Yifeng Chen:
MADESE: A Simulation Environment for Mobile Agent. CIT 2006: 86 - [c16]Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. MPC 2006: 115-139 - [c15]Yifeng Chen:
Hierarchical Organisation of Predicate-Semantic Models. UTP 2006: 155-172 - 2005
- [c14]Jianguo Zhou, Yifeng Chen:
Generating C Code from LOGS Specifications. ICTAC 2005: 195-210 - [c13]Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu:
A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs. NPC 2005: 180-188 - 2004
- [c12]Yifeng Chen, Zhiming Liu:
From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482 - [c11]Yifeng Chen, Zhiming Liu:
Integrating Temporal Logics. IFM 2004: 402-420 - [c10]Jiannong Cao, Yifeng Chen, Kang Zhang, Yanxiang He:
Checkpointing in Hybrid Distributed Systems. ISPAN 2004: 136-141 - 2003
- [c9]Yanxiang He, Yifeng Chen:
A GA-Based Solution to the Migration Problem of Mobile Agents in Distributed Information Retrieval Systems. ICDCS Workshops 2003: 466-471 - [c8]Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 - [c7]Yifeng Chen:
Cumulative Computing. MFPS 2003: 23-38 - 2002
- [c6]Yifeng Chen:
A Fixpoint Theory for Non-monotonic Parallelism. CSL 2002: 120-134 - 2001
- [c5]Yifeng Chen, Jeff W. Sanders:
Logic of Global Synchrony. CONCUR 2001: 487-501 - 2000
- [c4]Yifeng Chen:
How to Write a Healthiness Condition. IFM 2000: 299-317 - [c3]Yifeng Chen:
Specification for reactive bulk-synchronous programming. PDP 2000: 190-196 - 1995
- [c2]Yifeng Chen, Yuanda Cao:
A hybrid neural network for spatio-temporal pattern recognition. ICNN 1995: 1414-1417 - [c1]Yifeng Chen, Zhuoqun Xu:
A high-dimensional SOFM vector quantizer with weightless neural predictor. ICNN 1995: 1418-1421
Informal and Other Publications
- 2023
- [i5]Xueming Fu, Hao Zheng, Luyan Liu, Wenjuan Zhong, Haowen Liu, Wenxuan Xiong, Yuyang Zhang, Yifeng Chen, Dong Wei, Mingjie Dong, Yefeng Zheng, Mingming Zhang:
Gait Cycle-Inspired Learning Strategy for Continuous Prediction of Knee Joint Trajectory from sEMG. CoRR abs/2307.13209 (2023) - 2022
- [i4]Yifeng Chen, Wenqing Chu, Fangfang Wang, Ying Tai, Ran Yi, Zhenye Gan, Liang Yao, Chengjie Wang, Xi Li:
CFNet: Learning Correlation Functions for One-Stage Panoptic Segmentation. CoRR abs/2201.04796 (2022) - 2020
- [i3]Yifeng Chen, Guangchen Lin, Songyuan Li, Omar El Farouk Bourahla, Yiming Wu, Fangfang Wang, Junyi Feng, Mingliang Xu, Xi Li:
BANet: Bidirectional Aggregation Network with Occlusion Handling for Panoptic Segmentation. CoRR abs/2003.14031 (2020) - [i2]Junyi Feng, Songyuan Li, Yifeng Chen, Fuxian Huang, Jiabao Cui, Xi Li:
How to Train Your Dragon: Tamed Warping Network for Semantic Video Segmentation. CoRR abs/2005.01344 (2020) - [i1]Fangfang Wang, Yifeng Chen, Fei Wu, Xi Li:
TextRay: Contour-based Geometric Modeling for Arbitrary-shaped Scene Text Detection. CoRR abs/2008.04851 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
