• Modelování transakcí 

      Autor: Mikeš Filip; Vedoucí práce: Douša Jiří; Oponent práce: Kubátová Hana
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Návrh systému na čipu pomocí formálního modelu 

      Autor: Snopkov Oleksandr; Vedoucí práce: Kubátová Hana; Oponent práce: Kohlík Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)