Podklady pro hodnocení kateder na základě článků v impaktovaných časopisech ohodnocených podle pozice časopisu v oborovém žebříčku dle JCR a konferenčních příspěvků ohodnocených dle interních pravidel. Jde o výsledky vykázané za FI nebo s deklarovaným podílem FI (konkrétní výše podílu není nijak zohledněna).
Hodnoty výsledků dělím rovným dílem mezi domácí autory s vazbou k jedné z kateder. Základem pro rozřazení autorů ke katedrám je seznam zaměstnanců kateder. Doktorandi jsou řazeni na katedru svého školitele, ze zbylých domácích autorů jsou ti, kteří mají spoluautory pouze z jedné katedry, zařazeni na tuto katedru, z ostatních jsou ti s významnějším přínosem zařazeni ručně (např. magisterští studenti dle vedoucího DP), podíl těch s marginálním přínosem je rozdělen mezi jejich spoluautory.
RNDr. Martin Jonáš, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2020–2024 (celkem 0.14)Hodnota se počítá jako (Nmax - N + 1) / N, kde Nmax je počet časopisů v kategorii a N pořadí časopisu dle IF. Při zařazení časopisu do více kategorií nebo shodě IF se bere průměr. Najetím myší na hodnotu se zobrazí pořadí v oborových žebříčcích daného ročníku JCR (pro 2024 JCR2023; JCR2024 ještě nevyšlo), odkaz vede na stránku časopisu v JCR (oborové žebříčky tam jsou pod odkazem Rank), funguje ale jen z IP adres MU a je potřeba kliknout alespoň dvakrát, první přístup pouze inicializuje session.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.28 | 0.14 | 2024 | Truncating abstraction of bit-vector operations for BDD-based SMT solvers (DOI) | Jonáš, Strejček |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CAV | 2023 | Kratos2: An SMT-Based Model Checker for Imperative Programs (DOI) | Jonáš | Griggio | Springer | Computer Aided Verification. CAV 2023 |
| A TACAS | 2024 | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| A IROS | 2021 | Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? (DOI) | Mrázek, Jonáš, Barnat | IEEE | 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) | |
| B FMCAD | 2024 | Combining Symbolic Execution with Predicate Abstraction and CEGAR (DOI) | Jonáš, Strejček | Griggio | TU Wien Academic Press | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| C TACAS | 2024 | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (DOI) | Jonáš, Novák, Trtík, Ayaziová, Strejček | Kumor, Sedláček, Zaoral | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| C FASE | 2024 | Fizzer: New Gray-Box Fuzzer (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings |