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.

prof. RNDr. Luboš Brim, CSc. (IS), katedra: KTP, zdroj vazby: seznam

Články v impaktovaných časopisech dle IS MU 2015–2019 (celkem 0.365)

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 2019 JCR2018; JCR2019 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.340.1132016Model checking C++ programs with exceptions (DOI)Ročkai, Barnat, Brim
0.330.0832016Analysing Sanity of Requirements for Avionics Systems (DOI)Barnat, Bauch, Beneš, BrimBeran, Kratochvíla
0.1690.1692017Precise parameter synthesis for stochastic biochemical systems (DOI)BrimČeška, Dannenberg, Paoletti, Kwiatkowska
Články ve sbornících dle IS MU 2015–2019 (celkem A*: 0.7, A: 1.15, B: 1.443, C: 1.367) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
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*
CAV		2015Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI)Češka, BrimAbate, KwiatkowskaSpringer International Publishing27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings
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
A
ATVA		2016Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingAutomated Technology for Verification and Analysis. ATVA 2016
A
TACAS		2016PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (DOI)Pilař, BrimČeška, Paoletti, KwiatkowskaSpringer International Publishing22nd International Conference, TACAS 2016
A
FM		2016A Model Checking Approach to Discrete Bifurcation Analysis (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingFormal Methods. FM 2016
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, Pastva, ŠafránekGeletkaSpringer 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
B
CMSB		2016High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI)Demko, Beneš, Brim, Pastva, ŠafránekSpringer International PublishingComputational Methods in Systems Biology. CMSB 2016.
B
CMSB		2015Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI)Brim, Češka, Demko, Pastva, ŠafránekSpringer International PublishingComputational Methods in Systems Biology
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
CMSB		2017Discrete Bifurcation Analysis with PithyaBeneš, Brim, Demko, Hajnal, Pastva, ŠafránekSpringer15th International Conference on Computational Methods in Systems Biology (CMSB)
C
HSB		2016Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI)Hajnal, Šafránek, Demko, Pastva, BrimKrejčíSpringer International PublishingHybrid Systems Biology. HSB 2016
C
SASB		2016Formal Biochemical Space with Semantics in Kappa and BNGL (DOI)Šafránek, Troják, Klement, BrimDěd, ŠalagovičElsevierThe 6th International Workshop on Static Analysis and Systems Biology, SASB 2015
C
SASB		2015Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI)Brim, Nižnan, ŠafránekElsevier5th International Workshop on Static Analysis and Systems Biology (SASB 2014)
C
HSB		2015High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI)Brim, Demko, Pastva, ŠafránekSpringer International PublishingHybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers