Intelligent Agent Platform and Control Language for Wireless Sensor Networks. - Frantisek Zboril; Jan Horácek; Pavel Spacil (EMS, 2009)

Segmentation of Femoral Head from CT after Femoral Neck Fracture. - Jan Horácek; Martin Horák; Josef Pelikán (MVA, 2009)

Secured Agent Platform for Wireless Sensor Networks. - Jan Horácek; Frantisek Zboril (ACIIDS (1), 2011)

Denoising Volumetric Data on GPU. - Jan Horácek; Jan Kolomazník; Josef Pelikán; Martin Horák (IMAGAPP/IVAPP, 2011)

Mobile code placement in wireless sensor networks. - Jan Horácek; Frantisek Zboril (ISDA, 2012)

JADE agents used for Wireless Sensors control: System based on services. - Jakub Zak; Jan Horácek; Frantisek Zboril; Radek Kocí; Jirí Král (ISDA, 2012)

An Automatic Algorithm for Tracking Small Intestine in CT Enterography. - Jan Horácek; Martin Horák; Jan Kolomazník; Josef Pelikán (DICTA, 2015)

Low Level Statistical Models for Initialization of Interactive 2D/3D Segmentation Algorithms. - Jan Kolomazník; Jan Horácek; Josef Pelikán (VISAPP (1), 2015)

Computing Boolean Border Bases. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (SYNASC, 2016)

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. - Jan Burchard; Mael Gay; Ange-Salomé Messeng Ekossono; Jan Horácek; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (FDTC, 2017)

Towards mixed structural-functional models for algebraic fault attacks on ciphers. - Jan Burchard; Ange-Salomé Messeng Ekossono; Jan Horácek; Mael Gay; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (IVSW, 2017)

Integrating Algebraic and SAT Solvers. - Jan Horácek; Jan Burchard; Bernd Becker 001; Martin Kreuzer (MACIS, 2017)

Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. - Saeed Nejati; Jan Horácek; Catherine H. Gebotys; Vijay Ganesh 001 (CP, 2018)

3BA: A Border Bases Solver with a SAT Extension. - Jan Horácek; Martin Kreuzer (ICMS, 2018)

Refutation of Products of Linear Polynomials. - Jan Horácek; Martin Kreuzer (SC-Square@FLOC, 2018)

On conversions from CNF to ANF. - Jan Horácek; Martin Kreuzer (J. Symb. Comput., 2020)

A Signature Based Border Basis Algorithm. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (Math. Comput. Sci., 2020)

Algebraic and Logic Solving Methods for Cryptanalysis. - Jan Horácek (2020)

Trustworthiness for an Ultra-Wideband Localization Service. - Philipp Peterseil; Bernhard Etzlinger; Jan Horácek; Roya Khanzadeh; Andreas Springer (Sensors, 2024)