doc. RNDr. Vojtěch Řehák, Ph.D.

2004

• Extended Process Rewrite Systems: Expressiveness and Reachability

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Stať ve sborníku

  CONCUR 2004 - Concurrency Theory, rok: 2004

• Hardware Router's Lookup Machine and its Formal Verification

  ANTOŠ David ŘEHÁK Vojtěch KOŘENEK Jan

  Stať ve sborníku

  ICN'2004 Conference Proceedings, rok: 2004

• On the Expressive Power of Extended Process Rewrite Systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Recenzovaný odborný článek

  BRICS Report Series, rok: 2004, ročník: 2004, vydání: RS-04-7

• Verification Results in Liberouter Project

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

  Audiovizuální tvorba

  Rok: 2004, druh: Audiovizuální tvorba

2003

• On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Stať ve sborníku

  Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), rok: 2003

• Packet header matching in Combo6 IPv6 router

  ANTOŠ David KOŘENEK Jan MINAŘÍKOVÁ Kateřina ŘEHÁK Vojtěch

  Audiovizuální tvorba

  Rok: 2003, druh: Audiovizuální tvorba

• Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Výzkumná zpráva, souhrnná výzkumná zpráva

  Rok: 2003

• Verification of COMBO6 VHDL Design

  KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠIMEČEK Pavel

  Audiovizuální tvorba

  Rok: 2003, druh: Audiovizuální tvorba

• Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli

  ANTOŠ David KOŘENEK Jan ŘEHÁK Vojtěch

  Stať ve sborníku

  EurOpen, Sborník příspěvků XXIII. konference, rok: 2003

2002

• $\xor$-OBDD in Symbolic Model Checking

  ŘEHÁK Vojtěch

  Stať ve sborníku

  SOFSEM 2002: Student Research Forum, rok: 2002