2024
- Automatic Dialect Detector Based on Audio Recording, software, 2024
Authors: Plchot Oldřich, Odehnal Ondřej, Karafiát Martin, Žižka Josef, Šimečková Marta Detail - BESST: Brno Extended Stress and Speech Database, testing, 2024
Authors: Pešán Jan, Juřík Vojtěch, Růžičková Alexandra, Svoboda Vojtěch, Janoušek Oto, Němcová Andrea, Bojanovská Hana, Aldabaghová Jasmína, Kyslík Filip, Vodičková Kateřina, Sodomová Adéla, Bartys Patrik, Chudý Peter, Černocký Jan Detail - Convergence verification of the Collatz problem, software, 2024
Authors: Bařina David Detail - GenRex: Generator of Regular Expressions, software, 2024
Authors: Regéciová Dominika, Kolář Dušan, Milkovič Marek Detail - LineShaper, software, 2024
Authors: Lazúr Juraj, Hynek Jiří Detail - Mata: A Finite Automata Library, software, 2024
Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail - Minimalist JPEG decoder & encoder, software, 2024
Authors: Bařina David Detail - Nástroj pro analýzu dat z Waze, software, 2024
Authors: Ondrušková Magdaléna, Hynek Jiří Detail - Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail - Software Package for Reporting Errors in Distributed MPI Applications, software, 2024
Authors: Jaroš Jiří Detail - SW4 Acoustic Pattern Detector, software, 2024
Authors: Yusuf Bolaji, Karafiát Martin, Švec Jan, Šmídl Luboš Detail - SW6 ASR of Eastern European Language, software, 2024
Authors: Šmídl Luboš, Karafiát Martin, Lehečka Jan, Szőke Igor, Švec Jan Detail - Web-Based Simulator of Superscalar RISC-V Processors, software, 2024
Authors: Majer Michal, Horký Jakub, Vávra Jan, Jaroš Jiří Detail - x3: Experimental Data Compressor, software, 2024
Authors: Bařina David Detail - Z3-Noodler: A String Solver, software, 2024
Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail