Ústav inteligentních systémů

Produkty, prototypy a software

Název:
Typ:
Od roku:  Roků:  

2018Lenochod - SMT solver pro řetězcová omezení, software, 2018
Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš
 MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
Autoři: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
 Poloautomatické snímací zařízení 2D charakteristik ruky, funkční vzorek, 2018
Autoři: Dvořák Michal, Stehlík Petr, Drahanský Martin
 Poloautomatické zařízení na snímání sítnice oka, funkční vzorek, 2018
Autoři: Drahanský Martin, Malaník Petr, Hájek Josef, Pokorný Jaroslav
 Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
 SYDAGenerator - nástroj pro generování datasetů s využitím 3D objektu, software, 2018
Autoři: Goldmann Tomáš, Drahanský Martin
2017FOS: Fast ODE Solver, software, 2017
Autoři: Kocina Filip
 Gaston - Symbolická WS1S Rozhodovací Procedura, software, 2017
Autoři: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
 Snímací zařízení pro krátké střelné zbraně, funkční vzorek, 2017
Autoři: Goldmann Tomáš, Dvořák Michal, Spurný Martin, Drahanský Martin

Vaše IPv4 adresa: 54.172.221.7
Přepnout na IPv6 spojení

DNSSEC [dnssec]