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.
RNDr. Nikola Beneš, Ph.D. (IS), katedra: KPSK, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2019–2023 (celkem 0.996)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 2023 JCR2022; JCR2023 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.883 | 0.294 | 2023 | Boolean network sketches: a unifying framework for logical model inference (DOI) | Beneš, Brim, Šafránek | Huvar, Pastva |
| 0.883 | 0.177 | 2022 | AEON.py: Python library for attractor analysis in asynchronous Boolean networks (DOI) | Beneš, Brim, Pastva, Šafránek, Šmijáková | Huvar |
| 0.674 | 0.168 | 2020 | Digital Bifurcation Analysis of Internet Congestion Control Protocols (DOI) | Beneš, Brim, Pastva, Šafránek | |
| 0.526 | 0.132 | 2022 | Exploring attractor bifurcations in Boolean networks (DOI) | Beneš, Brim, Pastva, Šafránek | Kadlecaj |
| 0.234 | 0.058 | 2022 | BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs (DOI) | Beneš, Brim, Pastva, Šafránek | |
| 0.134 | 0.134 | 2020 | Logical vs. behavioural specifications (DOI) | Beneš | Fahrenberg, Křetínský, Legay, Traonouez |
| 0.13 | 0.032 | 2020 | Parallel parameter synthesis algorithm for hybrid CTL (DOI) | Beneš, Brim, Pastva, Šafránek |
| 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 | 2023 | Phenotype Control of Partially Specified Boolean Networks (DOI) | Beneš, Brim, Šafránek, Šmijáková | Pastva | Springer Cham | 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 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 |