Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Mining Productive Itemsets in Dynamic Databases., , , , , und . IEEE Access, (2020)Finding Healthcare Issues with Search Engine Queries and Social Network Data., , , , , und . Int. J. Semantic Web Inf. Syst., 13 (1): 48-62 (2017)Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining., , , , und . PKDD/ECML Workshops (2), Volume 1525 von Communications in Computer and Information Science, Seite 90-103. Springer, (2021)Machine Learning for Intelligent Industrial Design., , , und . PKDD/ECML Workshops (2), Volume 1525 von Communications in Computer and Information Science, Seite 158-172. Springer, (2021)MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining., , , , und . Comput. Secur., (2022)Reasoning About Order Crossover in Genetic Algorithms., , und . ICSI (1), Volume 13344 von Lecture Notes in Computer Science, Seite 261-271. Springer, (2022)An evolutionary/heuristic-based proof searching framework for interactive theorem prover., , , , und . Appl. Soft Comput., (2021)Metaheuristic Algorithms for Proof Searching in HOL4., , , und . SEKE, Seite 376-381. KSI Research Inc., (2022)Proof Searching in PVS Theorem Prover Using Simulated Annealing., , und . ICSI (2), Volume 12690 von Lecture Notes in Computer Science, Seite 253-262. Springer, (2021)Using Coq for Formal Modeling and Verification of Timed Connectors., , , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 558-573. Springer, (2017)