Jan Horácek

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 12

Top Venues

Math. Comput. Sci.

VISAPP (1)

FDTC

MACIS

University of Passau, Germany (PHD)

Education History

University of Passau, Germany

PHD

Publications

Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
A Signature Based Border Basis Algorithm. Math. Comput. Sci. 14 (1) (2020)
Jan Horácek, Martin Kreuzer
On conversions from CNF to ANF. J. Symb. Comput. 100 (2020)
Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. CP (2018)
Jan Horácek, Martin Kreuzer
Refutation of Products of Linear Polynomials. SC-Square@FLOC (2018)
Jan Horácek, Martin Kreuzer
3BA: A Border Bases Solver with a SAT Extension. ICMS (2018)
Jan Horácek, Martin Kreuzer
On Conversions from CNF to ANF. SC²@ISSAC (2017)
Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW (2017)
Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
Integrating Algebraic and SAT Solvers. MACIS (2017)
Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC (2017)
Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono
Computing Boolean Border Bases. SYNASC (2016)
Jan Kolomazník, Jan Horácek, Josef Pelikán
Low Level Statistical Models for Initialization of Interactive 2D/3D Segmentation Algorithms. VISAPP (1) (2015)
Jan Horácek, Martin Horák, Jan Kolomazník, Josef Pelikán
An Automatic Algorithm for Tracking Small Intestine in CT Enterography. DICTA (2015)
Jakub Zak, Jan Horácek, Frantisek Zboril, Radek Kocí, Jirí Král
JADE agents used for Wireless Sensors control: System based on services. ISDA (2012)
Jan Horácek, Frantisek Zboril
Mobile code placement in wireless sensor networks. ISDA (2012)
Jan Horácek, Jan Kolomazník, Josef Pelikán, Martin Horák
Denoising Volumetric Data on GPU. IMAGAPP/IVAPP (2011)
Jan Horácek, Frantisek Zboril
Secured Agent Platform for Wireless Sensor Networks. ACIIDS (1) (2011)
Jan Horácek, Martin Horák, Josef Pelikán
Segmentation of Femoral Head from CT after Femoral Neck Fracture. MVA (2009)
Frantisek Zboril, Jan Horácek, Pavel Spacil
Intelligent Agent Platform and Control Language for Wireless Sensor Networks. EMS (2009)

Jan Horácek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Horácek