Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

W. Lin, M. Wu, Z. Yang, and Z. Zeng. Frontiers Comput. Sci., 8 (2): 192-202 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Min Wu

Deh-Min Wu

Jinglan Wu

Recovery of citric acid from fermentation broth using simulated moving bed technology: = Reinigung von Zitronensäure aus Fermentationslösung durch kontinuierliche ChromatographieJ. Wu. Uni Erlangen-Nürnberg, (2009)

Min Tian

Min Zhang

Other publications of authors with the same name

Stable control strategy for a second-order nonholonomic planar underactuated mechanical system.X. Lai, P. Xiong, and M. Wu. Int. J. Systems Science, 50 (11): 2126-2141 (2019)Gaussian-kernel-based adaptive critic design using two-phase value iteration.X. Chen, W. Wang, W. Cao, and M. Wu. Inf. Sci., (2019)Accurate fuzzy predictive models through complexity reduction based on decision of needed fuzzy rules.Y. Jin, W. Cao, M. Wu, and Y. Yuan. Neurocomputing, (2019)Geo-location estimation from Electrical Network Frequency signals.R. Garg, A. Hajj-Ahmad, and M. Wu. ICASSP, page 2862-2866. IEEE, (2013)Colluding Fingerprinted Video using the Gradient Attack.S. He, D. Kirovski, and M. Wu. ICASSP (2), page 161-164. IEEE, (2007)Digital Watermarking Using Shuffling.M. Wu, and B. Liu. ICIP (1), page 291-295. IEEE, (1999)Uniformly asymptotical stability of nonlinear time delay systems.C. Ning, Y. He, and M. Wu. ICARCV, page 1706-1709. IEEE, (2012)Decoupling Control Method With Fuzzy Theory for Top Pressure of Blast Furnace.J. An, J. Yang, M. Wu, J. She, and T. Terano. IEEE Trans. Contr. Sys. Techn., 27 (6): 2735-2742 (2019)Electroencephalogram Emotion Recognition Based on Empirical Mode Decomposition and Optimal Feature Selection.Z. Liu, Q. Xie, M. Wu, W. Cao, D. Li, and S. Li. IEEE Trans. Cognitive and Developmental Systems, 11 (4): 517-526 (2019)A Task Assignment Method for Sweep Coverage Optimization Based on Crowdsensing.L. Wu, Y. Xiong, M. Wu, Y. He, and J. She. IEEE Internet of Things Journal, 6 (6): 10686-10699 (2019)

BibSonomy

Disambiguation of "Wu, Min"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Please choose a person to relate this publication to

Min Wu

Deh-Min Wu

Jinglan Wu

Min Tian

Min Zhang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wu, Min"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Please choose a person to relate this publication to

Min Wu

Deh-Min Wu

Jinglan Wu

Min Tian

Min Zhang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.