• Analýza velkých repozitářů kódu 

      Autor: Petr Máj; Vedoucí práce: Janoušek Jan; Oponent práce: Petříček Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-30)
      Softwarové inženýrství těží z poznatků získaných z velkých softwarových repozitářů, které nabízejí bezkonkurenční vhled do vývojového procesu. Jejich rozsah sám o sobě je příslibem široké použitelnosti výsledků. Tento ...
    • Indexy uspořádaných stromů pro podstromy a stromové vzorky a jejich prostorové složitosti 

      Autor: Poliak Martin; Vedoucí práce: Janoušek Jan; Oponent práce: Pokorný Jaroslav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-04-06)
      This doctoral thesis deals with methods of indexing of a tree for subtrees and for tree patterns. Two types of indexes are considered. The first type is the index of a tree for subtrees, i.e. a full index that accepts all ...
    • (Nelineární) stromové indexování a protisměrné vyhledávání 

      Autor: Jan Trávníček; Vedoucí práce: Janoušek Jan; Oponent práce: Demlová Marie
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-04-05)
      Trees are one of the fundamental data structures used in Computer Science. The dissertation thesis contributions are best categorised as a part of arbology research [52]. Arbology research is a counterpart of stringology ...
    • O determinizaci zásobníkových automatů a konverzi regulárních stromových výrazů na determinizovatelné zásobníkové automaty 

      Autor: Radomír Polách; Vedoucí práce: Janoušek Jan; Oponent práce: Meduna Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-05-30)
      Trees are one of the fundamental and well-studied data structures in Computer Science. Arbology uses pushdown automata (PDAs), which read linearised notations of trees, as its suitable model of computation. Regular tree ...
    • Vyhledávání vzorků ve stromech a indexování stromů za použití automatů zpracovávajících řetězce 

      Autor: Eliška Šestáková; Vedoucí práce: Janoušek Jan; Oponent práce: Meduna Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-30)
      Problém vyhledávání vzorků ve stromech lze definovat jako vyhledávání všech výskytů vzorku ve vstupním stromě. Tento problém je často připodobňován k problému vyhledávání v řetězcích. Jedním z přístupů používaném při ...