Liyun Dai

Available identifiers

Publication	Date of Publication	Type
Forced-convergence decoding for LDPC-coded modulation	2021-12-15	Paper
Nonlinear Craig interpolant generation	2021-02-04	Paper
Logcf: an efficient tool for real root isolation	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	2019-01-21	Paper
Barrier certificates revisited	2017-02-06	Paper
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF	2016-09-05	Paper
Decidability of the Reachability for a Family of Linear Vector Fields	2016-01-08	Paper
Constructing fewer open cells by GCD computation in CAD projection	2015-11-11	Paper
Smaller SDP for SOS decomposition	2015-10-20	Paper
Generating Non-linear Interpolants by Semidefinite Programming	2013-11-26	Paper
Non-termination Sets of Simple Linear Loops	2012-09-21	Paper
Autocorrelation analysis of speech signals using Fermat number transform (FNT)	1992-10-13	Paper

This page was built for person: Liyun Dai