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.

Obdržálek Jan (IS), katedra: KTP, zdroj vazby: seznam

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

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.7060.3532016Are there any good digraph width measures? (DOI)Hliněný, ObdržálekGanian, Kneis, Meister, Sikdar, Rossmanith
0.6530.2182016Tree-depth and Vertex-minors (DOI)Hliněný, Obdržálek, OrdyniakKwon
0.6290.212014Lower Bounds on the Complexity of MSO_1 Model-Checking (DOI)Ganian, Hliněný, ObdržálekLanger, Rossmanith, Sikdar
0.5370.1342017First order limits of sparse graphs: Plane trees and path-width (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakKaiser, Kráľ, Kupec, Tůma
0.5270.1322017Kernelization using structural parameters on sparse graph classes (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakReidl, Rossmanith, Villaamil, Sikdar
0.4710.1572014Digraph width measures in parameterized algorithmics (DOI)Ganian, Hliněný, ObdržálekKneis, Langer, Rossmanith
0.3580.092015Faster Existential FO Model Checking on Posets (DOI)Gajarský, Hliněný, Obdržálek, Ordyniak
0.3580.1792015FO Model Checking of Interval Graphs (DOI)Hliněný, ObdržálekGanian, Kráľ, Schwartz, Teska

Články ve sbornících dle IS MU 2014–2018 (celkem A*: 0.583, A: 0.25, B: 0.333) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*
LICS
2016A New Perspective on FO Model Checking of Dense Graph Classes (DOI)Gajarský, Hliněný, ObdržálekLokshtanov, RamanujanACMProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016
A*
FOCS
2015FO Model Checking on Posets of Bounded Width (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakRamanujan, Lokshtanov, SaurabhIEEE Computer Society56th Annual Symposium on Foundations of Computer Science, FOCS 2015
A
ISAAC
2014Faster Existential FO Model Checking on Posets (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakSpringer International PublishingISAAC 2014, LNCS 8889
B
IPEC
2014Finite Integer Index of Pathwidth and Treewidth (DOI)Ordyniak, Gajarský, ObdržálekReidl, Rossmanith, SánchezSpringerIPEC 2014, LNCS 8246

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

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í
44.79922.3992011D:DEfficient Loop Navigation for Symbolic Execution (DOI)Obdržálek, Trtík
36.29312.0982012D:DSTANSE: Bug-finding Framework for C Programs (DOI)Obdržálek, Slabý, Trtík
27.5366.8842012D:DWhen Trees Grow Low: Shrubs and Fast MSO1 (DOI)Ganian, Hliněný, Obdržálek, Ramadurai
24.0188.0062013Jimp:JUnified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width (DOI)Ganian, Hliněný, Obdržálek
18.5846.1952014Jimp:JLower Bounds on the Complexity of MSO_1 Model-Checking (DOI)Ganian, Hliněný, Obdržálek
18.07618.0762012Jimp:JThe DAG-width of directed graphs (DOI)Obdržálek
16.7764.1942011Jimp:JQualitative Reachability in Stochastic BPA GamesBrázdil, Brožek, Kučera, Obdržálek
15.42715.4272013D:DExpanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI)Obdržálek
15.4273.8572013D:DKernelization Using Structural Parameters on Sparse Graph Classes (DOI)Gajarský, Hliněný, Obdržálek, Ordyniak
14.3344.7782014D:DFinite Integer Index of Pathwidth and Treewidth (DOI)Ordyniak, Gajarský, Obdržálek
12.9434.3142014Jimp:JDigraph width measures in parameterized algorithmics (DOI)Ganian, Hliněný, Obdržálek
12.5013.1252015Jimp:JFaster Existential FO Model Checking on Posets (DOI)Gajarský, Hliněný, Obdržálek, Ordyniak
11.575.7852013D:DFO Model Checking of Interval Graphs (DOI)Hliněný, Obdržálek
11.2433.7482013Jimp:JBetter algorithms for satisfiability problems for formulas of bounded rank-width (DOI)Ganian, Hliněný, Obdržálek
8.0742.6912011D:DClique-width: When Hard Does Not Mean ImpossibleGanian, Hliněný, Obdržálek
6.2513.1252015Jimp:JFO Model Checking of Interval Graphs (DOI)Hliněný, Obdržálek
4.1371.3792012D:DLower Bounds on the Complexity of MSO_1 Model-Checking (DOI)Ganian, Hliněný, Obdržálek
2.2190.5552015D:DFO Model Checking on Posets of Bounded Width (DOI)Gajarský, Hliněný, Obdržálek, Ordyniak
002014neu:DFaster Existential FO Model Checking on Posets (DOI)Gajarský, Hliněný, Obdržálek, Ordyniak