Low-Rank Boolean Matrix Approximation by Integer Programming. - Réka Kovács; Oktay Günlük; Raphael A. Hauser (CoRR, 2018)

Detecting C++ Lifetime Errors with Symbolic Execution. - Réka Kovács; Gábor Horváth 005; Zoltán Porkoláb (BCI, 2019)

Binary Matrix Factorisation via Column Generation. - Réka Á. Kovács; Oktay Günlük; Raphael A. Hauser (AAAI, 2021)

Binary Matrix Factorisation and Completion via Integer Programming. - Réka Á. Kovács; Oktay Günlük; Raphael A. Hauser (CoRR, 2021)

On Minimally Non-firm Binary Matrices. - Réka Ágnes Kovács (ISCO, 2022)

Scaling Symbolic Execution to Large Software Systems. - Gábor Horváth 005; Réka Kovács; Zoltán Porkoláb (CoRR, 2024)

Static Code Analysis with CodeChecker. - Gábor Horváth 005; Réka Kovács; Richárd Szalay; Zoltán Porkoláb; Gergely Orbán; Dániel Krupp (CoRR, 2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker. - Gábor Horváth 005; Réka Kovács; Richárd Szalay; Zoltán Porkoláb (CoRR, 2024)

Detecting lifetime errors of std::string_view objects in C++. - Réka Kovács; Gábor Horváth 005; Zoltán Porkoláb (CoRR, 2024)

Binary Matrix Factorization and Completion via Integer Programming. - Oktay Günlük; Raphael Andreas Hauser; Réka Ágnes Kovács (Math. Oper. Res., 2024)