# Zilong Wang

According to our database

Collaborative distances:

^{1}, Zilong Wang authored at least 66 papers between 2008 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

A New Generalized Paraunitary Generator for Complementary Sets and Complete Complementary Codes of Size 2

^{m}.
IEEE Signal Process. Lett., 2019

New Characterizations for the Multi-output Correlation-Immune Boolean Functions.

CoRR, 2019

The Fourier Spectral Characterization for the Correlation-Immune Functions over Fp.

CoRR, 2019

BAB-QA: A New Neural Model for Emotion Detection in Multi-party Dialogue.

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2019

2018

Discrete Fourier Transform of Boolean Functions over the Complex Field and Its Applications.

IEEE Trans. Information Theory, 2018

Surrogate-based feasibility analysis for black-box stochastic simulations with heteroscedastic noise.

J. Global Optimization, 2018

Efficient KEA-Style Lattice-Based Authenticated Key Exchange.

IACR Cryptology ePrint Archive, 2018

Constrained optimization of black-box stochastic systems using a novel feasibility enhanced Kriging-based method.

Computers & Chemical Engineering, 2018

A novel and systematic approach to identify the design space of pharmaceutical processes.

Computers & Chemical Engineering, 2018

2017

Process analysis and optimization of continuous pharmaceutical manufacturing using flowsheet models.

Computers & Chemical Engineering, 2017

A method to construct complementary sets of non-power-of-two length by concatenation.

Proceedings of the Eighth International Workshop on Signal Design and Its Applications in Communications, 2017

A new method to construct golay complementary set and near-complementary set by paraunitary matrices.

Proceedings of the Eighth International Workshop on Signal Design and Its Applications in Communications, 2017

2016

Algorithms and Tools for Verification and Testing of Asynchronous Programs.

PhD thesis, 2016

A Generalized Construction of Non-Square M-QAM Sequences with Low PMEPR for OFDM Systems.

IEICE Transactions, 2016

Generalized cryptanalysis of RSA with small public exponent.

SCIENCE CHINA Information Sciences, 2016

LLSPLAT: Improving Concolic Testing by Bounded Model Checking.

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015

Towards Extremely Sensitive Ultraviolet-Light Sensors Employing Photochromic Optical Microfiber.

J. Sensors, 2015

Construction of near-complementary sequences of length n · 2m.

Proceedings of the Seventh International Workshop on Signal Design and its Applications in Communications, 2015

Clustered Multi-dictionary Code Compression for Embedded Systems.

Proceedings of the 2015 Data Compression Conference, 2015

Code compression in embedded processors using multi-dictionary and pattern blocks.

Proceedings of the IEEE 28th Canadian Conference on Electrical and Computer Engineering, 2015

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

On the PMEPR of Binary Golay Sequences of Length $2^{n}$.

IEEE Trans. Information Theory, 2014

Research on Spatial Variability Characteristics of Black Soil Unfrozen Water in Songnen Plain during Freezing-Thawing Period.

Proceedings of the Computer and Computing Technologies in Agriculture VIII, 2014

Comprehensive Evaluation of Land Resources Carrying Capacity under Different Scales Based on RAGA-PPC.

Proceedings of the Computer and Computing Technologies in Agriculture VIII, 2014

Accelerating frequent item counting with FPGA.

Proceedings of the 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2014

Kuai: A model checker for software-defined networks.

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

New Polyphase Sequence Families With Low Correlation Derived From the Weil Bound of Exponential Sums.

IEEE Trans. Information Theory, 2013

Correlation of binary sequence families derived from the multiplicative characters of finite fields.

Adv. in Math. of Comm., 2013

The cross-correlation distribution of a p-ary m-sequence of period p

^{2k}-1 and its decimated sequence by ( (p^{k}+1)^{2}/ 2(p^{e}+1) ).
Adv. in Math. of Comm., 2013

Static Provenance Verification for Message Passing Programs.

Proceedings of the Static Analysis - 20th International Symposium, 2013

Provenance Verification.

Proceedings of the Reachability Problems - 7th International Workshop, 2013

DTW-Based Subsequence Similarity Search on AMD Heterogeneous Computing Platform.

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

Accelerating subsequence similarity search based on dynamic time warping distance with FPGA.

