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 a konferenčních příspěvků ohodnocených dle interních pravidel. 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.

prof. RNDr. Antonín Kučera, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam

Články v impaktovaných časopisech dle IS MU 2020–2024 (celkem 0.108)

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 2024 JCR2023; JCR2024 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.2170.1082024The satisfiability problem for a quantitative fragment of PCTL (DOI)Chodil, Kučera
Články ve sbornících dle IS MU 2020–2024 (celkem A*: 3.2, A: 1.417, B: 0.5, C: 1.333, D: 0.25) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*
AAAI		2024Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes (DOI)Klaška, Kučera, Kůr, Musil, ŘehákAAAI PressProceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024)
A*
LICS		2024The Finite Satisfiability Problem for PCTL is Undecidable (DOI)Chodil, KučeraIEEE Computer SocietyProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
A*
IJCAI		2023Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (DOI)Klaška, Kučera, Kurečka, Musil, Novotný, ŘehákInternational Joint Conferences on Artificial IntelligenceProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,
A*
IJCAI		2023Mean Payoff Optimization for Systems of Periodic Service and Maintenance (DOI)Klaška, Kučera, Musil, ŘehákInternational Joint Conferences on Artificial IntelligenceProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,
A*
IJCAI		2022General Optimization Framework for Recurrent Reachability Objectives (DOI)Klaška, Kučera, Musil, Řehákijcai.orgProceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022
A*
AAMAS		2020Adversarial Patrolling with Drones (DOI)Klaška, Kučera, ŘehákInternational Foundation for Autonomous Agents and Multiagent SystemsProceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems
A*
LICS		2020Efficient Analysis of VASS Termination Complexity (DOI)Kučera, VelanLerouxACMLICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
A*
CAV		2020Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling (DOI)KučeraBlondin, Esparza, Helfrich, MeyerSpringer International PublishingComputer Aided Verification, CAV 2020
A
CONCUR		2023Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions (DOI)Ajdarów, KučeraSchloss Dagstuhl -- Leibniz-Zentrum fuer Informatik34th International Conference on Concurrency Theory (CONCUR 2023)
A
UAI		2022On-the-fly Adaptation of Patrolling Strategies in Changing Environments (URL)Brázdil, Klaška, Kučera, Musil, Novotný, ŘehákProceedings of Machine Learning ResearchProceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022
A
CONCUR		2021Deciding Polynomial Termination Complexity for VASS Programs (DOI)Ajdarów, KučeraSchloss Dagstuhl -- Leibniz-Zentrum fuer Informatik32nd International Conference on Concurrency Theory (CONCUR 2021)
A
UAI		2021Regstar: Efficient Strategy Synthesis for Adversarial Patrolling GamesKlaška, Kučera, Řehák, MusilAUAI PressProceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021)
B
FCT		2021The Satisfiability Problem for a Quantitative Fragment of PCTL (DOI)Chodil, KučeraSpringerFundamentals of Computation Theory. 23rd International Symposium, FCT 2021
C
RP		2024The Satisfiability and Validity Problems for Probabilistic CTL (DOI)KučeraSpringer18th International Conference on Reachability Problems, RP 2024
C
2022Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge (DOI)Chodil, Kučera, KřetínskýSpringerPrinciples of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
D
AAMAS		2022Minimizing Expected Intrusion Detection Time in Adversarial Patrolling (DOI)Klaška, Kučera, Musil, ŘehákInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022.