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)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)Approximating Reasoning for Fuzzy-Based Information Retrieval., and . Interval / Probabilistic Uncertainty and Non-Classical Logics, volume 46 of Advances in Soft Computing, Springer, (2008)Latent Ontological Feature Discovery for Text Clustering., , , and . RIVF, page 1-8. IEEE, (2009)Semantic Document Clustering on Named Entity Features., , , and . CoRR, (2018)A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus., , and . APSEC Workshops, page 158-161. IEEE, (2012)Enhancing Genetic Algorithm with Cumulative Probabilities to Derive Critical Test Scenarios from Use-Cases., , and . FDSE, volume 8860 of Lecture Notes in Computer Science, page 286-299. Springer, (2014)Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base., , , and . URSW, volume 327 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Model Checking Control Flow Petri Nets Using PAT., , and . ICCSA (6), page 124-129. IEEE Computer Society, (2013)