Impaktované časopisy          Konference          Celkem

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. Petr Bauch, Ph.D. (IS), katedra: KTP, zdroj vazby: školitel Barnat

Články v impaktovaných časopisech dle IS MU 2016–2020 (celkem 0.586)

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 2020 JCR2019; JCR2020 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.

hodnotadíl autoraroktitlezapočítaníostatní
0.830.2772016Control Explicit-Data Symbolic Model Checking (DOI)Bauch, Havel, Barnat
0.6790.2262016Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories (DOI)Bauch, Havel, Barnat
0.330.0832016Analysing Sanity of Requirements for Avionics Systems (DOI)Barnat, Bauch, Beneš, BrimBeran, Kratochvíla

Články ve sbornících dle IS MU 2016–2020 (celkem B: 0.25) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
B
SPIN
2016SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI)Mrázek, Bauch, Lauko, BarnatSpringer International PublishingModel Checking Software