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.

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

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

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.7060.3532016Are there any good digraph width measures? (DOI)Hliněný, ObdržálekGanian, Kneis, Meister, Sikdar, Rossmanith
0.6730.2242017First order limits of sparse graphs: Plane trees and path-width (DOI)Gajarský, Hliněný, ObdržálekKaiser, Kráľ, Kupec, Ordyniak, Tůma
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.6150.2052017Kernelization using structural parameters on sparse graph classes (DOI)Gajarský, Hliněný, ObdržálekOrdyniak, Reidl, Rossmanith, Villaamil, Sikdar
0.5460.1822013Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width (DOI)Ganian, Hliněný, Obdržálek
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
0.1680.0562013Better algorithms for satisfiability problems for formulas of bounded rank-width (DOI)Ganian, Hliněný, Obdržálek

Články ve sbornících dle IS MU 2013–2017 (celkem A*: 1.083, A: 0.5, B: 1.333) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*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*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*2013FO Model Checking of Interval Graphs (DOI)Hliněný, ObdržálekGanian, Kráľ, Schwartz, TeskaSpringerICALP (2) 2013
A2014Faster Existential FO Model Checking on Posets (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakSpringer International PublishingISAAC 2014, LNCS 8889
A2013Kernelization Using Structural Parameters on Sparse Graph Classes (DOI)Gajarský, Hliněný, Obdržálek, OrdyniakReidl, Rossmanith, Villaamil, SikdarSpringerESA 2013
B2014Finite Integer Index of Pathwidth and Treewidth (DOI)Ordyniak, Gajarský, ObdržálekReidl, Rossmanith, SánchezSpringerIPEC 2014, LNCS 8246
B2013Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI)ObdržálekGanianSpringerCombinatorial Algorithms 24th International Workshop, IWOCA 2013

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

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