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, konferenčních příspěvků ohodnocených dle interních pravidel a „RIV“ bodů Hodnocení 2016. 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.

Češka Milan (IS), katedra: KTP, zdroj vazby: školitel Brim

Články v impaktovaných časopisech dle IS MU 2013–2017 (celkem 0.316)

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 2017 JCR2016; JCR2017 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.860.2152014Robustness Analysis of Stochastic Biochemical Systems (DOI)Češka, Šafránek, Dražan, Brim
0.2020.1012017Precise parameter synthesis for stochastic biochemical systems (DOI)Češka, BrimDannenberg, Paoletti, Kwiatkowska

Články ve sbornících dle IS MU 2013–2017 (celkem A*: 0.75, B: 1.2, C: 0.333, D: 0.25) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*2015Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI)Češka, BrimAbate, KwiatkowskaSpringer International Publishing27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings
A*2013Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI)Brim, Češka, Dražan, ŠafránekSpringer Berlin Heidelberg25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
B2015Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI)Brim, Češka, Demko, Pastva, ŠafránekSpringer International PublishingComputational Methods in Systems Biology
B2014Precise Parameter Synthesis for Stochastic Biochemical Systems (DOI)ČeškaDannenberg, Kwiatkowska, PaolettiSpringer International PublishingComputational Methods in Systems Biology
C2013Model Checking of Biological Systems (DOI)Brim, Češka, ŠafránekSpringerFormal Methods for Dynamical Systems
D2013Robustness Analysis of Stochastic Systems (DOI)Brim, Češka, Dražan, ŠafránekOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science, Volume 116

Body v RIVu dle Hodnocení 2016 (tedy 2011–2015; celkem 71.801)

Z Hodnocení jsou převzaty body za publikační výsledky z Pilíře I, body za aplikované výsledky (SW, druh R) z roku 2011 z Pilíře III a body za projekty aplikovaného výzkumu z Pilíře III, které jsou vždy přiděleny vedoucím těchto projektů (p.t. Horák, Matyáš, Pala, Přenosil a Zezula, z pohledu dělení na katedry postačující, z individuálního pohledu to pochopitelně čísla trochu zkresluje). Případné procentní podíly pracovišť v IS MU nejsou zohledněny (stran přerozdělení mezi fakultami jde o malé desítky bodů, ale bylo by obtížné to korektně dohledat, stran rozdělení mezi katedry jsou data neúplná a/nebo nespolehlivá).

body FIbody autorarokzařazení :druhtitlezapočítaníostatní
65.23616.3092014Jimp:JRobustness Analysis of Stochastic Biochemical Systems (DOI)Češka, Šafránek, Dražan, Brim
23.1415.7852013D:DExploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI)Brim, Češka, Dražan, Šafránek
23.1417.7142013D:DModel Checking of Biological Systems (DOI)Brim, Češka, Šafránek
23.0895.7722012Jsc:JDesigning Fast LTL Model Checking Algorithms for Many-core GPUs (DOI)Barnat, Bauch, Brim, Češka
17.2117.212012D:DOn Parallel Software Verification Using Boolean Equation Systems (DOI)Češka
15.7363.1472015D:DParameter Synthesis by Parallel Coloured CTL Model Checking (DOI)Brim, Češka, Demko, Pastva, Šafránek
10.4915.2452015D:DAdaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI)Češka, Brim
8.68.62014D:DPrecise Parameter Synthesis for Stochastic Biochemical Systems (DOI)Češka
8.0742.0192011D:DComputing Strongly Connected Components in Parallel on CUDABarnat, Bauch, Brim, Češka
002013neu:DRobustness Analysis of Stochastic Systems (DOI)Brim, Češka, Dražan, Šafránek
002011neu:JComputing Optimal Cycle Mean in Parallel on CUDA (DOI)Barnat, Bauch, Brim, Češka
002011neu:DCUDA Accelerated LTL Model Checking - RevisitedBauch, Češka