GPU Solver for Systems of Linear Equations with Infinite Precision. - Jiri Khun; Ivan Simecek; Róbert Lórencz (SYNASC, 2015)

High-Performance Spiking Neural Network Simulator. - Jiri Khun; Martin Novotný; Miroslav Skrbek (MECO, 2019)

Interval Constraint Satisfaction: Towards Edge Acceleration. - Jiri Khun; Jan Schmidt (MECO, 2022)