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.
Šedě podbarvené jsou vykázány za jinou fakultu, ale s deklarovaným podílem FI.
doc. RNDr. David Šafránek, Ph.D. (IS), katedra: KSUZD, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2018–2022 (celkem 1.671)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 2022 JCR2021; JCR2022 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.
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CAV | 2021 | Computing Bottom SCCs Symbolically Using Transition Guided Reduction (DOI) | Beneš, Brim, Pastva, Šafránek | Springer Nature | Computer Aided Verification - 33rd International Conference, CAV 2021 | |
| A* CAV | 2020 | AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Kadlecaj | Springer, Cham | Computer Aided Verification. CAV 2020 |
| A TACAS | 2021 | Symbolic Coloured SCC Decomposition (DOI) | Beneš, Brim, Pastva, Šafránek | Springer Nature | Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021 | |
| A TACAS | 2019 | Digital Bifurcation Analysis of TCP Dynamics (DOI) | Beneš, Brim, Pastva, Šafránek | Springer International Publishing | Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019 | |
| B CMSB | 2022 | eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems (DOI) | Troják, Šafránek, Brim | Brozmann | Springer | 20th International Conference on Computational Methods in Systems Biology |
| B CMSB | 2021 | Aeon 2021: Bifurcation Decision Trees in Boolean Networks (DOI) | Beneš, Brim, Pastva, Šafránek | Springer | International Conference on Computational Methods in Systems Biology (CMSB 2021) | |
| B NFM | 2020 | Parameter Synthesis and Robustness Analysis of Rule-Based Models (DOI) | Troják, Šafránek, Brim | Mertová | Springer | 12th International Symposium on NASA Formal Methods, NFM 2020 |
| B CMSB | 2020 | Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (DOI) | Šmijáková, Pastva, Šafránek, Brim | Springer, Cham | Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314 | |
| B CMSB | 2020 | eBCSgen: A Software Tool for Biochemical Space Language (DOI) | Troják, Šafránek, Brim | Mertová | Springer | 18th International Conference on Computational Methods in Systems Biology, CMSB 2020 |
| B HS | 2019 | Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI) | Beneš, Brim, Dražanová, Pastva, Šafránek | ACM | Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control | |
| B ICFEM | 2019 | Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI) | Beneš, Brim, Pastva, Šafránek | Poláček | Springer | Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings |
| B IFM | 2019 | Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI) | Beneš, Brim, Geletka, Pastva, Šafránek | Springer International Publishing | Integrated Formal Methods | |
| B ICSTCC | 2018 | Fully Automated Attractor Analysis of Cyanobacteria Models (DOI) | Beneš, Brim, Pastva, Šafránek, Troják | Červený, Šalagovič | IEEE | 22nd International Conference on System Theory, Control and Computing |
| C EPEW | 2021 | DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications (DOI) | Hajnal, Šafránek | Petrov | Springer | Performance Engineering and Stochastic Modeling |
| C SASB | 2020 | Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI) | Troják, Šafránek, Brim | Šalagovič, Červený | Elsevier | 9th International Workshop on Static Analysis and Systems Biology (SASB) |
| C CMSB | 2019 | Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI) | Šafránek, Troják, Brůža, Demko, Pastva, Brim | Vejpustek, Papoušek, Pejznoch | Springer | Computational Methods in Systems Biology (CMSB 2019) |
| C HSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Nouvian, Petrov | Springer International Publishing | Hybrid Systems Biology (HSB 2019) |
| C CMSB | 2019 | Data-Informed Parameter Synthesis for Population Markov Chains (DOI) | Hajnal, Šafránek | Morgane, Petrov | Springer Nature | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |