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

A Lightweight Formal Approach for Component Reuse., , and . KSE, volume 326 of Advances in Intelligent Systems and Computing, page 513-524. Springer, (2014)Android repository mining for detecting publicly accessible functions missing permission checks., , and . ICPC, page 324-327. IEEE Computer Society, (2017)Latent Ontological Feature Discovery for Text Clustering., , , and . RIVF, page 1-8. IEEE, (2009)Approximating Reasoning for Fuzzy-Based Information Retrieval., and . Interval / Probabilistic Uncertainty and Non-Classical Logics, volume 46 of Advances in Soft Computing, Springer, (2008)COMBINE: A Tool on Combined Formal Methods for Bindingly Verification., , , and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 387-395. Springer, (2010)Model Checking Control Flow Petri Nets Using PAT., , and . ICCSA (6), page 124-129. IEEE Computer Society, (2013)A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus., , and . APSEC Workshops, page 158-161. IEEE, (2012)Web Service Composition Automation Based on Term Rewriting System., , , and . ACOMP, page 43-50. IEEE, (2015)Semantic Document Clustering on Named Entity Features., , , and . CoRR, (2018)Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base., , , and . URSW, volume 327 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)