Impaktované časopisy          Konference          Celkem

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 2017–2021 (celkem 1.131)

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.

hodnotadíl autoraroktitlezapočítaníostatní
0.930.2332021Parallel One-Step Control of Parametrised Boolean Networks (DOI)Brim, Pastva, Šafránek, Šmijáková
0.7350.3682019Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway (DOI)Demko, ŠafránekChrást, Dvořák, Damborský
0.6740.1682020Digital Bifurcation Analysis of Internet Congestion Control Protocols (DOI)Beneš, Brim, Pastva, Šafránek
0.6580.2192020Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI)Troják, Šafránek, BrimMertová
0.2220.1112019Parameter space abstraction and unfolding semantics of discrete regulatory networks (DOI)Kolčák, ŠafránekHaar, Paulevé
0.130.0322020Parallel parameter synthesis algorithm for hybrid CTL (DOI)Beneš, Brim, Pastva, Šafránek
Články ve sbornících dle IS MU 2017–2021 (celkem A*: 0.7, A: 0.5, B: 2.16, C: 2.167) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*
CAV		2021Computing Bottom SCCs Symbolically Using Transition Guided Reduction (DOI)Beneš, Brim, Pastva, ŠafránekSpringer NatureComputer Aided Verification - 33rd International Conference, CAV 2021
A*
CAV		2020AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks (DOI)Beneš, Brim, Pastva, ŠafránekKadlecajSpringer, ChamComputer Aided Verification. CAV 2020
A*
CAV		2017Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingComputer Aided Verification. CAV 2017
A
TACAS		2021Symbolic Coloured SCC Decomposition (DOI)Beneš, Brim, Pastva, ŠafránekSpringer NatureTools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021
A
TACAS		2019Digital Bifurcation Analysis of TCP Dynamics (DOI)Beneš, Brim, Pastva, ŠafránekSpringer International PublishingTools and Algorithms for the Construction and Analysis of Systems. TACAS 2019
B
CMSB		2021Aeon 2021: Bifurcation Decision Trees in Boolean Networks (DOI)Beneš, Brim, Pastva, ŠafránekSpringerInternational Conference on Computational Methods in Systems Biology (CMSB 2021)
B
NFM		2020Parameter Synthesis and Robustness Analysis of Rule-Based Models (DOI)Troják, Šafránek, BrimMertováSpringer12th International Symposium on NASA Formal Methods, NFM 2020
B
CMSB		2020Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (DOI)Šmijáková, Pastva, Šafránek, BrimSpringer, ChamComputational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314
B
CMSB		2020eBCSgen: A Software Tool for Biochemical Space Language (DOI)Troják, Šafránek, BrimMertováSpringer18th International Conference on Computational Methods in Systems Biology, CMSB 2020
B
HS		2019Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT (DOI)Beneš, Brim, Dražanová, Pastva, ŠafránekACMProceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control
B
ICFEM		2019Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. (DOI)Beneš, Brim, Pastva, ŠafránekPoláčekSpringerFormal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
B
IFM		2019Accelerating Parameter Synthesis Using Semi-algebraic Constraints (DOI)Beneš, Brim, Geletka, Pastva, ŠafránekSpringer International PublishingIntegrated Formal Methods
B
ICSTCC		2018Fully Automated Attractor Analysis of Cyanobacteria Models (DOI)Beneš, Brim, Pastva, Šafránek, TrojákČervený, ŠalagovičIEEE22nd International Conference on System Theory, Control and Computing
B
CMSB		2017Detecting Attractors in Biological Models with Uncertain Parameters (DOI)Brim, Barnat, Šafránek, Beneš, Demko, Pastva, HajnalSpringer International PublishingComputational Methods in Systems Biology. CMSB 2017
C
EPEW		2021DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications (DOI)Hajnal, ŠafránekPetrovSpringerPerformance Engineering and Stochastic Modeling
C
SASB		2020Executable Biochemical Space for Specification and Analysis of Biochemical Systems (DOI)Troják, Šafránek, BrimŠalagovič, ČervenýElsevier9th International Workshop on Static Analysis and Systems Biology (SASB)
C
CMSB		2019Barbaric Robustness Monitoring Revisited for STL* in Parasim (DOI)Šafránek, Troják, Brůža, Demko, Pastva, BrimVejpustek, Papoušek, PejznochSpringerComputational Methods in Systems Biology (CMSB 2019)
C
HSB		2019Data-Informed Parameter Synthesis for Population Markov Chains (DOI)Hajnal, ŠafránekNouvian, PetrovSpringer International PublishingHybrid Systems Biology (HSB 2019)
C
CMSB		2019Data-Informed Parameter Synthesis for Population Markov Chains (DOI)Hajnal, ŠafránekMorgane, PetrovSpringer Nature17th International Conference on Computational Methods in Systems Biology (CMSB 2019)
C
CMSB		2017Discrete Bifurcation Analysis with PithyaBeneš, Brim, Demko, Hajnal, Pastva, ŠafránekSpringer15th International Conference on Computational Methods in Systems Biology (CMSB)