Intrusion detection system episteme. - Daniel Mihályi; Valerie Novitzká; Martina Lalová (Central Eur. J. Comput. Sci., 2012)

Towards the Knowledge in Coalgebraic Model of IDS. - Daniel Mihályi; Valerie Novitzká (Comput. Informatics, 2014)

Distribution of Linux Log Files Described by Predicate Linear Logic Formula. - Ján Perhác; Daniel Mihályi; Lukas Relosky (SACI, 2018)

Elimination of network intrusions via a resource oriented BDI architecture. - Ján Perhác; Daniel Mihályi; Lukás Matas (Open Comput. Sci., 2018)