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.
Prof. Jiří Srba, Ph.D. (IS), mimo katedry
Články v impaktovaných časopisech dle IS MU 2019–2023 (celkem 0.738)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 2023 JCR2022; JCR2023 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.369 | 0.369 | 2019 | Stubborn Versus Structural Reductions for Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen |
| 0.369 | 0.369 | 2019 | Model Checking and Synthesis for Branching Multi-Weighted Logics (DOI) | Srba | Jensen, Kaufmann, Larsen, Nielsen |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A TACAS | 2019 | Abstract Dependency Graphs and Their Application to Model Checking (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) |
| A CONCUR | 2019 | Partial Order Reduction for Reachability Games (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Dagstuhl Publishing | Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19) |
| C RSSRail | 2019 | Safe and Time-Optimal Control for Railway Games (DOI) | Srba | Karra, Larsen, Lorber | Springer | RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
| C SPIN | 2019 | Model Verification Through Dependency Graphs (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19) |