From post

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.

 

Другие публикации лиц с тем же именем

On Array Theory of Bounded Elements., , , и . CAV, том 6174 из Lecture Notes in Computer Science, стр. 570-584. Springer, (2010)Robust experimental design and feature selection in signal transduction pathway modeling., , , и . IJCNN, стр. 1544-1551. IEEE, (2008)Data mining based decomposition for assume-guarantee reasoning., , , , и . FMCAD, стр. 116-119. IEEE, (2009)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , и . FORTE, том 4574 из Lecture Notes in Computer Science, стр. 247-262. Springer, (2007)Assertion Recommendation for Formal Program Verification., , , , , и . COMPSAC (1), стр. 154-159. IEEE Computer Society, (2017)Translation-Based Model Checking for PLC Programs., , , и . COMPSAC (1), стр. 553-562. IEEE Computer Society, (2009)A Rule-Based Approach for Generating Synthetic Biological Pathways., , , , , и . CIBB, том 13483 из Lecture Notes in Computer Science, стр. 105-116. Springer, (2021)基于模糊质心的混合属性数据模糊加权聚类算法 (Fuzzy Weighted Clustering Algorithm with Fuzzy Centroid for Mixed Data)., , , , , и . 计算机科学, 45 (2): 109-113 (2018)A Multi-View Clustering Algorithm for Mixed Numeric and Categorical Data., , , , , и . IEEE Access, (2021)Mobile computing and communications-driven fog-assisted disaster evacuation techniques for context-aware guidance support: A survey., , , и . Comput. Commun., (2021)