Lukáš Kotlaba Security Monitoring of Active Directory Environment Based on Machine Learning Techniques
Tomas Vlk and Kamil Dedecius Bayesian filtering of state-space models with unknown covariance matrices
Dominik Harmim Ing. Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
