2024
- Convergence verification of the Collatz problem, software, 2024
Authors: BAŘINA, D. - FitLayout Web Browser Extension, software, 2024
Authors: NOVOTNÝ, J.; BURGET, R. - GenRex: Generator of Regular Expressions, software, 2024
Authors: KOLÁŘ, D.; MILKOVIČ, M.; REGÉCIOVÁ, D. - LineShaper, software, 2024
Authors: LAZÚR, J.; HYNEK, J. - 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. - Minimalist JPEG decoder & encoder, software, 2024
Authors: BAŘINA, D. - Nástroj pro analýzu dat z Waze, software, 2024
Authors: ONDRUŠKOVÁ, M.; HYNEK, J. - 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. - Software Package for Reporting Errors in Distributed MPI Applications, software, 2024
Authors: JAROŠ, J. - SW4 Acoustic Pattern Detector, software, 2024
Authors: YUSUF, B.; KARAFIÁT, M.; ŠVEC, J.; ŠMÍDL, L. - Web-Based Simulator of Superscalar RISC-V Processors, software, 2024
Authors: MAJER, M.; HORKÝ, J.; VÁVRA, J.; JAROŠ, J. - x3: Experimental Data Compressor, software, 2024
Authors: BAŘINA, D. - Z3-Noodler: A String Solver, software, 2024
Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.