default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZheng Cheng
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j21]Zheng Cheng, Weidong Lei, Shibohua Zhang:
Residential Demand Response Scheduling Under Hybrid Tariffs Using Novel Multi-Objective Chemical Reaction Optimization Algorithm. IEEE Access 12: 135185-135206 (2024)- [j20]Shuteng Hu, Zheng Cheng, Guodong Fan
, Min Gan, C. L. Philip Chen:
Texture-aware and color-consistent learning for underwater image enhancement. J. Vis. Commun. Image Represent. 98: 104051 (2024) - [j19]Jiaju Wu, Linggang Kong, Shijia Kang, Hongfu Zuo, Yonghui Yang, Zheng Cheng:
Aircraft Engine Fault Diagnosis Model Based on 1DCNN-BiLSTM with CBAM. Sensors 24(3): 780 (2024) - [i2]Zheng Cheng, Guodong Fan, Jingchun Zhou, Min Gan, C. L. Philip Chen:
FDCE-Net: Underwater Image Enhancement with Embedding Frequency and Dual Color Encoder. CoRR abs/2404.17936 (2024) - 2023
- [j18]Ping Han, Yanwen Peng, Zheng Cheng, Dayu Liao, Binbin Han:
SEL-Net: A Self-Supervised Learning-Based Network for PolSAR Image Runway Region Detection. Remote. Sens. 15(19): 4708 (2023) - [c25]Naoki Hirabayashi, Masakazu Iwamura, Zheng Cheng, Kazunori Minatani, Koichi Kise:
VisPhoto: Photography for People with Visual Impairments via Post-Production of Omnidirectional Camera Imaging. ASSETS 2023: 6:1-6:17 - [c24]Ruiyi Cui, Deng Na, Zheng Cheng:
Evolution Analysis of R&D Jobs Based on Patents' Technology Efficacy Labeling. EIDWT 2023: 33-43 - [c23]Zheng Cheng, Deng Na, Ruiyi Cui, Hanhui Lin:
Classification of New Energy Vehicle Patent Texts Based on BERT-BILSTM. INCoS 2023: 115-124 - [c22]Hao Wu, Zheng Cheng:
Verifying Event-B Hybrid Models Using Cyclone. ABZ 2023: 179-184 - 2022
- [j17]Binbin Han, Ping Han, Zheng Cheng:
Object-Oriented Unsupervised Classification of PolSAR Images Based on Image Block. Remote. Sens. 14(16): 3953 (2022) - [j16]Ping Han, Dayu Liao, Binbin Han, Zheng Cheng:
SEAN: A Simple and Efficient Attention Network for Aircraft Detection in SAR Images. Remote. Sens. 14(18): 4669 (2022) - [j15]Zheng Cheng, Massimo Tisi:
Deep specification and proof preservation for the CoqTL transformation language. Softw. Syst. Model. 21(5): 1831-1852 (2022) - [c21]Cuifang Zheng, Jiaju Wu, Zheng Cheng, Linggang Kong, Shijia Kang, Bin Luo:
Research on IETM Data Publishing. AIIPCC 2022: 279-284 - 2021
- [j14]Ziteng Liu, Liqiang Lin, Qingqing Jia, Zheng Cheng, Yanyan Jiang, Yanwen Guo, Jing Ma:
Transferable Multilevel Attention Neural Network for Accurate Prediction of Quantum Chemistry Properties via Multitask Learning. J. Chem. Inf. Model. 61(3): 1066-1082 (2021) - [j13]Jiaju Wu, Huijun Liu, Hongfu Zuo, Zheng Cheng, Yonghui Yang, Yongqi Ma, Linggang Kong:
The Demand Supply Steady-State Process-Based Multi-Level Spare Parts Optimization. Sensors 21(24): 8324 (2021) - [c20]Zheng Cheng, Dominique Méry:
A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI 2021: 3-17 - 2020
- [j12]Rui Wang, Shaocheng Han, Peng Zhang, Meng Yue, Zheng Cheng, Yujin Zhang:
A Novel Zero-Watermarking Scheme Based on Variable Parameter Chaotic Mapping in NSPD-DCT Domain. IEEE Access 8: 182391-182411 (2020) - [j11]Jiahui Sun, Ping Han, Zheng Cheng, Enming Wu, Wenqing Wang:
Transformer Based Multi-Grained Attention Network for Aspect-Based Sentiment Analysis. IEEE Access 8: 211152-211163 (2020) - [j10]Zheng Cheng, Massimo Tisi, Rémi Douence:
CoqTL: a Coq DSL for rule-based model transformation. Softw. Syst. Model. 19(2): 425-439 (2020) - [c19]Masakazu Iwamura, Naoki Hirabayashi, Zheng Cheng, Kazunori Minatani, Koichi Kise:
VisPhoto: Photography for People with Visual Impairment as Post-Production of Omni-Directional Camera Image. CHI Extended Abstracts 2020: 1-9 - [c18]Thibault Béziers la Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu:
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks. SEAA 2020: 553-560 - [c17]Ping Han, Zetao Chen, Yishuang Wan, Zheng Cheng:
Polsar Image Classification based on Optimal Feature and Convolution Neural Network. IGARSS 2020: 1735-1738 - [c16]Zheng Cheng, Massimo Tisi, Joachim Hotonnier:
Certifying a rule-based model transformation engine for proof preservation. MoDELS 2020: 297-307
2010 – 2019
- 2019
- [j9]Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang:
Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning. Complex. 2019: 8431784:1-8431784:21 (2019) - [c15]Zheng Cheng, Ping Han, Binbin Han, Jiahui Sun:
Classification of Polarimetric SAR Image based on Improved Fuzzy Clustering. APSIPA 2019: 584-589 - [c14]Binbin Han, Ping Han, Zheng Cheng:
A Fast and Accurate Cluster Center Initialization Algorithm for PolSAR Superpixel Segmentation. APSIPA 2019: 2032-2037 - [c13]Zheng Cheng, Jean-Claude Royer, Massimo Tisi:
Removing Problems in Rule-Based Policies. SEC 2019: 120-133 - 2018
- [j8]Maohua Du, Zheng Cheng, Yanfei Zhang, Shensong Wang:
Multiobjective Optimization of Tool Geometric Parameters Using Genetic Algorithm. Complex. 2018: 9692764:1-9692764:14 (2018) - [j7]Zheng Cheng, Rosemary Monahan, James F. Power:
Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17(4): 1197-1225 (2018) - [j6]Zheng Cheng, Massimo Tisi:
Slicing ATL model transformations for scalable deductive verification and fault localization. Int. J. Softw. Tools Technol. Transf. 20(6): 645-663 (2018) - [c12]Massimo Tisi, Zheng Cheng:
CoqTL: An Internal DSL for Model Transformation in Coq. ICMT 2018: 142-156 - [c11]Zheng Cheng, Jean-Claude Royer, Massimo Tisi:
Efficiently Characterizing the Undefined Requests of a Rule-Based System. IFM 2018: 69-88 - 2017
- [c10]Zheng Cheng, Massimo Tisi:
A Deductive Approach for Fault Localization in ATL Model Transformations. FASE 2017: 300-317 - [c9]Zheng Cheng, Massimo Tisi:
Incremental Deductive Verification for Relational Model Transformations. ICST 2017: 379-389 - 2016
- [j5]Xiaoxing Zhang, Zheng Cheng, Yingang Gui:
Design of a New Built-in UHF Multi-Frequency Antenna Sensor for Partial Discharge Detection in High-Voltage Switchgears. Sensors 16(8): 1170 (2016) - [c8]Zheng Cheng, Dominique Méry, Rosemary Monahan:
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) 2016: 821-838 - [c7]Zheng Cheng, Massimo Tisi:
Towards incremental deductive verification for ATL. PAME/VOLT@MoDELS 2016: 38-47 - [i1]Qiang Guo, Hongwei Chen, Yuxi Wang, Yong Guo, Peng Liu, Xiurui Zhu, Zheng Cheng, Zhenming Yu, Minghua Chen, Sigang Yang, Shizhong Xie:
High-speed real-time single-pixel microscopy based on Fourier sampling. CoRR abs/1606.05200 (2016) - 2015
- [c6]Zheng Cheng, Rosemary Monahan, James F. Power:
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. ICMT 2015: 133-148 - [c5]Zheng Cheng, Rosemary Monahan, James F. Power:
Verifying SimpleGT Transformations Using an Intermediate Verification Language. VOLT@STAF 2015: 12-19 - 2013
- [c4]Ghulam Mehdi, Anyong Hu, Zheng Cheng, Jungang Miao, Abdul Mueed:
Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures. FIT 2013: 136-139 - 2012
- [j4]Zheng Cheng:
Nondeterministic Algorithm for Breaking Diffie-Hellman Key Exchange using Self-Assembly of DNA Tiles. Int. J. Comput. Commun. Control 7(4): 617-631 (2012) - [c3]Zheng Cheng, Rosemary Monahan, James F. Power:
A Simple Complexity Measurement for Software Verification and Software Testing. COMPARE 2012: 28-31 - 2010
- [j3]Zheng Cheng, Jon W. Mark:
Channel estimation by modulated Lagrange interpolation. Signal Process. 90(9): 2749-2759 (2010) - [c2]Dingyong Tang, Zheng Cheng, Dongmei Xie, Yizhen Tao:
Research of configuration management in complex equipment collaborative R&D. CSCWD 2010: 531-535
2000 – 2009
- 2007
- [j2]Zheng Cheng:
Explicit Frequency Estimation and Tracking Using Modulated Lagrange Delay Filter. Int. J. Wirel. Opt. Commun. 4(1): 1-22 (2007) - 2003
- [j1]Zheng Cheng, Tjeng Thiang Tjhung:
A new time delay estimator based on ETDE. IEEE Trans. Signal Process. 51(7): 1859-1869 (2003) - 2002
- [c1]Zheng Cheng, T. T. Tjhung:
A new algorithm for explicit time delay estimation. DSP 2002: 1297-1300
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-10-08 21:27 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:
