ask others

Yifeng Chen

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mta/ZhangHCZ19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mta/ZhangHCZ19
Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang:
GMR: graph-compatible MapReduce programming model. Multimedia Tools Appl. 78(1): 457-475 (2019)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mta/ZhangHCZ19a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mta/ZhangHCZ19a
Weidong Zhang, Boxin He, Yifeng Chen, Qifei Zhang:
Correction to: GMR: graph-compatible MapReduce programming model. Multimedia Tools Appl. 78(1): 477 (2019)
2018
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/complexity/LiNGC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/complexity/LiNGC18
Ruichao Li, Sing Kiong Nguang, Yingqing Guo, Yifeng Chen:
Networked Control System Design for Turbofan Aeroengines with Aging and Deterioration. Complexity 2018: 6010216:1-6010216:13 (2018)
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/lp/WangDYZC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/lp/WangDYZC18
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. Learned Publishing 31(2): 149-154 (2018)
[c41]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/bibm/ChenSW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/bibm/ChenSW18
Yifeng Chen, Wei Sun, Haohan Wang:
Heterogeneous Hi-C Data Super-resolution with a Conditional Generative Adversarial Network. BIBM 2018: 2213-2220
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ica3pp/ZhangZC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ica3pp/ZhangZC18
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
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ica3pp/ZhangWC18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ica3pp/ZhangWC18
Shuang Zhang, Bei Wang, Yifeng Chen:
Abstract Parallel Array Types and Ghost Cell Update Implementation. ICA3PP (1) 2018: 532-541
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itsc/ZhaoWCY18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itsc/ZhaoWCY18
Xing Zhao, Jinxiang Wang, Yifeng Chen, Guodong Yin:
Multi-objective Cooperative Scheduling of CAVs at Non-Signalized Intersection. ITSC 2018: 3314-3319
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/uic/ShiWCW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uic/ShiWCW18
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
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/acm/GuoLCZL17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acm/GuoLCZL17
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
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icsai/XuZCXC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icsai/XuZCXC17
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
[c34]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/itnac/TuLLWC17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itnac/TuLLWC17
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
[c33]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ispdc/HuangC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ispdc/HuangC16
Kun Huang, Yifeng Chen:
Optimizing Protein Folding Simulation on Intel Xeon Phi. ISPDC 2016: 291-297
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppopp/ChenHWLC16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppopp/ChenHWLC16
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
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ieiceee/WangLCCWFHLS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ieiceee/WangLCCWFHLS15
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 Electronic Express 12(20): 20150792 (2015)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scientometrics/SuiCLC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scientometrics/SuiCLC15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scientometrics/TaoCHYSC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scientometrics/TaoCHYSC15
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)
[c31]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ccgrid/CuiLC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ccgrid/CuiLC15
Xiang Cui, Xiaowen Li, Yifeng Chen:
Programming Heterogeneous Systems with Array Types. CCGRID 2015: 1067-1074
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ica3pp/HuangC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ica3pp/HuangC15
Kun Huang, Yifeng Chen:
Improving Performance of Floating Point Division on GPU and MIC. ICA3PP (2) 2015: 691-703
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ica3pp/ZhangWHLC15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ica3pp/ZhangWHLC15
Changyou Zhang, Feng Wang, Kun Huang, Zhiyou Liu, Yifeng Chen:
UniDegree: A GPU-Based Graph Representation for SSSP. ICA3PP (2) 2015: 704-715
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppopp/ChenCM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppopp/ChenCM15
Yifeng Chen, Xiang Cui, Hong Mei:
Tiles: a new language mechanism for heterogeneous parallelism. PPOPP 2015: 287-288
2014
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ieiceee/ZhouCLWCLWS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ieiceee/ZhouCLWCLWS14
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 Electronic Express 11(22): 20140924 (2014)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ieiceee/FanCWLZHJCS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ieiceee/FanCWLZHJCS14
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 Electronic Express 11(24): 20141071 (2014)
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/npc/CuiLC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/npc/CuiLC14
Xiang Cui, Xiaowen Li, Yifeng Chen:
Cross-Platform Parallel Programming in Parray: A Case Study. NPC 2014: 579-582
2013
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Chen13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Chen13
Yifeng Chen:
Semantic inheritance in unifying theories of programming. Formal Asp. Comput. 25(1): 89-106 (2013)
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Chen13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Chen13
Yifeng Chen:
Algebraic Program Semantics for Supercomputing. Theories of Programming and Formal Methods 2013: 118-135
2012
[c25]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ipps/ZhangHCC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ipps/ZhangHCC12
Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen:
Power-aware Programming with GPU Accelerators. IPDPS Workshops 2012: 2443-2449
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppopp/ChenCM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppopp/ChenCM12
Yifeng Chen, Xiang Cui, Hong Mei:
PARRAY: a unifying array representation for heterogeneous parallelism. PPOPP 2012: 171-180
2011
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/greencom/ZhangHCC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/greencom/ZhangHCC11
Changyou Zhang, Kun Huang, Xiang Cui, Yifeng Chen:
Programming-Level Power Measurement for GPU Clusters. GreenCom 2011: 182-187
2010
[c22]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icpads/CuiCZM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icpads/CuiCZM10
Xiang Cui, Yifeng Chen, Changyou Zhang, Hong Mei:
Auto-tuning Dense Matrix Multiplication for GPGPU with Cache. ICPADS 2010: 237-242
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ics/ChenCM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ics/ChenCM10
Yifeng Chen, Xiang Cui, Hong Mei:
Large-scale FFT on GPU clusters. ICS 2010: 315-324
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mpc/ChenS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mpc/ChenS10
Yifeng Chen, Jeff W. Sanders:
Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/utp/ChenS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/utp/ChenS10
Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability. UTP 2010: 46-73
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/utp/Chen10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/utp/Chen10
Yifeng Chen:
Programmable Verifiers in Imperative Programming. UTP 2010: 172-187

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/ChenS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/ChenS09
Yifeng Chen, Jeff W. Sanders:
Unifying Probability with Nondeterminism. FM 2009: 467-482
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icpads/CuiCM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icpads/CuiCM09
Xiang Cui, Yifeng Chen, Hong Mei:
Improving Performance of Matrix Multiplication and FFT on GPU. ICPADS 2009: 42-48
2007
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifm/Chen07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifm/Chen07
Yifeng Chen:
Inheriting Laws for Processes with States. IFM 2007: 138-155
2006
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/IEEEcit/LiCHC06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/IEEEcit/LiCHC06
Xuhui Li, Jiannong Cao, Yanxiang He, Yifeng Chen:
MADESE: A Simulation Environment for Mobile Agent. CIT 2006: 86
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mpc/ChenS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mpc/ChenS06
Yifeng Chen, Jeff W. Sanders:
Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/utp/Chen06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/utp/Chen06
Yifeng Chen:
Hierarchical Organisation of Predicate-Semantic Models. UTP 2006: 155-172
2005
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/ChenS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/acta/ChenS05
Yifeng Chen, Jeff W. Sanders:
The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/ZhouC05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/ZhouC05
Jianguo Zhou, Yifeng Chen:
Generating C Code from LOGS Specifications. ICTAC 2005: 195-210
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/npc/ChenHCW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/npc/ChenHCW05
Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu:
A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs. NPC 2005: 180-188
2004
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/toplas/ChenS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/toplas/ChenS04
Yifeng Chen, Jeff W. Sanders:
Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/ChenL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/ChenL04
Yifeng Chen, Zhiming Liu:
From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifm/ChenL04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifm/ChenL04
Yifeng Chen, Zhiming Liu:
Integrating Temporal Logics. IFM 2004: 402-420
[c7]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/ispan/CaoCZH04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ispan/CaoCZH04
Jiannong Cao, Yifeng Chen, Kang Zhang, Yanxiang He:
Checkpointing in Hybrid Distributed Systems. ISPAN 2004: 136-141
2003
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ppl/ChenS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ppl/ChenS03
Yifeng Chen, Jeff W. Sanders:
Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Chen03a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Chen03a
Yifeng Chen:
A fixpoint theory for non-monotonic parallelism. Theor. Comput. Sci. 308(1-3): 367-392 (2003)
[c6]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icdcsw/HeC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdcsw/HeC03
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
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfem/LiuJLC03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfem/LiuJLC03
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664
2002
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Chen02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Chen02
Yifeng Chen:
Generic Composition. Formal Asp. Comput. 14(2): 108-122 (2002)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Chen02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Chen02
Yifeng Chen:
A Fixpoint Theory for Non-monotonic Parallelism. CSL 2002: 120-134
2001
[j1]
- view
  - electronic edition @ worldscinet.com
- export record
  dblp key:
  - journals/ppl/ChenS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ppl/ChenS01
Yifeng Chen, Jeff W. Sanders:
Weakest Specifunctions for BSP. Parallel Processing Letters 11(4): 439-454 (2001)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/ChenS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/ChenS01
Yifeng Chen, Jeff W. Sanders:
Logic of Global Synchrony. CONCUR 2001: 487-501
2000
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ifm/Chen00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ifm/Chen00
Yifeng Chen:
How to Write a Healthiness Condition. IFM 2000: 299-317
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/pdp/Chen00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pdp/Chen00
Yifeng Chen:
Specification for reactive bulk-synchronous programming. PDP 2000: 190-196

Coauthor Index

see FAQ

maintained by

, founded at