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.

 

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

A Lightweight Formal Approach for Component Reuse., , и . KSE, том 326 из Advances in Intelligent Systems and Computing, стр. 513-524. Springer, (2014)Android repository mining for detecting publicly accessible functions missing permission checks., , и . ICPC, стр. 324-327. IEEE Computer Society, (2017)COMBINE: A Tool on Combined Formal Methods for Bindingly Verification., , , и . ATVA, том 6252 из Lecture Notes in Computer Science, стр. 387-395. Springer, (2010)Latent Ontological Feature Discovery for Text Clustering., , , и . RIVF, стр. 1-8. IEEE, (2009)Approximating Reasoning for Fuzzy-Based Information Retrieval., и . Interval / Probabilistic Uncertainty and Non-Classical Logics, том 46 из Advances in Soft Computing, Springer, (2008)Combination of domain knowledge and deep learning for sentiment analysis of short and informal messages on social media., , , , , , и . Int. J. Comput. Vis. Robotics, 9 (5): 458-485 (2019)Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs., , , , и . ICSOFT (Selected Papers), том 303 из Communications in Computer and Information Science, стр. 108-120. Springer, (2011)A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification., , и . Vietnam. J. Comput. Sci., 4 (2): 111-126 (2017)CTGE: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs., , , и . ICSOFT (2), стр. 36-43. SciTePress, (2011)MAFSE: A Model-Based Framework for Software Verification., , , , , , , , , и 4 other автор(ы). SSIRI (Companion), стр. 150-156. IEEE Computer Society, (2010)