Výpis publikací

NOVOTNÝ, Jiří, Pavel ČELEDA, Tomáš DEDEK a Radek KREJČÍ. Hardware Acceleration for Cyber Security. Online. In IST-091 - Information Assurance and Cyber Defence. Tallinn, Estonia: NATO Research and Technology Organization, 2010, s. 86-101, 15 s. ISBN 978-92-837-0115-6.

MARTÍNEK, Tomáš, Matej LEXA a Jan VOŽENÍLEK. Architecture model for approximate palindrome detection. In 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Liberec: IEEE Computer Society, 2009, s. 90-95. ISBN 978-1-4244-3339-1.

ČELEDA, Pavel, Martin ŽÁDNÍK a Lukáš SOLANKA. Hardware-Accelerated Flexible Flow Measurement. 2009.

MARTÍNEK, Tomáš a Matej LEXA. Hardware Acceleration of Approximate Palindromes Searching. In The International Conference on Field-Programmable Technology. Taipei: IEEE Computer Society, 2008, s. 65-72. ISBN 978-1-4244-2796-3.

ČELEDA, Pavel. Projekt Liberouter - hardwarová akcelerace pro sledování a analyzování provozu ve vysokorychlostních sítích. Workshop pracovní skupiny CSIRT.CZ, 2008.

MARTÍNEK, Tomáš, Matej LEXA, Patrik BECK a Otto FUČÍK. Automatic generation of circuits for approximate string matching. In Proceedings of 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007, s. 203-208. ISBN 1-4244-1161-0.

KUZNÍK, Ondřej a Daniel JAKUBÍK. Design Specification as a Basis to Hardware Simulation. CESNET, z.s.p.o. Praha: CESNET, z.s.p.o., 2007. CESNET Technical Report Series 34/2007.

ČELEDA, Pavel, Milan KOVÁČIK, Tomáš KONÍŘ, Vojtěch KRMÍČEK, Petr ŠPRINGL a Martin ŽÁDNÍK. FlowMon Probe. Příbram: PB tisk, s.r.o., 2007. Network Studies: Selected Technical Reports. ISBN 978-80-239-9285-4.

LEXA, Matej, Tomáš MARTÍNEK, Patrik BECK, Otto FUČÍK, Giorgio VALLE a Ivano ZARA. Genomic PCR simulation with hardware-accelerated approximate sequence matching. In Proceedings 21st European Conference on Modelling and Simulation. Praha: ECMS, 2007, s. 333-338. ISBN 978-0-9553018-2-7.

MARTÍNEK, Tomáš, Matej LEXA, Jan KOŘENEK a Otto FUČÍK. A flexible technique for the automatic design for approximate string matching architectures. In Proceedings of 2006 IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop. Praha: IEEE Computer Society, 2006, s. 83-84. ISBN 1424401844.

KRATOCHVÍLA, Tomáš, Vojtěch ŘEHÁK a David ŠAFRÁNEK. Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha: CESNET, z.s.p.o., 2006, s. 151-160. ISBN 978-80-239-6533-9.

ANTOŠ, David, Vojtěch ŘEHÁK a Jan KOŘENEK. Hardware Router's Lookup Machine and its Formal Verification. In ICN'2004 Conference Proceedings. Gosier, Guadeloupe, French Caribbean: University of Haute Alsace, Colmar, France, 2004, s. 1002-1007. ISBN 0-86341-325-0.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.

ANTOŠ, David a Jan KOŘENEK. String Matching for IPv6 Routers. In SOFSEM 2004. Měřín: MATFYZPRESS, Prague, 2004, s. 205-210. ISBN 80-86732-19-3.

HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.

NOVOTNÝ, Jiří, Otto FUČÍK a David ANTOŠ. Project of IPv6 Router with FPGA Hardware Accelerator. In Field-Programmable Logic and Applications, 13th International Conference FPL 2003, Proceedings. Lisbon, Portugal: Springer Verlag, 2003, s. 964-967. ISBN 3-540-40822-3.

ANTOŠ, David, Jan KOŘENEK a Vojtěch ŘEHÁK. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli. In EurOpen, Sborník příspěvků XXIII. konference. Strážnice: EurOpen, 2003, s. 91-102, 11 s. ISBN 80-86583-04-X.