Min Wu

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 6

Top Topics

Comparative Analysis

Program Committee

Top Venues

ACM Commun. Comput. Algebra

ACM Trans. Embed. Comput. Syst.

Publications

Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu
The Fifth Conference "Computer Algebra" in Moscow. ACM Commun. Comput. Algebra 57 (2) (2023)
Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu
The fourth conference "computer algebra" in Moscow. ACM Commun. Comput. Algebra 55 (2) (2021)
Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu, Yvette Zonn
The conference "computer algebra" in Moscow. ACM Commun. Comput. Algebra 53 (2) (2019)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Verification for Non-polynomial Hybrid Systems Using Rational Invariants. Comput. J. 60 (5) (2017)
Zhengfeng Yang, Wang Lin, Min Wu
Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su
Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. KSEM (2015)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-attraction estimation for uncertain non-polynomial systems. Commun. Nonlinear Sci. Numer. Simul. 19 (9) (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. Frontiers Comput. Sci. 8 (2) (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Safety verification of nonlinear systems based on rational invariants. SNC (2014)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact safety verification of hybrid systems using sums-of-squares representation. Sci. China Inf. Sci. 57 (5) (2014)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation CoRR (2013)
Min Wu, Zhengfeng Yang, Wang Lin
Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems CoRR (2013)
Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. J. Syst. Sci. Complex. 26 (2) (2013)
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM (2012)
Ziming Li, Min Wu
Transforming linear functional systems into fully integrable systems. J. Symb. Comput. 47 (6) (2012)
Zhengfeng Yang, Min Wu, Wang Lin
Exact Verification of Hybrid Systems Based on Bilinear SOS Representation CoRR (2012)
Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation CoRR (2011)
Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Generating Loop Invariants by Computing Vanishing Ideals of Sample Points CoRR (2011)
Min Wu, Zhengfeng Yang
Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. SNC (2011)
Ruyong Feng, Michael F. Singer, Min Wu
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. J. Symb. Comput. 45 (3) (2010)
Ruyong Feng, Michael F. Singer, Min Wu
Liouvillian solutions of linear difference-differential equations. J. Symb. Comput. 45 (3) (2010)
Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding positively invariant sets of a class of nonlinear loops via curve fitting. SNC (2009)
Liyong Shen, Min Wu, Zhengfeng Yang
Simplification of Numerical Rational Surfaces. CSO (1) (2009)
Ruyong Feng, Michael F. Singer, Min Wu
Liouvillian Solutions of Difference-Differential Equations CoRR (2008)
Ziming Li, Min Wu, Dabin Zheng
Testing linear dependence of hyperexponential elements. ACM Commun. Comput. Algebra 41 (1-2) (2007)
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. ISSAC (2006)
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules CoRR (2006)
Manuel Bronstein, Ziming Li, Min Wu
Picard--Vessiot extensions for linear functional systems. ISSAC (2005)