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

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)Incremental predicate analysis for regression verification., , and . Proc. ACM Program. Lang., 4 (OOPSLA): 184:1-184:25 (2020)Termination analysis for evolving programs: an incremental approach by reusing certified modules., and . Proc. ACM Program. Lang., 4 (OOPSLA): 199:1-199:27 (2020)On Array Theory of Bounded Elements., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 570-584. Springer, (2010)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 247-262. Springer, (2007)A Multi-View Clustering Algorithm for Mixed Numeric and Categorical Data., , , , , and . IEEE Access, (2021)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)Temporal-adaptive sparse feature aggregation for video object detection., , , and . Pattern Recognit., (2022)