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.

RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons) (IS), mimo katedry

Články v impaktovaných časopisech dle IS MU 2015–2019 (celkem 0.736)

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 2019 JCR2018; JCR2019 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.5270.1762017Trading performance for stability in Markov decision processes (DOI)Brázdil, Forejt, KučeraChatterjee
0.3580.3582015Permissive controller synthesis for probabilistic systems (DOI)ForejtDraeger, Kwiatkowska, Parker, Ujma
0.2020.2022016Expected Reachability-Time Games (DOI)ForejtKwiatkowska, Norman, Trivedi

Články ve sbornících dle IS MU 2015–2019 (celkem A: 2.833) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A
CONCUR
2016Stability in Graphs and Games (DOI)Brázdil, Forejt, KučeraNovotnýSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik27th International Conference on Concurrency Theory, CONCUR 2016
A
ATVA
2016Decidability Results for Multi-objective Stochastic Games (DOI)ForejtBrenguierSpringerInternational Symposium on Automated Technology for Verification and Analysis
A
LPAR
2015Controller Synthesis for MDPs and Frequency LTL\GU (DOI)Forejt, KřetínskýKrčálSpringerLPAR 2015
A
CONCUR
2015On Frequency LTL in Probabilistic Systems (DOI)ForejtKrčálSchloss Dagstuhl - Leibniz-Zentrum fuer InformatikCONCUR 2015