Liyun Dai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Forced-convergence decoding for {LDPC}-coded modulation Science China Information Sciences	2021-12-15	Paper
Nonlinear Craig interpolant generation (available as arXiv preprint)	2021-02-04	Paper
Logcf: an efficient tool for real root isolation Journal of Systems Science and Complexity	2020-01-20	Paper
Solving Splitted Multi-Commodity Flow Problem by Efficient Linear Programming Algorithm	2019-03-18	Paper
Open weak CAD and its applications Journal of Symbolic Computation	2019-01-21	Paper
Barrier certificates revisited Journal of Symbolic Computation	2017-02-06	Paper
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF Automated Reasoning	2016-09-05	Paper
Decidability of the reachability for a family of linear vector fields Automated Technology for Verification and Analysis	2016-01-08	Paper
Constructing fewer open cells by GCD computation in CAD projection Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation	2015-11-11	Paper
Smaller SDP for SOS decomposition Journal of Global Optimization	2015-10-20	Paper
Generating non-linear interpolants by semidefinite programming Computer Aided Verification	2013-11-26	Paper
Non-termination Sets of Simple Linear Loops Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Autocorrelation analysis of speech signals using Fermat number transform (FNT) IEEE Transactions on Signal Processing	1992-10-13	Paper

Research outcomes over time

This page was built for person: Liyun Dai