PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Han, Zhi"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.

, , , , , , and . Int. J. Found. Comput. Sci., 14 (4): 583-604 (2003)

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.

Liao Han University of Stuttgart

Qi Han

Udo-Ernst Haner University of Stuttgart

Dr. phil. Vanessa Hanke University of Stuttgart

Dr. Yuliya Hanesch University of Stuttgart

 

Other publications of authors with the same name

Object Color Constancy for Outdoor Multiple Light Sources., , , , and . CCCV (2), volume 547 of Communications in Computer and Information Science, page 369-378. Springer, (2015)Pixel-wise Orthogonal Decomposition for Color Illumination Invariant and Shadow-free Image., , , and . CoRR, (2014)Fingerprint Classification Based on Statistical Features and Singular Point Information., and . IWBRS, volume 3781 of Lecture Notes in Computer Science, page 119-126. Springer, (2005)Integration of Game Elements with Role Play in Collaborative Learning - A Case Study of Quasi-GBL in Chinese Higher Education., and . Edutainment, volume 5093 of Lecture Notes in Computer Science, page 427-435. Springer, (2008)Incremental Alignment Manifold Learning., , , and . J. Comput. Sci. Technol., 26 (1): 153-165 (2011)Quantitative Trustworthy Evaluation Scheme for Trust Routing Scheme in Wireless Sensor Networks., , and . TrustCom/BigDataSE/ISPA (1), page 1272-1278. IEEE, (2015)Notes on "The Cattaneo-type time fractional heat conduction equation for laser heating" Comput. Math. Appl. 66 (2013) 824-831., , and . Computers & Mathematics with Applications, 71 (10): 2132-2137 (2016)Nonconvex plus quadratic penalized low-rank and sparse decomposition for noisy image alignment., , , , and . SCIENCE CHINA Information Sciences, 59 (5): 052107:1-052107:13 (2016)Folded-concave penalization approaches to tensor completion., , , , , and . Neurocomputing, (2015)Robust video denoising by low-rank decomposition and modeling noises with mixture of Gaussian., , and . ROBIO, page 2226-2231. IEEE, (2014)