Department of Intelligent Systems
2024
- Device for biometric identification with the aid of fingerprints and/or hand characteristics, and method of biometric identification with the aid of these characteristics, patent, 2024
Authors: DVOŘÁK, M.; GOLDMANN, T.; DRAHANSKÝ, M.; SAKIN, M.; DVOŘÁK, R.; NEZHYBA, O.; MEISTER, T.; ZARRABI, A. - 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.