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.

Ganian Robert od 2016 (IS), mimo katedry

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

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.6350.6352016Model Checking Existential Logic on Partially Ordered Sets (DOI)GanianSzeider, Bova
0.6150.6152016Meta-kernelization with structural parameters (DOI)GanianSzeider, Slivovsky
0.2060.2062017Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting (DOI)GanianSzeider, Ramanujan
0.2020.2022016Quantified conjunctive queries on partially ordered sets (DOI)GanianBova, Szeider
Články ve sbornících dle IS MU 2014–2018 (celkem A*: 4, A: 11) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*
AAAI		2017Going Beyond Primal Treewidth for {(M)ILP}GanianRamanujan, OrdyniakAAAIProceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA
A*
IJCAI		2017Solving Integer Linear Programs with a Small Number of Global Variables and ConstraintsGanianDvorak, Eiben, Knop, Ordyniakijcai.orgProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017
A*
AAAI		2016The Complexity Landscape of Decompositional Parameters for ILPGanianOrdyniakAAAI PressProceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
A*
AAAI		2016Using Decomposition-Parameters for QBF: Mind the Prefix!GanianOrdyniak, EibenAAAI PressProceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence
A
ISAAC		2017On Structural Parameterizations of the Edge Disjoint Paths Problem (DOI)GanianOrdyniak, RamanujanLIPIcs28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand
A
MFCS		2017Towards a Polynomial Kernel for Directed Feedback Vertex Set (DOI)GanianEiben, Ordyniak, Ramanujan, BergougnouxLIPIcs42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark
A
SAT		2017Backdoor Treewidth for SAT (DOI)GanianRamanujan, SzeiderSpringerTheory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
A
SAT		2017New Width Parameters for Model Counting (DOI)GanianSzeiderSpringerTheory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
A
STACS		2017Combining Treewidth and Backdoors for CSP (DOI)GanianRamanujan, SzeiderDagstuhl-LIPIcs34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany
A
CP		2016Backdoors to Tractable Valued CSP (DOI)GanianRamanujan, SzeiderSPRINGER INT PUBLISHING AGPRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016
A
ESA		2016Counting Linear Extensions: Parameterizations by Treewidth (DOI)GanianOrdyniak, Eiben, KustaaSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark
A
IPDPS		2016Polynomial-time Construction of Optimal MPI Derived Datatype Trees (DOI)GanianKalany, Szeider, TraffIEEE2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016)
A
MFCS		2016A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion (DOI)GanianEiben, KwonSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland
A
MFCS		2016On the Complexity Landscape of Connected f-Factor Problems (DOI)GanianNarayanaswamy, Ordyniak, Rahul, RamanujanSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26
A
MFCS		2016On Existential MSO and its Relation to ETH (DOI)Ganiande, Szeider, KanjSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26