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.
RNDr. Bc. Dominik Velan (IS), katedra: KSUZD, zdroj vazby: školitel Brázdil
Články ve sbornících dle IS MU 2016–2020 (celkem A*: 0.833, A: 0.25) Popis rankingu viz zde.rank | rok | title | započítaní | ostatní | nakladatel | sborník |
---|---|---|---|---|---|---|
A* LICS | 2020 | Efficient Analysis of VASS Termination Complexity (DOI) | Kučera, Velan | Leroux | ACM | LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science |
A* LICS | 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI) | Brázdil, Kučera, Velan | Chatterjee, Novotný, Zuleger | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
A ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |