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, 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.

Havel Vojtěch (IS), katedra: KTP, zdroj vazby: ručně dle: Barnat

Články v impaktovaných časopisech dle IS MU 2014–2018 (celkem 0.503)

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 2018 JCR2017; JCR2018 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.830.2772016Control Explicit-Data Symbolic Model Checking (DOI)Bauch, Havel, Barnat
0.6790.2262016Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories (DOI)Bauch, Havel, Barnat

Články ve sbornících dle IS MU 2014–2018 (celkem B: 0.533, C: 0.667) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
B
HASE
2014Temporal Verification of Simulink Diagrams (DOI)Barnat, Bauch, HavelIEEE Computer SocietyProceedings of HASE 2014
B
ICTAC
2014On Clock-Aware LTL Properties of Timed Automata (DOI)Bezděk, Beneš, Havel, Barnat, ČernáSpringer International PublishingTheoretical Aspects of Computing – ICTAC 2014
C
@PDP
2014Model Checking Parallel Programs with Inputs (DOI)Barnat, Bauch, HavelIEEE Computer SocietyProceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
C
MEMICS
2014LTL Model Checking of LLVM Bitcode with Symbolic Data (DOI)Bauch, Havel, BarnatSpringerProceedings of MEMICS'14

Body v RIVu dle Hodnocení 2016 (tedy 2011–2015; celkem 13.355)

Z Hodnocení jsou převzaty body za publikační výsledky z Pilíře I, body za aplikované výsledky (SW, druh R) z roku 2011 z Pilíře III a body za projekty aplikovaného výzkumu z Pilíře III, které jsou vždy přiděleny vedoucím těchto projektů (p.t. Horák, Matyáš, Pala, Přenosil a Zezula, z pohledu dělení na katedry postačující, z individuálního pohledu to pochopitelně čísla trochu zkresluje). Případné procentní podíly pracovišť v IS MU nejsou zohledněny (stran přerozdělení mezi fakultami jde o malé desítky bodů, ale bylo by obtížné to korektně dohledat, stran rozdělení mezi katedry jsou data neúplná a/nebo nespolehlivá). Pozor: je třeba mít na paměti, že časové „okno“ Hodnocení je o tři roky starší (2011–15) oproti pětiletce započítaných článků (2014–18); novější data tohoto druhu už nebudou, zatím se podle toho ovšem v podstatě stále dělí >97 % peněz mezi VŠ, tak je na zvážení, nakolik tato data používat.

body FIbody autorarokzařazení :druhtitlezapočítaníostatní
23.1413.8572013D:DDiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs (DOI)Barnat, Brim, Havel, Ročkai, Štill, WeiserHavlíček, Kriho, Lenčo
21.57.1672014D:DLTL Model Checking of LLVM Bitcode with Symbolic Data (DOI)Bauch, Havel, Barnat
4.0091.3362013D:DLTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model (DOI)Barnat, Brim, Havel
2.9840.9952014D:DModel Checking Parallel Programs with InputsBarnat, Bauch, Havel
002014neu:DOn Clock-Aware LTL Properties of Timed Automata (DOI)Bezděk, Beneš, Havel, Barnat, Černá
002014neu:DTemporal Verification of Simulink DiagramsBarnat, Bauch, Havel