Author of the publication

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.

 

Other publications of authors with the same name

Termination analysis for evolving programs: an incremental approach by reusing certified modules., and . Proc. ACM Program. Lang., 4 (OOPSLA): 199:1-199:27 (2020)Incremental predicate analysis for regression verification., , and . Proc. ACM Program. Lang., 4 (OOPSLA): 184:1-184:25 (2020)Study on Material and Energy Flow in Steel Forging Production Process., , , and . IEEE Access, (2020)Robust experimental design and feature selection in signal transduction pathway modeling., , , and . IJCNN, page 1544-1551. IEEE, (2008)Data mining based decomposition for assume-guarantee reasoning., , , , and . FMCAD, page 116-119. IEEE, (2009)A rapid 3D seed-filling algorithm based on scan slice., , and . Comput. Graph., 34 (4): 449-459 (2010)Deep learning architecture for iris recognition based on optimal Gabor filters and deep belief network., , , , , and . J. Electronic Imaging, 26 (2): 23005 (2017)Score level fusion scheme based on adaptive local Gabor features for face-iris-fingerprint multimodal biometric., , , , , and . J. Electronic Imaging, 23 (3): 033019 (2014)A Multi-View Clustering Algorithm for Mixed Numeric and Categorical Data., , , , , and . IEEE Access, (2021)Temporal-adaptive sparse feature aggregation for video object detection., , , and . Pattern Recognit., (2022)