Arbologie

Zabýváme se algoritmy pro zpracování stromových datových struktur, indexováním XML a implementací programovacích jazyků.
 
V rámci skupiny se věnujeme výzkumu v oblasti teorie algoritmů pro zpracování stromových datových struktur. Příklady takových stromových struktur mohou být například abstraktní syntaktické stromy nebo XML dokumenty. Z praktických aplikací se zabýváme aplikacemi z oblastí konstrukce překladačů, zpracování strukturovaných vstupů a jejich syntaktické a sémantické analýzy a překladů, generováním kódu a návrhem a implementací programovacích jazyků.
 
URL
http://arbology.fit.cvut.cz

 
Vedoucí
Doc. Ing. Jan Janoušek, Ph.D., jan.janousek@fit.cvut.cz
 
Výzkumná témata vedoucího
stromové datové struktury, konstrukce překladačů, syntaktická analýza, indexování, atributové gramatiky
 
Další členové

  • prof. Ing. Bořivoj Melichar, DrSc. (vyhledávání, indexování stromů, zpracování 2D struktur)
  • Ing. Ondřej Guth, Ph.D. (pokrývání stromů)
  • Ing. Marcel Hlopko (implementace programovacích jazyků)
  • Ing. Jan Kurš (implementace programovacích jazyků)
  • Bc. Jan Milík (indexování stromů)
  • Bc. Robin Obůrka (indexování stromů)
  • Ing. Radomír Polách (indexování stromů, teorie stromových jazyků, zásobníkové automaty)
  • Ing. Martin Poliak (indexování stromů)
  • Bc. Eliška Šestáková (zpracování XML)
  • Ing. Jan Trávníček (vyhledávání, indexování stromů, zpracování XML, zásobníkové automaty)
  • Ing. Jan Žďárek, Ph.D. (zpracování 2D struktur)

Výzkumná témata skupiny

  • indexování stromů
  • vyhledávání vzorků ve stromech
  • zpracování stromů
  • zpracování 2D a acyklických grafů
  • implementace programovacích jazyků

Vyučované předměty - zkratky
PI-ARB, MI-SYP, MI-GEN, MI-RUN, BI-PJP
 
Články

  • Janoušek, J., Melichar, B. On Regular Tree Languages and Deterministic Pushdown Automata. In: Acta Informatica, Vol. 46, No. 7, pp. 533-547, Springer, 2009. IF=0.444
  • Melichar, B., Janoušek, J., Flouri, T. Arbology: Trees and Pushdown Automata. In: Kybernetika, vol. 48, No.3, pp. 402-428, 2012. IF=0.454
  • M Christou, M Crochemore, T Flouri, CS Iliopoulos, J Janousek, B Melichar, SP Pissis Computing all subtree repeats in ordered trees, In: Information Processing Letters, Vol. 112, No. 24, pp. 958-962, Elsevier, 2012. IF=0.547
  • Flouri, T., Janousek , J., Melichar, B. Subtree matching and pushdown automata. In: Computer Science and Information Systems, Vol. 7, No.2, pp. 331-357, 2010. IF=0.625
  • Jan Lahoda, Jan Zdárek: Simple tree pattern matching for trees in the prefix bar notation. Discrete Applied Mathematics 163: 343-351. 2014. IF=0.677
  • Jan Janousek, Borivoj Melichar, Radomír Polách, Martin Poliak, Jan Trávnícek: A Full and Linear Index of a Tree for Tree Patterns. In: DCFS 2014, LNCS 8614: 198-209. Springer, 2014.
  • Jan Travnicek, J Janousek, B Melichar Indexing ordered trees for (nonlinear) tree pattern matching by pushdown automata, In: Computer Science and Information Systems, Vol. 9, No.3, pp. 1125-1153, 2012. IF=0.625
  • Hlopko, M., Kurs, J., Vraný, J., Gittinger, C. On the integration of Smalltalk and Java.
  • Science of Computer Programming, Elsevier, 2013. IF=0.548
  • Poliak, M., Janousek, J., Melichar, B. Tree Compression Pushdown Automaton. In: Kybernetika, vol. 48, No.3, pp. 429-452, 2012.. IF=0.454
  • Jan Zdárek, Borivoj Melichar: Tree-Based 2D Indexing. Int. J. Found. Comput. Sci. 22(8): 1893-1907 2011. IF=0.42


Poslední změna: 16.3.2015, 13:40