The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jan Horácek" ( http://dblp.L3S.de/Authors/Jan_Horácek )

  Author page on DBLP  Author page in RDF  Community of Jan Horacek in ASPL-2

Publication years (Num. hits)
2009-2018 (15)
Publication types (Num. hits)
inproceedings(15)
Venues (Conferences, Journals, ...)
ISDA(2) ACIIDS (1)(1) CP(1) DICTA(1) EMS(1) FDTC(1) ICMS(1) IMAGAPP/IVAPP(1) IVSW(1) MACIS(1) MVA(1) SC²@ISSAC(1) SYNASC(1) VISAPP (1)(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jan Horácek, Martin Kreuzer 3BA: A Border Bases Solver with a SAT Extension. Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer Integrating Algebraic and SAT Solvers. Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Mael Gay, Ange Salome Messeng Ekossono, Jan Horácek, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. Search on Bibsonomy FDTC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian Towards mixed structural-functional models for algebraic fault attacks on ciphers. Search on Bibsonomy IVSW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Martin Kreuzer On Conversions from CNF to ANF. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Jan Horácek, Martin Kreuzer, Ange Salome Messeng Ekossono Computing Boolean Border Bases. Search on Bibsonomy SYNASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Martin Horák, Jan Kolomazník, Josef Pelikán An Automatic Algorithm for Tracking Small Intestine in CT Enterography. Search on Bibsonomy DICTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Kolomazník, Jan Horácek, Josef Pelikán Low Level Statistical Models for Initialization of Interactive 2D/3D Segmentation Algorithms. Search on Bibsonomy VISAPP (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Horacek, Frantisek Zboril Mobile code placement in wireless sensor networks. Search on Bibsonomy ISDA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jakub Zak, Jan Horacek, Frantisek Zboril, Radek Kocí, Jirí Král JADE agents used for Wireless Sensors control: System based on services. Search on Bibsonomy ISDA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan Horacek, Frantisek Zboril Secured Agent Platform for Wireless Sensor Networks. Search on Bibsonomy ACIIDS (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Jan Kolomazník, Josef Pelikán, Martin Horák Denoising Volumetric Data on GPU. Search on Bibsonomy IMAGAPP/IVAPP The full citation details ... 2011 DBLP  BibTeX  RDF
1Frantisek Zboril, Jan Horacek, Pavel Spacil Intelligent Agent Platform and Control Language for Wireless Sensor Networks. Search on Bibsonomy EMS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jan Horácek, Martin Horák, Josef Pelikán Segmentation of Femoral Head from CT after Femoral Neck Fracture. Search on Bibsonomy MVA The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license