![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Yan Chen 0001
Person information
- affiliation: Max Planck Institute for Software Systems, Saarbrüen, Germany
Other persons with the same name
- Yan Chen — disambiguation page
- Yan Chen 0002 — Science Systems and Applications, Inc.
- Yan Chen 0003 — University of Electronic Science and Technology of China, School of Automation, Chengdu, China
- Yan Chen 0004
— Northwestern University, Department of Electrical Engineering and Computer Science, Evanston, IL, USA (and 2 more)
- Yan Chen 0005 — Shanghai Jiaotong University, Department of Electronics Engineering, China
- Yan Chen 0006
— Logistical Engineering University, Department of Petroleum Supply Engineering, Chongqing, China
- Yan Chen 0007
— University of Science and Technology of China, School of Cyber Science and Technology, China (and 3 more)
- Yan Chen 0008 — Shanghai University of Finance and Economics, China (and 1 more)
- Yan Chen 0009 — Borough of Manhattan Community College, CUNY, NY, USA
- Yan Chen 0010
— Huawei Technologies, Ottawa, ON, Canada (and 3 more)
- Yan Chen 0011 — Soochow University, Suzhou, China
- Yan Chen 0012
— University of Nottingham, UK (and 1 more)
- Yan Chen 0013
— Arizona State University, Polytechnic School, Dynamic Systems and Control Laboratory, Mesa, AZ, USA (and 1 more)
- Yan Chen 0014
— University of Michigan, School of Information, Ann Arbor, MI, USA
- Yan Chen 0015 — Dalian Maritime University, Dalian, China
- Yan Chen 0016
— Florida International University, College of Business, Miami, FL, USA (and 2 more)
- Yan Chen 0017
— Huaqiao University, College of Computer Science and Technology, Xiamen, China
- Yan Chen 0018 — Harbin Institute of Technology, Shenzhen, China
- Yan Chen 0019
— Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
- Yan Chen 0020 — University of Technology, Sydney, Australia
- Yan Chen 0021
— York University, Department of Electrical Engineering and Computer Science, Toronto, ON, Canada
- Yan Chen 0022
— Duke University, Department of Computer Science, Durham, USA
- Yan Chen 0023
— Stevens Institute of Technology, School of Business, Hoboken, NJ, USA (and 2 more)
- Yan Chen 0024 — Kaiserslautern University of Technology, Germany
- Yan Chen 0025
— China University of Mining and Technology, School of Information and Control Engineering, China
- Yan Chen 0026
(aka: Wendy Yan Chen) — University of Hong Kong, Department of Geography, Hong Kong (and 1 more)
- Yan Chen 0027
— University of New Mexico, Albuquerque, NW, USA (and 1 more)
- Yan Chen 0028
— University of South Carolina, Department of Electrical Engineering, Columbia, SC, USA
- Yan Chen 0029
— Japan Advanced Institute of Science and Technology, Nomi, Japan (and 1 more)
- Yan Chen 0030
— Donghua University, College of Information Science and Technology, Shanghai, China
- Yan Chen 0031
— Xi'an Jiaotong University, Department of Computer Science and Technology, MOEKLINNS Laboratory, China
- Yan Chen 0032
— Chongqing University of Technology, School of Electrical and Electronic Engineering, China
- Yan Chen 0033
— Virginia Tech, VA, USA (and 2 more)
- Yan Chen 0034
— South China University of Technology, Guangzhou, China
- Yan Chen 0035 — Nanyang Technological University, School of Computer Engineering, Singapore
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2014
- [j1]Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24(1): 56-112 (2014)
Conference and Workshop Papers
- 2014
- [c9]Yan Chen, Umut A. Acar, Kanat Tangwongsan:
Functional programming for dynamic and large data with self-adjusting computation. ICFP 2014: 227-240 - 2013
- [c8]Umut A. Acar, Yan Chen:
Streaming big data with self-adjusting computation. DDFP 2013: 15-18 - 2012
- [c7]Yan Chen, Jana Dunfield, Umut A. Acar:
Type-directed automatic incrementalization. PLDI 2012: 299-310 - 2011
- [c6]Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar:
Implicit self-adjusting computation for purely functional programs. ICFP 2011: 129-141 - [c5]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-adjusting stack machines. OOPSLA 2011: 753-772 - 2009
- [c4]Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang:
Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351 - [c3]Matthew A. Hammer, Umut A. Acar, Yan Chen:
CEAL: a C-based language for self-adjusting computation. PLDI 2009: 25-37 - 2008
- [c2]Yan Chen, Fei Xie, Jin Yang:
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148 - 2007
- [c1]Yan Chen, Yujing He, Fei Xie, Jin Yang:
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
Informal and Other Publications
- 2011
- [i1]Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar:
Self-Adjusting Stack Machines. CoRR abs/1108.3265 (2011)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-18 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint