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

Exploring Partial Models with SCL., , and . PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks., , , , and . CoRR, (2023)Exploring Partial Models with SCL., , and . LPAR, volume 94 of EPiC Series in Computing, page 48-72. EasyChair, (2023)SCL(FOL) Revisited., , and . CoRR, (2023)SPASS-SATT - A CDCL(LA) Solver., , , and . CADE, volume 11716 of Lecture Notes in Computer Science, page 111-122. Springer, (2019)Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance., and . DELFI, volume P-322 of LNI, page 153-158. Gesellschaft für Informatik e.V., (2022)Automatic Bit- and Memory-Precise Verification of eBPF Code., , and . LPAR, volume 100 of EPiC Series in Computing, page 198-221. EasyChair, (2024)