CORC

在结果中检索

CORC

浏览/检索结果: 共9条，第1-9条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Open weak CAD and its applications 其他
2017-01-01
Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他
2016-01-01
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Smaller SDP for SOS decomposition 其他
2015-01-01
Dai, Liyun; Xia, Bican
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Decidability of the Reachability for a Family of Linear Vector Fields 其他
2015-01-01
Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Constructing fewer open cells by GCD computation in CAD projection 其他
2014-01-01
Han, Jingjun; Dai, Liyun; Xia, Bican
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/17
Generating non-linear interpolants by semidefinite programming 其他
2013-01-01
Dai, Liyun; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
Non-termination sets of simple linear loops 其他
2012-01-01
Dai, Liyun; Xia, Bican
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13

©版权所有 ©2017 CSpace - Powered by CSpace