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 2017–2021 (celkem 0.446)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 2021 JCR2020; JCR2021 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.674 | 0.168 | 2020 | Digital Bifurcation Analysis of Internet Congestion Control Protocols (DOI) | Beneš, Brim, Pastva, Šafránek | |
| 0.446 | 0.112 | 2018 | On clock-aware LTL parameter synthesis of timed automata (DOI) | Bezděk, Beneš, Černá, Barnat | |
| 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* CAV | 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 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 | 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 | |
| B ICSOFT | 2018 | Finding Regressions in Projects under Version Control Systems (DOI) | Bendík, Beneš, Černá | SciTePress | 13th International Conference on Software Technologies | |
| B ATVA | 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá, Beneš | Springer | Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings} | |
| 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 |
| B CMSB | 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 | |
| C CMSB | 2017 | Discrete Bifurcation Analysis with Pithya | Beneš, Brim, Demko, Hajnal, Pastva, Šafránek | Springer | 15th International Conference on Computational Methods in Systems Biology (CMSB) |