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 2016–2020 (celkem 0.614)

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 2020 JCR2019; JCR2020 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.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 2016–2020 (celkem A: 3.283, B: 1.667) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A
TACAS		2020MUST: Minimal Unsatisfiable Subsets Enumeration Tool (DOI)Bendík, ČernáSpringer International PublishingTools and Algorithms for the Construction and Analysis of Systems
A
LPAR		2020Rotation Based MSS/MCS Enumeration (DOI)Bendík, ČernáEPiC Series in ComputingLPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A
CP		2020Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (DOI)ČernáBendíkSpringer, Cham26th International Conference on Principles and Practice of Constraint Programming
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