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.

RNDr. Jan Mrázek (IS), katedra: KTP, zdroj vazby: školitel Barnat

Články ve sbornících dle IS MU 2016–2020 (celkem A: 0.7, B: 0.583, C: 0.2) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A
IROS
2019RoFICoM - First Open-Hardware Connector for Metamorphic Robots (DOI)Mrázek, BarnatIEEE2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
A
ATVA
2017Model Checking of C and C++ with DIVINE 4 (DOI)Barnat, Lauko, Mrázek, Ročkai, ŠtillBaranová, Kejstová, KučeraSpringer International PublishingAutomated Technology for Verification and Analysis
B
SEFM
2019Reproducible Execution of POSIX Programs with DiOS (DOI)Ročkai, Mrázek, BarnatBaranová, KejstováSpringer International PublishingSoftware Engineering and Formal Methods
B
SPIN
2016SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI)Mrázek, Bauch, Lauko, BarnatSpringer International PublishingModel Checking Software
C
TACAS
2017Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (DOI)Mrázek, Jonáš, Štill, Lauko, BarnatSpringerTools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II