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

2024

GenRex: Generator of Regular Expressions, 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

Membership solver for Watson-Crick Context-free Grammars, software, 2022
Autoři: HAMMER, J.; KŘIVKA, Z.

2015

LLk Parsing Table Generator, software, 2015
Autoři: KOCMAN, R.; KOLÁŘ, D.

2013

PicoBlaze Simulator, 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 Compiler, software, 2009
Autoři: KŘIVKA, Z.