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.
Šafránek David (IS), katedra: KSUZD, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2013–2017 (celkem 0.375)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.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.86 | 0.215 | 2014 | Robustness Analysis of Stochastic Biochemical Systems (DOI) | Češka, Šafránek, Dražan, Brim | |
| 0.48 | 0.16 | 2014 | STL*: Extending signal temporal logic with signal-value freezing operator (DOI) | Brim, Šafránek, Vejpustek | Dluhoš |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* | 2017 | Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Computer Aided Verification. CAV 2017 | |
| A* | 2013 | Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI) | Brim, Češka, Dražan, Šafránek | Springer Berlin Heidelberg | 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings | |
| A | 2016 | Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Automated Technology for Verification and Analysis. ATVA 2016 | |
| A | 2016 | A Model Checking Approach to Discrete Bifurcation Analysis (DOI) | Beneš, Brim, Demko, Pastva, Šafránek | Springer International Publishing | Formal Methods. FM 2016 | |
| B | 2017 | Detecting Attractors in Biological Models with Uncertain Parameters (DOI) | Brim, Barnat, Šafránek, Beneš, Demko, Pastva, Hajnal | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2017 | |
| B | 2016 | High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI) | Demko, Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Computational Methods in Systems Biology. CMSB 2016. | |
| B | 2015 | Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI) | Brim, Češka, Demko, Pastva, Šafránek | Springer International Publishing | Computational Methods in Systems Biology | |
| C | 2016 | Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI) | Hajnal, Šafránek, Demko, Pastva, Brim | Krejčí | Springer International Publishing | Hybrid Systems Biology. HSB 2016 |
| C | 2016 | E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria (DOI) | Troják, Šafránek | Hrabec, Šalagovič, Romanovská, Červený | Springer | Computational Methods in Systems Biology. CMSB 2016. |
| C | 2016 | Formal Biochemical Space with Semantics in Kappa and BNGL (DOI) | Šafránek, Troják, Klement, Brim | Děd, Šalagovič | Elsevier | The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015 |
| C | 2015 | Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI) | Brim, Nižnan, Šafránek | Elsevier | 5th International Workshop on Static Analysis and Systems Biology (SASB 2014) | |
| C | 2015 | High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI) | Brim, Demko, Pastva, Šafránek | Springer International Publishing | Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers | |
| C | 2014 | Biochemical Space: A Framework for Systemic Annotation of Biological Models (DOI) | Klement, Šafránek | Děd, Červený, Mueller, Steuer | Elsevier | Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) |
| C | 2013 | Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization (DOI) | Brim, Šafránek | Van, Jacquet | Elsevier | Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12) |
| C | 2013 | A Comprehensive Web-based Platform For Domain-Specific Biological Models (DOI) | Klement, Šafránek | Děd, Pejznoch, Nedbal, Steuer, Červený, Mueller | Elsevier | Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) |
| C | 2013 | Model Checking of Biological Systems (DOI) | Brim, Češka, Šafránek | Springer | Formal Methods for Dynamical Systems | |
| C | 2013 | Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks | Streck, Kolčák, Šafránek | Siebert | Springer | Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings |
| D | 2013 | Qualitative modelling and analysis of Photosystem II | Brim, Šafránek | Děd | Neuveden | CEUR Workshop Proceedings |
| D | 2013 | Robustness Analysis for Value-Freezing Signal Temporal Logic (DOI) | Brim, Vejpustek, Šafránek, Dražanová | Neuveden | Proceedings HSB 2013 | |
| D | 2013 | Robustness Analysis of Stochastic Systems (DOI) | Brim, Češka, Dražan, Šafránek | Open Publishing Association | Electronic Proceedings in Theoretical Computer Science, Volume 116 |
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á).