Author of the publication

A novel algorithm SF for mining attack scenarios model.

, , , and . ICEBE, page 55-61. IEEE Computer Society, (2006)

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

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs., , , , , , and . CoRR, (2024)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , and . ITP, volume 193 of LIPIcs, page 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)A Filling Algorithm of Mining Constraint Frequent Neighboring Class Set., , , and . ICICA (1), volume 307 of Communications in Computer and Information Science, page 175-182. Springer, (2012)Optimal Transport Classifier: Defending Against Adversarial Attacks by Regularized Deep Embedding., , , , , and . CoRR, (2018)Metal highlight spots removal based on multi-light-sources and total variation inpainting., and . VRCIA, page 323-326. ACM, (2006)Cortical activities of single-trial P300 amplitudes modulated by memory load using simultaneous EEG-fMRI., , , , and . Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging, volume 9417 of SPIE Proceedings, page 94170L. SPIE, (2015)Improved Infomax algorithm of independent component analysis applied to fMRI data., , , and . Medical Imaging: Image Processing, volume 5370 of SPIE Proceedings, SPIE, (2004)Alterations in Resting-State after Motor Imagery Training: A Pilot Investigation with Eigenvector Centrality Mapping., , , , , , and . HCI (5), volume 8008 of Lecture Notes in Computer Science, page 498-504. Springer, (2013)