• Algoritmy vizualizace a testování izomorfizmu stromů 

      Autor: Pištěk Jakub; Vedoucí práce: Kolář Josef; Oponent práce: Chludil Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)
    • Dispečerův kalkulátor 

      Autor: Boušková Blanka; Vedoucí práce: Kolář Josef; Oponent práce: Voráček Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)
    • Rychlé algoritmy řazení 

      Autor: Lom Michal; Vedoucí práce: Kolář Josef; Oponent práce: Matyáš Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)
    • Testování izomorfizmu stromů 

      Autor: Čemus Karel; Vedoucí práce: Kolář Josef; Oponent práce: Janoušek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2011-10-14)