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. Henrich Lauko (IS), katedra: KTP, zdroj vazby: školitel Barnat

Články ve sbornících dle IS MU 2015–2019 (celkem A: 0.2, B: 0.583, C: 0.45) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
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
SPIN
2019String Abstraction for Model Checking of C Programs (DOI)Ročkai, Lauko, OlliaroCortesiSpringer International PublishingModel Checking Software
B
SPIN
2016SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI)Mrázek, Bauch, Lauko, BarnatSpringer International PublishingModel Checking Software
C
TACAS
2019Extending DIVINE with Symbolic Verification Using SMT (DOI)Lauko, Štill, Ročkai, BarnatSpringer International PublishingTools and Algorithms for the Construction and Analysis of Systems
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