Jan Horácek

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