• Automatizované provádění transformací cyklů 

      Autor: Ječmen Jan; Vedoucí práce: Šimeček Ivan; Oponent práce: Trávníček Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Efektivní řešič lineárních nerovnic: 

      Autor: Tomáš Janecký; Vedoucí práce: Šimeček Ivan; Oponent práce: Ječmen Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-20)
      Tato práce se zabývá implementací algoritmu pro řešení soustav lineárních nerovnic pomocí řešení konfliktů. Algoritmus je implementován v C++17, jeho paralerizace je docílena pomocí knihovny OpenMP.