| 2018 | CP | Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. | Saeed Nejati, Jan Horcek, Catherine H. Gebotys, Vijay Ganesh |
| 2017 | FDTC | AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. | Jan Burchard, Mael Gay, Ange-Salom Messeng Ekossono, Jan Horcek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian |
| 2017 | ISSAC | On Conversions from CNF to ANF. | Jan Horcek, Martin Kreuzer |
| 2016 | SYNASC | Computing Boolean Border Bases. | Jan Horcek, Martin Kreuzer, Ange-Salom Messeng Ekossono |
| 2015 | DICTA | An Automatic Algorithm for Tracking Small Intestine in CT Enterography. | Jan Horcek, Martin Hork, Jan Kolomaznk, Josef Pelikn |
| 2012 | ISDA | Mobile code placement in wireless sensor networks. | Jan Horcek, Frantisek Zboril |
| 2012 | ISDA | JADE agents used for Wireless Sensors control: System based on services. | Jakub Zak, Jan Horcek, Frantisek Zboril, Radek Koc, Jir Krl |
| 2011 | ACIIDS | Secured Agent Platform for Wireless Sensor Networks. | Jan Horcek, Frantisek Zboril |
| 2009 | MVA | Segmentation of Femoral Head from CT after Femoral Neck Fracture. | Jan Horcek, Martin Hork, Josef Pelikn |