Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFeng Liu 0029
Person information
- affiliation: National University of Defense Technology, School of Computer Science, National Lab of Parallel Distributed Processing, Changsha, China
Other persons with the same name
- Feng Liu — disambiguation page
- Feng Liu 0001
![[0000-0002-7828-2090]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-7828-2090")
— Chinese Academy of Sciences, State Key Laboratory of Information Security, Institute of Software, Beijing, China - Feng Liu 0002 — Nanjing University of Science and Technology, School of Electronic and Optical Engineering, China
- Feng Liu 0003 (aka: Feng (Alex) Liu) — University of Melbourne, School of Mathematics and Statistics, Australia (and 2 more)
- Feng Liu 0004 — Shanghai Maritime University, College of Information Engineering, China
- Feng Liu 0005 — The University of Queensland, School of Information Technology and Electrical Engineering, Brisbane, QLD, Australia
- Feng Liu 0006 — Nanjing University, Department of Physics, China
- Feng Liu 0007 — Chinese Academy of Sciences, State Key Laboratory of Membrane Biology, Institute of Zoology, Beijing, China
- Feng Liu 0008 — Hefei University of Technology, School of Economics / Research Center of Industry Information, China
- Feng Liu 0009 — Beihang University, Department of School of Astronautics, Beijing, China (and 1 more)
- Feng Liu 0010 — Beihang University, School of Electronics and Information Engineering, Beijing, China (and 1 more)
- Feng Liu 0011 — Harvard Medical School, Massachusetts General Hospital, Boston, MA, USA (and 2 more)
- Feng Liu 0012 — Nankai University, College of Electronic Information and Optical Engineering, Tianjin, China (and 1 more)
- Feng Liu 0013 — Shenzhen University, School of Computer Science and Software Engineering, China (and 2 more)
- Feng Liu 0014 — Tsinghua University, Department of Electrical Engineering, State Key Laboratory of Power Systems, Beijing, China
- Feng Liu 0015 — Portland State University, Computer Science Department, OR, USA (and 2 more)
- Feng Liu 0016 — Avaya Labs Research, Basking Ridge, NJ, USA
- Feng Liu 0017 — Shanghai Jiao Tong University, Institute of Image Processing and Pattern Recognition, China
- Feng Liu 0018 — Nanjing University of Finance and Economics, School of Information Engineering, China
- Feng Liu 0019 — Southwest University, Faculty of Materials and Energy, Institute for Clean Energy and Advanced Materials, Chongqing, China
- Feng Liu 0020 — Dongbei University of Finance and Economics, School of Management Science and Engineering, Dalian, China (and 1 more)
- Feng Liu 0021 — Ludwig Maximilians University Munich, Germany
- Feng Liu 0022 — Northwestern Polytechnical University, School of Electronics and Information, Xi'an, China
- Feng Liu 0023 — Beihang University, School of Instrumentation and Optoelectronic Engineering, Beijing, China
- Feng Liu 0024 — Anhui University, School of Computer Science and Technology, Hefei, China
- Feng Liu 0025 — Xidian University, Key Laboratory of Antennas and Microwave Technologies, Xi'an, China
- Feng Liu 0026 — Harbin Engineering University, College of Shipbuilding Engineering, Harbin, China
- Feng Liu 0027 — Beijing Jiaotong University, School of Electronic and Information Engineering, Beijing, China
- Feng Liu 0028 — Nanjing University of Posts and Telecommunications, Jiangsu Provincial Key Lab of Image Processing and Image Communication, Nanjing, China
- Feng Liu 0030 — Chinese Academy of Sciences, Research Center on Fictitious Economy and Data Science, Beijing, China (and 2 more)
- Feng Liu 0031 — Vrije Universiteit Brussel, Computational Modeling Lab, Brussels, Belgium
- Feng Liu 0032 — National University of Defense Technology, College of Electronic Engineering, Hefei, China
- Feng Liu 0033 — Columbia University Medical Center, Department of Psychiatry, New York, NY, USA (and 1 more)
- Feng Liu 0034 — Harbin Institute of Technology, Shenzhen Key Laboratory of Internet Information Collaboration, Shenzhen, China
- Feng Liu 0035 — Tianjin Medical University, Department of Radiology, Tianjin Key Laboratory of Functional Imaging, Tianjin, China (and 1 more)
- Feng Liu 0036 — Deepwise AI Lab, Beijing, China (and 2 more)
- Feng Liu 0037 — Michigan State University, Department of Computer Science and Engineering, Computer Vision Lab, East Lansing, MI, USA (and 1 more)
- Feng Liu 0038 — Nanjing Tech University, College of Electrical Engineering and Control Science, China (and 2 more)
- Feng Liu 0039 — East China Normal University, China
- Feng Liu 0040 — Huawei Munich Research Center, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2012
[j7]Feng Liu, QingPing Tan, Otmane Aït Mohamed:
Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. 55(9): 1949-1960 (2012)- 2011
- [j6]Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen:
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54(6): 894-904 (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
- [c7]Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi:
AOP-based high-level power estimation in SystemC. ACM Great Lakes Symposium on VLSI 2010: 353-356 - [c6]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 - 2009
- [c5]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 - [c4]Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan:
A case study on system-level modeling by aspect-oriented programming. ISQED 2009: 345-349 - 2006
- [c3]Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu:
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb 2006: 275-284 - [c2]Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu:
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT 2006: 116-122 - 2005
- [c1]Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu:
Verifying Web Services Composition: A Transformation-Based Approach. PDCAT 2005: 546-548
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-06-24 22:54 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:
