Masaryk University

Publication Records

česky | in English

Filter publications

    2004

    1. Hardware Router's Lookup Machine and its Formal Verification
      ANTOŠ, David, Vojtěch ŘEHÁK and 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, p. 1002-1007. ISBN 0-86341-325-0.
      More: https://is.muni.cz/publication/493216/en

    2003

    1. Liberouter---New Way in IPv6 Routers
      NOVOTNÝ, Jiří, Otto FUČÍK and David ANTOŠ. Liberouter---New Way in IPv6 Routers. In ICETA 2003 2nd International Conference Proceedings. Kosice: elfa, Kosice, 2003, p. 153-158. ISBN 80-89066-67-4.
      More: https://is.muni.cz/publication/488421/en
    2. Packet header matching in Combo6 IPv6 router
      ANTOŠ, David, Jan KOŘENEK, Kateřina MINAŘÍKOVÁ and Vojtěch ŘEHÁK. Packet header matching in Combo6 IPv6 router. CESNET, z.s.p.o., 2003.
      More: https://is.muni.cz/publication/485854/en
    3. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (Lookups in IPv6 router implemented in an FPGA)
      ANTOŠ, David, Jan KOŘENEK and Vojtěch ŘEHÁK. Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli (Lookups in IPv6 router implemented in an FPGA). In EurOpen, Sborník příspěvků XXIII. konference. Strážnice: EurOpen, 2003, p. 91-102, 11 pp. ISBN 80-86583-04-X.
      More: https://is.muni.cz/publication/490202/en
Display details
Displayed: 16/10/2024 22:16