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.
hodnota | díl autora | rok | title | započítaní | ostatní |
0.706 | 0.353 | 2016 | Are there any good digraph width measures? (DOI) | Hliněný, Obdržálek | Ganian, Kneis, Meister, Sikdar, Rossmanith |
0.673 | 0.224 | 2017 | First order limits of sparse graphs: Plane trees and path-width (DOI) | Gajarský, Hliněný, Obdržálek | Kaiser, Kráľ, Kupec, Ordyniak, Tůma |
0.653 | 0.218 | 2016 | Tree-depth and Vertex-minors (DOI) | Hliněný, Obdržálek, Ordyniak | Kwon |
0.629 | 0.21 | 2014 | Lower Bounds on the Complexity of MSO_1 Model-Checking (DOI) | Ganian, Hliněný, Obdržálek | Langer, Rossmanith, Sikdar |
0.615 | 0.205 | 2017 | Kernelization using structural parameters on sparse graph classes (DOI) | Gajarský, Hliněný, Obdržálek | Ordyniak, Reidl, Rossmanith, Villaamil, Sikdar |
0.546 | 0.182 | 2013 | Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width (DOI) | Ganian, Hliněný, Obdržálek | |
0.471 | 0.157 | 2014 | Digraph width measures in parameterized algorithmics (DOI) | Ganian, Hliněný, Obdržálek | Kneis, Langer, Rossmanith |
0.358 | 0.09 | 2015 | Faster Existential FO Model Checking on Posets (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | |
0.358 | 0.179 | 2015 | FO Model Checking of Interval Graphs (DOI) | Hliněný, Obdržálek | Ganian, Kráľ, Schwartz, Teska |
0.168 | 0.056 | 2013 | Better 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.
rank | rok | title | započítaní | ostatní | nakladatel | sborník |
A* | 2016 | A New Perspective on FO Model Checking of Dense Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek | Lokshtanov, Ramanujan | ACM | Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016 |
A* | 2015 | FO Model Checking on Posets of Bounded Width (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Ramanujan, Lokshtanov, Saurabh | IEEE Computer Society | 56th Annual Symposium on Foundations of Computer Science, FOCS 2015 |
A* | 2013 | FO Model Checking of Interval Graphs (DOI) | Hliněný, Obdržálek | Ganian, Kráľ, Schwartz, Teska | Springer | ICALP (2) 2013 |
A | 2014 | Faster Existential FO Model Checking on Posets (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | | Springer International Publishing | ISAAC 2014, LNCS 8889 |
A | 2013 | Kernelization Using Structural Parameters on Sparse Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | Reidl, Rossmanith, Villaamil, Sikdar | Springer | ESA 2013 |
B | 2014 | Finite Integer Index of Pathwidth and Treewidth (DOI) | Ordyniak, Gajarský, Obdržálek | Reidl, Rossmanith, Sánchez | Springer | IPEC 2014, LNCS 8246 |
B | 2013 | Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI) | Obdržálek | Ganian | Springer | Combinatorial 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 FI | body autora | rok | zařazení :druh | title | započítaní | ostatní |
44.799 | 22.399 | 2011 | D:D | Efficient Loop Navigation for Symbolic Execution (DOI) | Obdržálek, Trtík | |
36.293 | 12.098 | 2012 | D:D | STANSE: Bug-finding Framework for C Programs (DOI) | Obdržálek, Slabý, Trtík | |
27.536 | 6.884 | 2012 | D:D | When Trees Grow Low: Shrubs and Fast MSO1 (DOI) | Ganian, Hliněný, Obdržálek, Ramadurai | |
24.018 | 8.006 | 2013 | Jimp:J | Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width (DOI) | Ganian, Hliněný, Obdržálek | |
18.584 | 6.195 | 2014 | Jimp:J | Lower Bounds on the Complexity of MSO_1 Model-Checking (DOI) | Ganian, Hliněný, Obdržálek | |
18.076 | 18.076 | 2012 | Jimp:J | The DAG-width of directed graphs (DOI) | Obdržálek | |
16.776 | 4.194 | 2011 | Jimp:J | Qualitative Reachability in Stochastic BPA Games | Brázdil, Brožek, Kučera, Obdržálek | |
15.427 | 15.427 | 2013 | D:D | Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes (DOI) | Obdržálek | |
15.427 | 3.857 | 2013 | D:D | Kernelization Using Structural Parameters on Sparse Graph Classes (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | |
14.334 | 4.778 | 2014 | D:D | Finite Integer Index of Pathwidth and Treewidth (DOI) | Ordyniak, Gajarský, Obdržálek | |
12.943 | 4.314 | 2014 | Jimp:J | Digraph width measures in parameterized algorithmics (DOI) | Ganian, Hliněný, Obdržálek | |
12.501 | 3.125 | 2015 | Jimp:J | Faster Existential FO Model Checking on Posets (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | |
11.57 | 5.785 | 2013 | D:D | FO Model Checking of Interval Graphs (DOI) | Hliněný, Obdržálek | |
11.243 | 3.748 | 2013 | Jimp:J | Better algorithms for satisfiability problems for formulas of bounded rank-width (DOI) | Ganian, Hliněný, Obdržálek | |
8.074 | 2.691 | 2011 | D:D | Clique-width: When Hard Does Not Mean Impossible | Ganian, Hliněný, Obdržálek | |
6.251 | 3.125 | 2015 | Jimp:J | FO Model Checking of Interval Graphs (DOI) | Hliněný, Obdržálek | |
4.137 | 1.379 | 2012 | D:D | Lower Bounds on the Complexity of MSO_1 Model-Checking (DOI) | Ganian, Hliněný, Obdržálek | |
2.219 | 0.555 | 2015 | D:D | FO Model Checking on Posets of Bounded Width (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | |
0 | 0 | 2014 | neu:D | Faster Existential FO Model Checking on Posets (DOI) | Gajarský, Hliněný, Obdržálek, Ordyniak | |