Jakub Horák

According to our database, Jakub Horák authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability.

Jakub Horák, Martin Jonás

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Utilization of Portable RGB and RGB-D Camera Systems for VR Feedback in Bilateral Double-Leg Landing Analysis Using MediaPipe.

Petr Volf, Jan Hejda, Tommy Sugiarto, Marek Sokol, Lydie Leova, Veronika Kotolová, Jakub Horák, Wei-Chun Hsu, Yi-Jia Lin, Patrik Kutilek

Proceedings of the 15th International Conference on Biomedical Engineering and Technology, 2025