Výzkumná skupina formálních modelů

2020

Architektura systému, ViAn Server, Snímací uzel a ViAn GUI, zpráva odborná, 2020
Autoři: BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J.

2013

On Stateless Pushdown Automata And Limited Pushdown Alphabets, různé, 2013
Autoři: VRÁBEL, L.

2008

Canonical Derivations in Programmed Grammars, zpráva odborná, 2008
Autoři: ZEMEK, P.