Jan Horácek

According to our database, Jan Horácek authored at least 18 papers between 2009 and 2020.

Collaborative distances:

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

2020

Algebraic and Logic Solving Methods for Cryptanalysis.

Jan Horácek

PhD thesis, 2020

A Signature Based Border Basis Algorithm.

Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono

Math. Comput. Sci., 2020

On conversions from CNF to ANF.

Jan Horácek, Martin Kreuzer

J. Symb. Comput., 2020

2018

Refutation of Products of Linear Polynomials.

Jan Horácek, Martin Kreuzer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

3BA: A Border Bases Solver with a SAT Extension.

Jan Horácek, Martin Kreuzer

Proceedings of the Mathematical Software - ICMS 2018, 2018

Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.

Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Integrating Algebraic and SAT Solvers.

Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 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, Tobias Schubert, Martin Kreuzer, Ilia Polian

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks.

Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian

Proceedings of the 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography, 2017

2016

Computing Boolean Border Bases.

Jan Horácek, Martin Kreuzer, Ange-Salomé Messeng Ekossono

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

Low Level Statistical Models for Initialization of Interactive 2D/3D Segmentation Algorithms.

Jan Kolomazník, Jan Horácek, Josef Pelikán

Proceedings of the VISAPP 2015, 2015

An Automatic Algorithm for Tracking Small Intestine in CT Enterography.

Jan Horácek, Martin Horák, Jan Kolomazník, Josef Pelikán

Proceedings of the 2015 International Conference on Digital Image Computing: Techniques and Applications, 2015

2012

JADE agents used for Wireless Sensors control: System based on services.

Jakub Zak, Jan Horácek, Frantisek Zboril, Radek Kocí, Jirí Král

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

Mobile code placement in wireless sensor networks.

Jan Horácek, Frantisek Zboril

Proceedings of the 12th International Conference on Intelligent Systems Design and Applications, 2012

2011

Denoising Volumetric Data on GPU.

Jan Horácek, Jan Kolomazník, Josef Pelikán, Martin Horák

Proceedings of the IMAGAPP & IVAPP 2011, 2011

Secured Agent Platform for Wireless Sensor Networks.

Jan Horácek, Frantisek Zboril

Proceedings of the Intelligent Information and Database Systems, 2011

2009

Segmentation of Femoral Head from CT after Femoral Neck Fracture.

Jan Horácek, Martin Horák, Josef Pelikán

Proceedings of the IAPR Conference on Machine Vision Applications (IAPR MVA 2009), 2009

Intelligent Agent Platform and Control Language for Wireless Sensor Networks.

Frantisek Zboril, Jan Horácek, Pavel Spacil

Proceedings of the EMS 2009, 2009