Department of Intelligent Systems

Author Title Keyword Year Years Product Type

2024

Fingerprint Processing Web Application, software, 2024
Authors: VAŇO, M.; SVOBODA, J.; SAKIN, M.
Mata: A Finite Automata Library, software, 2024
Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.
Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Authors: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.
Z3-Noodler: A String Solver, software, 2024
Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.