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.
Řehák Vojtěch (IS), katedra: KTP, zdroj vazby: seznam
Články ve sbornících dle IS MU 2013–2017 (celkem A: 1, B: 0.583, C: 1.7, D: 0.25) Popis rankingu viz zde.rank | rok | title | započítaní | ostatní | nakladatel | sborník |
---|---|---|---|---|---|---|
A | 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 | 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 | |
A | 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 | 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 | 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 | 2014 | Dealing with Zero Density Using Piecewise Phase-Type Approximation (DOI) | Korenčiak, Řehák | Krčál | Springer International Publishing | Computer Performance Engineering |
C | 2013 | Controllable-choice Message Sequence Graphs (DOI) | Řehák | Chmelík | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers |
C | 2013 | On time-average limits in deterministic and stochastic Petri nets (DOI) | Brázdil, Korenčiak, Krčál, Křetínský, Řehák | ACM | ACM/SPEC International Conference on Performance Engineering, ICPE'13 | |
D | 2014 | Solving adversarial patrolling games with bounded error: (extended abstract) | Brázdil, Řehák, Kučera, Krčál | Abaffy, Bošanský | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) | Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14) |
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á).