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.
Mgr. Jakub Novák (IS), katedra: KTP, zdroj vazby: školitel Strejček
Články ve sbornících dle IS MU 2020–2024 (celkem C: 0.783) Popis rankingu viz zde.rank | rok | title | započítaní | ostatní | nakladatel | sborník |
---|---|---|---|---|---|---|
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 | 2021 | Symbiotic 8: Parallel and Targeted Test Generation (DOI) | Chalupa, Novák, Strejček | Springer | Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings | |
C TACAS | 2021 | Symbiotic 8: Beyond Symbolic Execution (DOI) | Chalupa, Novák, Řechtáčková, Strejček | Jašek, Šoková | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II |