default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGang Chen 0004
Person information
- affiliation: Lingcore Lab
- affiliation: University Paris Diderot, France
Other persons with the same name
- Gang Chen — disambiguation page
- Gang Chen 0001
![[0000-0002-7483-0045]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-7483-0045")
— Zhejiang University, Database Laboratory, China - Gang Chen 0002 (aka: Aaron Chen 0001) — Victoria University of Wellington, Unitec Institute of Technology, Auckland, New Zealand (and 1 more)
- Gang Chen 0003 — Tsinghua University, Department of Automation, Beijing, China
- Gang Chen 0005 — Nanjing University, Department of Geographic Information Science, China
- Gang Chen 0006 — Ningbo University, Institute of DSP and Software Techniques, China
- Gang Chen 0007 — University of California Riverside, Department of Electrical Engineering, CA, USA (and 1 more)
- Gang Chen 0008 — National Institute of Mental Health, Bethesda, MD, USA
- Gang Chen 0009 — University of California Los Angeles, Speech Processing and Auditory Perception Laboratory, CA, USA
- Gang Chen 0010 — Central South University, Changsha, China
- Gang Chen 0011 — Huawei, Santa Clara, CA, USA (and 2 more)
- Gang Chen 0012 — Fudan University, China
- Gang Chen 0013 — Unilever R&D, Port Sunlight, UK
- Gang Chen 0014 — Chongqing University, College of Automation, MOE Key Laboratory of Dependable Service Computing in Cyber Physical Society, China (and 1 more)
- Gang Chen 0015 — The University of North Carolina at Charlotte, Department of Geography and Earth Sciences, NC, USA (and 2 more)
- Gang Chen 0016 — Chinese Academie of Sciences, National Space Science Center, China
- Gang Chen 0017 — Zhejiang University, State Key Laboratory of Industrial Control Technology, China
- Gang Chen 0018 — Huazhong University of Science and Technology, School of Computer Science and Technology, China
- Gang Chen 0019 — MIT, Mechanical Engineering Department, Cambridge, MA, USA
- Gang Chen 0020 (aka: Michael Gang Chen) — University of California Los Angeles, Magma Design Automation, CA, USA
- Gang Chen 0021 (aka: Gang (Jeff) Chen) — Medical College of Wisconsin, Department of Biophysics, Milwaukee, WI, USA
- Gang Chen 0022 — National University of Singapore, Department of Electrical and Computer Engineering, Singapore
- Gang Chen 0023 — Sun Yat-sen University, School of Data and Computer Science, Guangzhou, China (and 2 more)
- Gang Chen 0024 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore (and 2 more)
- Gang Chen 0025 — Sichuan University, School of Mathematics, Chengdu, China
- Gang Chen 0026 — Wuhan University, School of Electronics and Information, China (and 1 more)
- Gang Chen 0027 — University of California Riverside, Department of Electrical Engineering, CA, USA
- Gang Chen 0028 — Tianjin University, School of Chemical Engineering and Technology, China
- Gang Chen 0029 — Beijing University of Posts and Telecommunications, School of Automation, China
- Gang Chen 0030 — Heriot-Watt University, Edinburgh, UK
- Gang Chen 0031 — Fuzhou University, School of Mechanical Engineering and Automation, China
- Gang Chen 0032 — SUNY at Buffalo, Department of Computer Science, NY, USA
- Gang Chen 0033 — Nanjing University of Science and Technology, School of Mechanical Engineering, China (and 1 more)
- Gang Chen 0034 — Shanghai Jiao Tong University, Department of Electronic Engineering, China
- Gang Chen 0035 — State Grid Sichuan Electric Power Research Institute, Chengdu, China (and 1 more)
- Gang Chen 0036 — Shanghai Jiaotong University, School of Mechanical Engineering, State Key Laboratory of Mechanical System and Vibration, China
- Gang Chen 0037 — Zhengzhou University, Computer and artificial intelligence school, China
- Gang Chen 0038 — Sun Yat-sen University, Business School, Guangzhou, China (and 1 more)
- Gang Chen 0039 — Tsinghua University, Department of Computer Science and Technology, Natural Language Processing Group, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2011
[j7]Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54(6): 894-904 (2011)- [j6]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. 5(1): 32-42 (2011) - 2010
- [j5]Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu:
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. 4(4): 306-316 (2010) - [j4]Feng Liu, Qingping Tan, Gang Chen:
Formal proof of prefix adders. Math. Comput. Model. 52(1-2): 191-199 (2010) - [j3]Gang Chen, Feng Liu:
Proofs of Correctness and Properties of Integer Adder Circuits. IEEE Trans. Computers 59(1): 134-136 (2010) - [j2]Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(10): 1655-1659 (2010) - 2007
- [j1]Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He:
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12(4): 52 (2007)
Conference and Workshop Papers
- 2010
- [c4]Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen:
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) 2010: 193-204 - [c3]Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu:
A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364 - 2009
- [c2]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323 - [c1]Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan:
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286
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-12-29 01:25 CET 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:
