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ů posledního 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.
Korenčiak Ľuboš (IS), katedra: KTP, zdroj vazby: školitel Kučera
Články ve sbornících dle IS MU 2014–2018 (celkem A: 0.667, B: 0.917, C: 0.5) Popis rankingu viz zde.| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A ATVA | 2017 | Synthesis of Optimal Resilient Control Strategies (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer International Publishing | Automated Technology for Verification and Analysis |
| A MASCOTS | 2016 | Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (DOI) | Korenčiak, Kučera, Řehák | IEEE Computer Society | 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems | |
| B QEST | 2017 | Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (DOI) | Korenčiak, Kučera, Řehák | Baier, Dubslaff | Springer | Quantitative Evaluation of Systems |
| B IFM | 2016 | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (DOI) | Korenčiak, Řehák, Farmadin | Springer International Publishing | Integrated Formal Methods | |
| B QEST | 2015 | Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (DOI) | Brázdil, Korenčiak, Novotný, Řehák | Krčál | SPRINGER-VERLAG BERLIN | Quantitative Evaluation of Systems |
| C EPEW | 2014 | Dealing with Zero Density Using Piecewise Phase-Type Approximation (DOI) | Korenčiak, Řehák | Krčál | Springer International Publishing | Computer Performance Engineering |
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á). Pozor: je třeba mít na paměti, že časové „okno“ Hodnocení je o tři roky starší (2011–15) oproti pětiletce započítaných článků (2014–18); novější data tohoto druhu už nebudou, zatím se podle toho ovšem v podstatě stále dělí >97 % peněz mezi VŠ, tak je na zvážení, nakolik tato data používat.
| body FI | body autora | rok | zařazení :druh | title | započítaní | ostatní |
|---|---|---|---|---|---|---|
| 17.2 | 8.6 | 2014 | D:D | Dealing with Zero Density Using Piecewise Phase-Type Approximation (DOI) | Korenčiak, Řehák | |
| 13.988 | 3.497 | 2015 | D:D | Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (DOI) | Brázdil, Korenčiak, Novotný, Řehák | |
| 6.205 | 1.551 | 2012 | D:D | Sequence Chart Studio (DOI) | Bezděka, Korenčiak, Madzin, Řehák | Bouda |
| 4.009 | 0.802 | 2013 | D:D | On time-average limits in deterministic and stochastic Petri nets (DOI) | Brázdil, Korenčiak, Krčál, Křetínský, Řehák |