• Algoritmy synchronizace dokumentace při vývoji SW 

      Autor: Červenka Adam; Vedoucí práce: Flígl Stanislav; Oponent práce: Valenta Michal
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
    • Virtuální stroj pro Lisp v jazyku Scala 

      Autor: Červenka Adam; Vedoucí práce: Daněček Jiří; Oponent práce: Špaček Petr
      Práce se zabývá implementací virtuálního stroje napsaného v jazyce Scala, který interpretuje kód jazyka Scheme. Dále pojednává obecně o virtuálních strojích a čtenáři přiblíží jazyk Scheme a Scala.