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.

doc. RNDr. Petr Novotný, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam

Články v impaktovaných časopisech dle IS MU 2019–2023 (celkem 0.898)

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 2023 JCR2022; JCR2023 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.8540.8542023Efficient Strategy Synthesis for MDPs With Resource Constraints (DOI)NovotnýBlahoudek, Ornik, Thangeda, Topcu
0.0880.0442023On Lexicographic Proof Rules for Probabilistic Termination (DOI)Novotný, ZárevúckyChatterjee, Goharshady, Žikelić
Články ve sbornících dle IS MU 2019–2023 (celkem A*: 3.333, A: 2.917, C: 1) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*
AAAI		2023Shielding in Resource-Constrained Goal POMDPs (DOI)Ajdarów, Brlej, NovotnýAAAI PressProceedings of the 37th AAAI Conference on Artificial Intelligence
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*
PLDI		2021Proving non-termination by program reversal (DOI)NovotnýChatterjee, Goharshady, ŽikelićACMProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
A*
AAAI		2020Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (DOI)Brázdil, Novotný, VahalaChatterjeeAAAI PressThe Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020
A*
ICAPS		2020Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications (URL)NovotnýChatterjee, Chmelík, Karkhanis, RoyerAAAI PressProceedings of the International Conference on Automated Planning and Scheduling
A*
CAV		2020Qualitative Controller Synthesis for Consumption Markov Decision Processes (DOI)Brázdil, NovotnýBlahoudek, Ornik, Thangeda, TopcuSpringerComputer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}
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
FM		2021On Lexicographic Proof Rules for Probabilistic Termination (DOI)Novotný, ZárevúckyChatterjee, Goharshady, ŽikelićSpringer24th International Symposium on Formal Methods, FM 2021
A
FM		2021Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption (DOI)NovotnýBlahoudek, Cubuktepe, Ornik, Thangeda, TopcuSpringer24th International Symposium on Formal Methods, FM 2021
A
ICALP		2019On the Complexity of Value Iteration (DOI)NovotnýBalaji, Kiefer, Pérez, ShirmohammadiSchloss Dagstuhl - Leibniz-Zentrum fuer InformatikProceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)
A
ATVA		2019Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI)Brázdil, Kučera, Novotný, VelanChatterjeeSpringerAutomated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings
C
RP		2019Bidding Games on Markov Decision Processes (DOI)NovotnýAvni, Henzinger, Ibsen-JensenSpringerReachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings.