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

2024

GenRex: Generátor regulárních výrazů, software
Autoři: Regéciová Dominika, Kolář Dušan, Milkovič Marek

2023

Extractor, software
Autoři: Regéciová Dominika, Kolář Dušan, Pluskal Jan

2022

Řešení členství pro Watson-Crick bezkontextové gramatiky, software
Autoři: Hammer Jan, Křivka Zbyněk

2015

Generátor tabulky pro rozklad založený na LLk gramatikách, software
Autoři: Kocman Radim, Kolář Dušan

2013

Instrukční simulátor procesoru PicoBlaze, software
Autoři: Křivka Zbyněk, Šimek Jiří

2011

Integrované vývojové prostředí VLAM, software
Autoři: Jirák Ota, Křivka Zbyněk, Olšarová Nela, Vašíček Zdeněk

2009

PicoBlaze C překladač, software
Autoři: Křivka Zbyněk