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

Tůmová Jana (IS), katedra: KTP, zdroj vazby: školitel Černá

Články v impaktovaných časopisech dle IS MU 2013–2017 (celkem 1.204)

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 2017 JCR2016; JCR2017 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.9050.9052013Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics (DOI)TůmováChen, Ulusoy, Belta
0.8990.32013Formal analysis of piecewise affine systems through formula-guided refinement (DOI)Tůmová, Černá, BarnatYordanov, Belta

Články ve sbornících dle IS MU 2013–2017 (celkem A: 1, B: 1, C: 1) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A2013Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning (DOI)TůmováReyes, Chaudhari, Karaman, Frazzoli, RusIEEEProceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013
B2013Least-violating control strategy synthesis with safety rules (DOI)TůmováHall, Karaman, Frazzoli, RusACMProceedings of the 16th international conference on Hybrid systems: computation and control
C2013Minimum-violation LTL Planning with Conflicting Specifications (DOI)TůmováReyes, Karaman, Frazzoli, RusIEEEProceedings of the American Control Conference

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

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á).

body FIbody autorarokzařazení :druhtitlezapočítaníostatní
123.133123.1332011Jimp:JOptimal path planning for surveillance with temporal logic constraints (DOI)Tůmová
68.94922.9832012Jimp:JTemporal Logic Control of Discrete-Time Piecewise Affine Systems (DOI)Tůmová, Černá, Barnat
67.6522.552013Jimp:JFormal analysis of piecewise affine systems through formula-guided refinement (DOI)Tůmová, Černá, Barnat
36.65136.6512013Jimp:JTemporal Logic Robot Control based on Automata Learning of Environmental Dynamics (DOI)Tůmová
34.4211.4732012D:DTimed Automata Approach to Verification of Systems with Degradation (DOI)Barnat, Černá, Tůmová
20.2420.242012D:DLTL Robot Motion Control based on Automata Learning of Environmental Dynamics (DOI)Tůmová
10.0243.3412012Jimp:JVerification of Systems with DegradationBarnat, Černá, Tůmová
1.3361.3362013D:DLeast-violating control strategy synthesis with safety rules (DOI)Tůmová
1.3361.3362013D:DMinimum-violation LTL Planning with Conflicting SpecificationsTůmová
1.1451.1452013D:DIncremental Sampling-Based Algorithm for Minimum-Violation Motion Planning (DOI)Tůmová
002012D:DAttraction-Based Receding Horizon Path Planning with Temporal Logic Constraints (DOI)Svoreňová, Tůmová, Barnat, Černá