Proceedings of the 2013 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2013

Expand, Enlarge, and Check for Branching Vector Addition Systems.

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Construction of Near-Complementary Sequences with Low PMEPR for Peak Power Control in OFDM.

IEICE Transactions, 2012

Adaptive Key Protection in Complex Cryptosystems with Attributes.

IACR Cryptology ePrint Archive, 2012

CLSE: Closed-Loop Symbolic Execution.

Proceedings of the NASA Formal Methods, 2012

Research on Identifying Method of Freezing-Thawing Soil Hydraulic Properties.

Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

Dynamic Simulation of Water Resources Sustainable Utilization of Kiamusze Based on System Dynamics.

Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

FPGA based memory efficient high resolution stereo vision system for video tolling.

Proceedings of the 2012 International Conference on Field-Programmable Technology, 2012

2011

New Sequences Design From Weil Representation With Low Two-Dimensional Correlation in Both Time and Phase Shifts.

IEEE Trans. Information Theory, 2011

Numerical simulation of water-heat coupled movements in seasonal frozen soil.

Mathematical and Computer Modelling, 2011

Mathematical modeling and numerical simulation of water-heat coupled movements in a snow cover-soil union.

Mathematical and Computer Modelling, 2011

Study on Partial Least-Squares Regression Model of Simulating Freezing Depth Based on Particle Swarm Optimization.

JCP, 2011

The cross-correlation distribution of a p-ary m-sequence of period p

^{2m}-1 and its decimation by (p^{m}+1)^{2}/ 2(p^{e}+1).
CoRR, 2011

On the Cross-Correlation of a Ternary m-sequence of Period 3

^{4k}-1 and Its Decimated Sequence by (3^{2k}+1)^{2}/ 20.
CoRR, 2011

$p$-ary sequences with six-valued cross-correlation function: a new decimation of Niho type

CoRR, 2011

Cross-correlation of some extended d-form sequences.

Proceedings of the Fifth International Workshop on Signal Design and its Applications in Communications, 2011

New near-complementary sequences with low PMEPR for peak power control in OFDM.

Proceedings of the Fifth International Workshop on Signal Design and its Applications in Communications, 2011

On the cross-correlation of a ternary m-sequence of period 3

^{4k}- 1 and its decimated sequence by (3^{2k}+1)^{2}/20.
Proceedings of the Fifth International Workshop on Signal Design and its Applications in Communications, 2011

Comprehensive Evaluation of Regional Agricultural Water and Land Resources Carrying Capacity Based on DPSIR Concept Framework and PP Model.

Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Sustainability Assessment of Regional Water Resources Use Based on PSO-PPE.

Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Airfoil shear probe performance analysis and optimal design.

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2010

Delineating soil nutrient management zones based on fuzzy clustering optimized by PSO.

Mathematical and Computer Modelling, 2010

Multi-agent system design and evaluation for collaborative wireless sensor network in large structure health monitoring.

Expert Syst. Appl., 2010

On the Construction of Finite Oscillator Dictionary

CoRR, 2010

A Generalized Construction of OFDM M-QAM Sequences With Low Peak-to-Average Power Ratio

CoRR, 2010

FPGA and GPU implementation of large scale SpMV.

Proceedings of the IEEE 8th Symposium on Application Specific Processors, 2010

Systematic testing for control applications.

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Study on Delineation of Irrigation Management Zones Based on Management Zone Analyst Software.

Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

FPGA implementation of GZIP compression and decompression for IDC services.

Proceedings of the International Conference on Field-Programmable Technology, 2010

2009

Design and Evaluation of a Wireless Sensor Network Based Aircraft Strength Testing System.

Sensors, 2009

A Note on the Diagonalization of the Discrete Fourier Transform

CoRR, 2009

A generalized construction of OFDM

*M*-QAM sequences with low peak-to-average power ratio.
Adv. in Math. of Comm., 2009

2008

New Sequences Design from Weil Representation with Low Two-Dimensional Correlation in Both Time and Phase Shifts

CoRR, 2008

Research on Precision Irrigation in Western Semiarid Area of Heilongjiang Province by Interpreting Data Source Spatial Distribution.

Proceedings of the Computer and Computing Technologies in Agriculture II, Volume 1, 2008