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. Ivana Černá, CSc. (IS), katedra: KTP, zdroj vazby: seznam

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

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.930.312017Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (DOI)Svoreňová, Křetínský, ČernáChmelík, Chatterjee, Belta
0.8890.4442015Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties (DOI)Svoreňová, ČernáBelta
0.7690.1922018DiVM: Model checking with LLVM and graph memory (DOI)Ročkai, Štill, Černá, Barnat
0.4460.1122018On clock-aware LTL parameter synthesis of timed automata (DOI)Bezděk, Beneš, Černá, Barnat
Články ve sbornících dle IS MU 2015–2019 (celkem A: 1.283, B: 2.167, C: 0.5) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A
ATVA		2018Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI)Bendík, Černá, BenešSpringerAutomated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}
A
LPAR		2018Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI)Bendík, ČernáEPiC Series in ComputingLPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A
SAC		2016On verifying C++ programs with probabilities (DOI)Barnat, Černá, Ročkai, Štill, ZákopčanováACM New York, NY, USAProceedings of the 31st Annual ACM Symposium on Applied Computing
A
ACC		2016Optimal observation mode scheduling for systems under temporal constraints (DOI)Tesařová, Svoreňová, Barnat, ČernáIEEE Conference Publications2016 American Control Conference (ACC)
B
SEFM		2018Online Enumeration of All Minimal Inductive Validity Cores (DOI)Bendík, ČernáGhassabani, WhalenSpringer International PublishingSoftware Engineering and Formal Methods - 16th International Conference
B
ICSOFT		2018Finding Regressions in Projects under Version Control Systems (DOI)Bendík, Beneš, ČernáSciTePress13th International Conference on Software Technologies
B
SEFM		2016Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (DOI)Bendík, Beneš, Barnat, ČernáLecture Notes in Computer Sciences in Computer Science, 9763Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
B
SEFM		2016LTL Parameter Synthesis of Parametric Timed Automata (DOI)Bezděk, Beneš, Barnat, ČernáLecture Notes in Computer Sciences in Computer Science, 9763Software Engineering and Formal Methods - 14th International Conference, SEFM 2016.
B
FSTTCS		2016Tunable Online MUS/MSS Enumeration (DOI)Beneš, Černá, BarnatBendíkSchloss Dagstuhl--Leibniz-Zentrum fuer InformatikFoundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016
B
HS		2015Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games (DOI)Svoreňová, ČernáKřetínský, Chmelík, Chatterjee, BeltaACM (ACM)Proceedings of ACM international conference on Hybrid Systems: Computation and Control
C
HS		2015Temporal Logic Motion Planning using POMDPs with Parity Objectives (DOI)Svoreňová, ČernáChmelík, Leahy, Eniser, Chatterjee, BeltaACM (ACM)Proceedings of ACM international conference on Hybrid Systems: Computation and Control