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.

Brim Luboš (IS), katedra: KTP, zdroj vazby: seznam

Články v impaktovaných časopisech dle IS MU 2013–2017 (celkem 0.672)

Hodnota se počítá jako (N_max - N + 1) / N, kde N_max 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 2017 JCR2016; JCR2017 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.86	0.215	2014	Robustness Analysis of Stochastic Biochemical Systems (DOI)	Češka, Šafránek, Dražan, Brim
0.48	0.16	2014	STL*: Extending signal temporal logic with signal-value freezing operator (DOI)	Brim, Šafránek, Vejpustek	Dluhoš
0.34	0.113	2016	Model checking C++ programs with exceptions (DOI)	Ročkai, Barnat, Brim
0.33	0.083	2016	Analysing Sanity of Requirements for Avionics Systems (DOI)	Barnat, Bauch, Beneš, Brim	Beran, Kratochvíla
0.202	0.101	2017	Precise parameter synthesis for stochastic biochemical systems (DOI)	Češka, Brim	Dannenberg, Paoletti, Kwiatkowska

Články ve sbornících dle IS MU 2013–2017 (celkem A*: 1.093, A: 0.9, B: 0.876, C: 2.2, D: 1) 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*	2015	Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI)	Češka, Brim	Abate, Kwiatkowska	Springer International Publishing	27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings
A*	2013	Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI)	Brim, Češka, Dražan, Šafránek		Springer Berlin Heidelberg	25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
A*	2013	DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (DOI)	Barnat, Brim, Havel, Havlíček, Ročkai, Štill, Weiser	Kriho, Lenčo	Springer	Computer Aided Verification 2013
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	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems (DOI)	Pilař, Brim	Češka, Paoletti, Kwiatkowska	Springer International Publishing	22nd International Conference, TACAS 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
B	2013	LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (DOI)	Barnat, Brim, Havel		IEEE Computer Society	Proceedings of Application of Concurrency to System Design, 2013
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	2016	Formal Biochemical Space with Semantics in Kappa and BNGL (DOI)	Šafránek, Troják, Klement, Brim	Děd, Šalagovič	Elsevier	The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015
C	2015	Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI)	Brim, Nižnan, Šafránek		Elsevier	5th International Workshop on Static Analysis and Systems Biology (SASB 2014)
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
C	2013	Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization (DOI)	Brim, Šafránek	Van, Jacquet	Elsevier	Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)
C	2013	Improved State Space Reductions for LTL Model Checking of C & C++ Programs (DOI)	Ročkai, Barnat, Brim		Springer	NASA Formal Methods 2013
C	2013	Model Checking of Biological Systems (DOI)	Brim, Češka, Šafránek		Springer	Formal Methods for Dynamical Systems
D	2013	Qualitative modelling and analysis of Photosystem II	Brim, Šafránek	Děd	Neuveden	CEUR Workshop Proceedings
D	2013	Robustness Analysis for Value-Freezing Signal Temporal Logic (DOI)	Brim, Vejpustek, Šafránek, Dražanová		Neuveden	Proceedings HSB 2013
D	2013	Robustness Analysis of Stochastic Systems (DOI)	Brim, Češka, Dražan, Šafránek		Open Publishing Association	Electronic Proceedings in Theoretical Computer Science, Volume 116

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

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í
65.236	16.309	2014	Jimp:J	Robustness Analysis of Stochastic Biochemical Systems (DOI)	Češka, Šafránek, Dražan, Brim
34.42	11.473	2012	D:D	Checking Sanity of Software Requirements (DOI)	Barnat, Bauch, Brim
34.42	8.605	2012	D:D	On Approximative Reachability Analysis of Biochemical Dynamical Systems (DOI)	Brim, Dražanová, Dražan, Šafránek
34.42	11.473	2012	D:D	Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs (DOI)	Barnat, Brim, Ročkai
31.64	6.328	2012	Jimp:J	On Parameter Synthesis by Parallel Model Checking (DOI)	Barnat, Brim, Streck, Šafránek, Vejpustek	Krejčí, Vejnár
25.815	8.605	2012	D:D	Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs (DOI)	Barnat, Brim, Ročkai
23.141	3.306	2013	D:D	DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (DOI)	Barnat, Brim, Havel, Havlíček, Ročkai, Štill, Weiser	Kriho, Lenčo
23.141	5.785	2013	D:D	Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (DOI)	Brim, Češka, Dražan, Šafránek
23.141	7.714	2013	D:D	Improved State Space Reductions for LTL Model Checking of C & C++ Programs (DOI)	Ročkai, Barnat, Brim
23.141	7.714	2013	D:D	Model Checking of Biological Systems (DOI)	Brim, Češka, Šafránek
23.089	5.772	2012	Jsc:J	Designing Fast LTL Model Checking Algorithms for Many-core GPUs (DOI)	Barnat, Bauch, Brim, Češka
19.995	6.665	2014	Jimp:J	STL*: Extending signal temporal logic with signal-value freezing operator (DOI)	Brim, Šafránek, Vejpustek	Dluhoš
19.35	4.838	2011	Jimp:J	E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes (DOI)	Šafránek, Klement, Pospíšilová, Brim
17.8	2.967	2011	Jimp:J	Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata (DOI)	Beneš, Brim, Bühnová, Černá, Sochor, Moravcová
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
14.054	4.685	2012	Jimp:J	On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties (DOI)	Barnat, Brim, Ročkai
13.667	6.833	2011	Jimp:J	Faster algorithms for mean-payoff games (DOI)	Brim, Chaloupka
13.35	4.45	2011	Jimp:J	Flash memory efficient LTL model checking (DOI)	Barnat, Brim, Šimeček
12.044	6.022	2012	Jimp:J	Using strategy improvement to stay alive (DOI)	Brim, Chaloupka
10.491	5.245	2015	D:D	Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (DOI)	Češka, Brim
8.074	2.019	2011	D:D	Computing Strongly Connected Components in Parallel on CUDA	Barnat, Bauch, Brim, Češka
7.944	2.648	2014	Jsc:J	Model Checking C++ with Exceptions	Ročkai, Barnat, Brim
4.009	1.336	2013	D:D	LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (DOI)	Barnat, Brim, Havel
4.009	2.004	2013	D:D	Qualitative modelling and analysis of Photosystem II	Brim, Šafránek	Děd
3.546	1.773	2012	D:D	Executing Model Checking Counterexamples in Simulink	Barnat, Brim
2.672	1.336	2013	D:D	Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization (DOI)	Brim, Šafránek
0	0	2015	neu:D	Compact Representation of Photosynthesis Dynamics by Rule-based Models (DOI)	Brim, Nižnan, Šafránek
0	0	2013	neu:D	Robustness Analysis for Value-Freezing Signal Temporal Logic (DOI)	Brim, Vejpustek, Šafránek, Dražanová
0	0	2013	neu:D	Robustness Analysis of Stochastic Systems (DOI)	Brim, Češka, Dražan, Šafránek
0	0	2012	neu:J	On Expressing and Monitoring Oscillatory Dynamics (DOI)	Brim, Šafránek	Dluhoš
0	0	2011	neu:J	Computing Optimal Cycle Mean in Parallel on CUDA (DOI)	Barnat, Bauch, Brim, Češka
0	0	2011	neu:J	Platform Dependent Verification: On Engineering Verification Tools for 21st Century (DOI)	Brim, Barnat
0	0	2011	neu:J	Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (DOI)	Brim, Dražanová, Dražan, Šafránek