Réka Kovács

According to our database, Réka Kovács authored at least 10 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Detecting lifetime errors of std::string_view objects in C++.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

CoRR, 2024

Implementing and Executing Static Analysis Using LLVM and CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb

CoRR, 2024

Static Code Analysis with CodeChecker.

Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb, Gergely Orbán, Dániel Krupp

CoRR, 2024

Scaling Symbolic Execution to Large Software Systems.

Gábor Horváth, Réka Kovács, Zoltán Porkoláb

CoRR, 2024

2022

On Minimally Non-firm Binary Matrices.

Réka Ágnes Kovács

Proceedings of the Combinatorial Optimization - 7th International Symposium, 2022

2021

Binary Matrix Factorisation and Completion via Integer Programming.

Réka Á. Kovács, Oktay Günlük, Raphael A. Hauser

CoRR, 2021

Binary Matrix Factorisation via Column Generation.

Réka Á. Kovács, Oktay Günlük, Raphael A. Hauser

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

Detecting C++ Lifetime Errors with Symbolic Execution.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

Proceedings of the 9th Balkan Conference on Informatics, 2019

2018

Low-Rank Boolean Matrix Approximation by Integer Programming.

Réka Kovács, Oktay Günlük, Raphael A. Hauser

CoRR, 2018