Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Min Wu 0003
@article{DBLP:journals/cca/AbramovBRSZW23,
author = {Sergei A. Abramov and
Alexander B. Batkhin and
Anna A. Ryabenko and
Leonid A. Sevastianov and
Yvette Zonn and
Min Wu},
title = {The Fifth Conference "Computer Algebra" in Moscow},
journal = {{ACM} Commun. Comput. Algebra},
volume = {57},
number = {2},
pages = {72--84},
year = {2023},
url = {https://doi.org/10.1145/3614408.3614418},
doi = {10.1145/3614408.3614418},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/AbramovBRSZW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbramovRSZ021,
author = {Sergei A. Abramov and
Anna A. Ryabenko and
Leonid A. Sevastianov and
Yvette Zonn and
Min Wu},
title = {The fourth conference "computer algebra" in Moscow},
journal = {{ACM} Commun. Comput. Algebra},
volume = {55},
number = {2},
pages = {30--38},
year = {2021},
url = {https://doi.org/10.1145/3493492.3493494},
doi = {10.1145/3493492.3493494},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AbramovRSZ021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbramovRSWZ19,
author = {Sergei A. Abramov and
Anna A. Ryabenko and
Leonid A. Sevastianov and
Min Wu and
Yvette Zonn},
title = {The conference "computer algebra" in Moscow},
journal = {{ACM} Commun. Comput. Algebra},
volume = {53},
number = {2},
pages = {65--77},
year = {2019},
url = {https://doi.org/10.1145/3371991.3372000},
doi = {10.1145/3371991.3372000},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/AbramovRSWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LinWYZ17,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Verification for Non-polynomial Hybrid Systems Using Rational Invariants},
journal = {Comput. J.},
volume = {60},
number = {5},
pages = {675--689},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxw090},
doi = {10.1093/COMJNL/BXW090},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/LinWYZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YangLW15,
author = {Zhengfeng Yang and
Wang Lin and
Min Wu},
title = {Exact Safety Verification of Hybrid Systems Based on Bilinear {SOS}
Representation},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {1},
pages = {16:1--16:19},
year = {2015},
url = {https://doi.org/10.1145/2629424},
doi = {10.1145/2629424},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YangLW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/WuTPMS15,
author = {Ke Wu and
Shiping Tang and
Geguang Pu and
Min Wu and
Ting Su},
editor = {Songmao Zhang and
Martin Wirsing and
Zili Zhang},
title = {Fm-QCA: {A} Novel Approach to Multi-value Qualitative Comparative
Analysis},
booktitle = {Knowledge Science, Engineering and Management - 8th International
Conference, {KSEM} 2015, Chongqing, China, October 28-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9403},
pages = {115--127},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25159-2\_10},
doi = {10.1007/978-3-319-25159-2\_10},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/WuTPMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Exact safety verification of hybrid systems using sums-of-squares
representation},
journal = {Sci. China Inf. Sci.},
volume = {57},
number = {5},
pages = {1--13},
year = {2014},
url = {https://doi.org/10.1007/s11432-013-4961-z},
doi = {10.1007/S11432-013-4961-Z},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/WuYL14,
author = {Min Wu and
Zhengfeng Yang and
Wang Lin},
title = {Domain-of-attraction estimation for uncertain non-polynomial systems},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {19},
number = {9},
pages = {3044--3052},
year = {2014},
url = {https://doi.org/10.1016/j.cnsns.2013.12.001},
doi = {10.1016/J.CNSNS.2013.12.001},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cnsns/WuYL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Proving total correctness and generating preconditions for loop programs
via symbolic-numeric computation methods},
journal = {Frontiers Comput. Sci.},
volume = {8},
number = {2},
pages = {192--202},
year = {2014},
url = {https://doi.org/10.1007/s11704-014-3150-6},
doi = {10.1007/S11704-014-3150-6},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/LinWYZ14,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Lihong Zhi and
Stephen M. Watt},
title = {Safety verification of nonlinear systems based on rational invariants},
booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
pages = {107--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2631948.2631967},
doi = {10.1145/2631948.2631967},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/LinWYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossac/ShenWYZ13,
author = {Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Generating exact nonlinear ranking functions by symbolic-numeric hybrid
method},
journal = {J. Syst. Sci. Complex.},
volume = {26},
number = {2},
pages = {291--301},
year = {2013},
url = {https://doi.org/10.1007/s11424-013-1004-1},
doi = {10.1007/S11424-013-1004-1},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jossac/ShenWYZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-5974,
author = {Zhengfeng Yang and
Min Wu and
Wang Lin},
title = {Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric
Computation},
journal = {CoRR},
volume = {abs/1302.5974},
year = {2013},
url = {http://arxiv.org/abs/1302.5974},
eprinttype = {arXiv},
eprint = {1302.5974},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-0452,
author = {Min Wu and
Zhengfeng Yang and
Wang Lin},
title = {Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems},
journal = {CoRR},
volume = {abs/1303.0452},
year = {2013},
url = {http://arxiv.org/abs/1303.0452},
eprinttype = {arXiv},
eprint = {1303.0452},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-0452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LiW12,
author = {Ziming Li and
Min Wu},
title = {Transforming linear functional systems into fully integrable systems},
journal = {J. Symb. Comput.},
volume = {47},
number = {6},
pages = {711--732},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.028},
doi = {10.1016/J.JSC.2011.12.028},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LiW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/ChenLSWYZ12,
author = {Liangyu Chen and
Tuo Leng and
Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
title = {Finding the Symbolic Solution of a Geometric Problem Through Numerical
Computations},
booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
China, October 2012, Contributed Papers and Invited Talks},
pages = {223--241},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-662-43799-5\_18},
doi = {10.1007/978-3-662-43799-5\_18},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ascm/ChenLSWYZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-4219,
author = {Zhengfeng Yang and
Min Wu and
Wang Lin},
title = {Exact Verification of Hybrid Systems Based on Bilinear {SOS} Representation},
journal = {CoRR},
volume = {abs/1201.4219},
year = {2012},
url = {http://arxiv.org/abs/1201.4219},
eprinttype = {arXiv},
eprint = {1201.4219},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-4219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/WuY11,
author = {Min Wu and
Zhengfeng Yang},
editor = {Marc Moreno Maza},
title = {Generating invariants of hybrid systems via sums-of-squares of polynomials
with rational coefficients},
booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
pages = {104--111},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2331684.2331701},
doi = {10.1145/2331684.2331701},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/WuY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0732,
author = {Bin Wu and
Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Generating Loop Invariants by Computing Vanishing Ideals of Sample
Points},
journal = {CoRR},
volume = {abs/1111.0732},
year = {2011},
url = {http://arxiv.org/abs/1111.0732},
eprinttype = {arXiv},
eprint = {1111.0732},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-2328,
author = {Wang Lin and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
title = {Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares
Representation},
journal = {CoRR},
volume = {abs/1112.2328},
year = {2011},
url = {http://arxiv.org/abs/1112.2328},
eprinttype = {arXiv},
eprint = {1112.2328},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FengSW10,
author = {Ruyong Feng and
Michael F. Singer and
Min Wu},
title = {Liouvillian solutions of linear difference-differential equations},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {287--305},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.001},
doi = {10.1016/J.JSC.2009.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FengSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FengSW10a,
author = {Ruyong Feng and
Michael F. Singer and
Min Wu},
title = {An algorithm to compute Liouvillian solutions of prime order linear
difference-differential equations},
journal = {J. Symb. Comput.},
volume = {45},
number = {3},
pages = {306--323},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2009.09.002},
doi = {10.1016/J.JSC.2009.09.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FengSW10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cso/ShenWY09,
author = {Liyong Shen and
Min Wu and
Zhengfeng Yang},
editor = {Lean Yu and
Kin Keung Lai and
Shashi Kant Mishra},
title = {Simplification of Numerical Rational Surfaces},
booktitle = {Proceedings of the Second International Joint Conference on Computational
Sciences and Optimization, {CSO} 2009, Sanya, Hainan, China, 24-26
April 2009, Volume 1},
pages = {617--621},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/CSO.2009.274},
doi = {10.1109/CSO.2009.274},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cso/ShenWY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/ShenWYZ09,
author = {Liyong Shen and
Min Wu and
Zhengfeng Yang and
Zhenbing Zeng},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {Finding positively invariant sets of a class of nonlinear loops via
curve fitting},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {185--190},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577218},
doi = {10.1145/1577190.1577218},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/ShenWYZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-1574,
author = {Ruyong Feng and
Michael F. Singer and
Min Wu},
title = {Liouvillian Solutions of Difference-Differential Equations},
journal = {CoRR},
volume = {abs/0810.1574},
year = {2008},
url = {http://arxiv.org/abs/0810.1574},
eprinttype = {arXiv},
eprint = {0810.1574},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-1574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Li0Z07,
author = {Ziming Li and
Min Wu and
Dabin Zheng},
title = {Testing linear dependence of hyperexponential elements},
journal = {{ACM} Commun. Comput. Algebra},
volume = {41},
number = {1-2},
pages = {3--11},
year = {2007},
url = {https://doi.org/10.1145/1296772.1296773},
doi = {10.1145/1296772.1296773},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/Li0Z07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LiSWZ06,
author = {Ziming Li and
Michael F. Singer and
Min Wu and
Dabin Zheng},
editor = {Barry M. Trager},
title = {A recursive method for determining the one-dimensional submodules
of Laurent-Ore modules},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2006, Genoa, Italy, July 9-12, 2006, Proceedings},
pages = {220--227},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145768.1145806},
doi = {10.1145/1145768.1145806},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LiSWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604084,
author = {Ziming Li and
Michael F. Singer and
Min Wu and
Dabin Zheng},
title = {A Recursive Method for Determining the One-Dimensional Submodules
of Laurent-Ore Modules},
journal = {CoRR},
volume = {abs/cs/0604084},
year = {2006},
url = {http://arxiv.org/abs/cs/0604084},
eprinttype = {arXiv},
eprint = {cs/0604084},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/BronsteinLW05,
author = {Manuel Bronstein and
Ziming Li and
Min Wu},
editor = {Manuel Kauers},
title = {Picard--Vessiot extensions for linear functional systems},
booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
pages = {68--75},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073884.1073896},
doi = {10.1145/1073884.1073896},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/BronsteinLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
