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, konferenčních příspěvků ohodnocených dle interních pravidel a „RIV“ bodů Hodnocení 2016. 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.

Pastva Samuel (IS), katedra: KTP, zdroj vazby: školitel Brim

Články ve sbornících dle IS MU 2013–2017 (celkem A*: 0.2, A: 0.4, B: 0.543, C: 0.45) Popis rankingu viz zde.

rank	rok	title	započítaní	ostatní	nakladatel	sborník
A*	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	2016	Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI)	Beneš, Brim, Demko, Pastva, Šafránek		Springer International Publishing	Automated Technology for Verification and Analysis. ATVA 2016
A	2016	A Model Checking Approach to Discrete Bifurcation Analysis (DOI)	Beneš, Brim, Demko, Pastva, Šafránek		Springer International Publishing	Formal Methods. FM 2016
B	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
B	2016	High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI)	Demko, Beneš, Brim, Pastva, Šafránek		Springer International Publishing	Computational Methods in Systems Biology. CMSB 2016.
B	2015	Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI)	Brim, Češka, Demko, Pastva, Šafránek		Springer International Publishing	Computational Methods in Systems Biology
C	2016	Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (DOI)	Hajnal, Šafránek, Demko, Pastva, Brim	Krejčí	Springer International Publishing	Hybrid Systems Biology. HSB 2016
C	2015	High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI)	Brim, Demko, Pastva, Šafránek		Springer International Publishing	Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Body v RIVu dle Hodnocení 2016 (tedy 2011–2015; celkem 7.081)

Z Hodnocení jsou převzaty body za publikační výsledky z Pilíře I, body za aplikované výsledky (SW, druh R) z roku 2011 z Pilíře III a body za projekty aplikovaného výzkumu z Pilíře III, které jsou vždy přiděleny vedoucím těchto projektů (p.t. Horák, Matyáš, Pala, Přenosil a Zezula, z pohledu dělení na katedry postačující, z individuálního pohledu to pochopitelně čísla trochu zkresluje). Případné procentní podíly pracovišť v IS MU nejsou zohledněny (stran přerozdělení mezi fakultami jde o malé desítky bodů, ale bylo by obtížné to korektně dohledat, stran rozdělení mezi katedry jsou data neúplná a/nebo nespolehlivá).

body FI	body autora	rok	zařazení :druh	title	započítaní	ostatní
15.736	3.934	2015	D:D	High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (DOI)	Brim, Demko, Pastva, Šafránek
15.736	3.147	2015	D:D	Parameter Synthesis by Parallel Coloured CTL Model Checking (DOI)	Brim, Češka, Demko, Pastva, Šafránek