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ů posledního 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.
Bendík Jaroslav (IS), katedra: KTP, zdroj vazby: školitel Černá
Články ve sbornících dle IS MU 2014–2018 (celkem A: 0.833, B: 1.083, C: 1) Popis rankingu viz zde.rank | rok | title | započítaní | ostatní | nakladatel | sborník |
---|---|---|---|---|---|---|
A ATVA | 2018 | Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá, Beneš | Springer, Cham | Automated Technology for Verification and Analysis - 16th International Symposium ATVA 2018 | |
A LPAR | 2018 | Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (DOI) | Bendík, Černá | LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning | ||
B SEFM | 2018 | Online Enumeration of All Minimal Inductive Validity Cores (DOI) | Bendík, Černá | Ghassabani, Whalen | Springer International Publishing | Software Engineering and Formal Methods - 16th International Conference |
B ICSOFT | 2018 | Finding Regressions in Projects under Version Control Systems (DOI) | Bendík, Beneš, Černá | SciTePress | 13th International Conference on Software Technologies | |
B SEFM | 2016 | Finding 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, 9763 | Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 | |
C @ISSTA | 2017 | Consistency Checking in Requirements Analysis (DOI) | Bendík | ACM New York | Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017 |