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

2024

GenRex: Generátor regulárních výrazů, software, 2024
Autoři: KOLÁŘ, D.; MILKOVIČ, M.; REGÉCIOVÁ, D.

2023

Extractor, software, 2023
Autoři: REGÉCIOVÁ, D.; KOLÁŘ, D.; PLUSKAL, J.

2022

Řešení členství pro Watson-Crick bezkontextové gramatiky, software, 2022
Autoři: HAMMER, J.; KŘIVKA, Z.

2015

Generátor tabulky pro rozklad založený na LLk gramatikách, software, 2015
Autoři: KOCMAN, R.; KOLÁŘ, D.

2013

Instrukční simulátor procesoru PicoBlaze, software, 2013
Autoři: ŠIMEK, J.; KŘIVKA, Z.

2011

Integrované vývojové prostředí VLAM, software, 2011
Autoři: KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z.; OLŠAROVÁ, N.

2009

PicoBlaze C překladač, software, 2009
Autoři: KŘIVKA, Z.