default search action
Gang 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
— Zhejiang University, Database Laboratory, China
- Gang Chen 0002
- 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
- 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
- Gang Chen 0015
- 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
- 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
- Gang Chen 0024
- Gang Chen 0025
- Gang Chen 0026
- Gang Chen 0027 — University of California Riverside, Department of Electrical Engineering, CA, USA
- Gang Chen 0028
- Gang Chen 0029
- Gang Chen 0030 — Heriot-Watt University, Edinburgh, UK
- Gang Chen 0031
- Gang Chen 0032 — SUNY at Buffalo, Department of Computer Science, NY, USA
- Gang Chen 0033
- Gang Chen 0034
- Gang Chen 0035
- Gang Chen 0036
- Gang Chen 0037
- Gang Chen 0038
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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) - [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
2000 – 2009
- 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
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD 2009: 281-286 - 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)
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-11-15 19:35 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: