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. Tomáš Brázdil, Ph.D. (IS), katedra: KSUZD, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2016–2020 (celkem 0.842)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 2020 JCR2019; JCR2020 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.667 | 0.667 | 2017 | Policy learning in continuous-time Markov decision processes using Gaussian Processes (DOI) | Brázdil | Bartocci, Milios, Sanguinetti, Bortolussi |
| 0.527 | 0.176 | 2017 | Trading performance for stability in Markov decision processes (DOI) | Brázdil, Forejt, Kučera | Chatterjee |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* AAAI | 2020 | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (DOI) | Brázdil, Novotný, Vahala | Chatterjee | AAAI Press | The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 |
| A* CAV | 2020 | Qualitative Controller Synthesis for Consumption Markov Decision Processes (DOI) | Brázdil, Novotný | Blahoudek, Ornik, Thangeda, Topcu | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II} |
| A* AAAI | 2019 | Unbounded Orchestrations of Transducers for Manufacturing (DOI) | Brázdil | Alechina, De Giacomo, Felli, Logan, Vardi | AAAI | Proceedings of the AAAI Conference on Artificial Intelligence |
| A* LICS | 2018 | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (DOI) | Brázdil, Kučera, Velan | Chatterjee, Novotný, Zuleger | ACM | 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| A* IJCAI | 2018 | Solving Patrolling Problems in the Internet Environment (DOI) | Brázdil, Kučera, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. | |
| A ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |
| A TACAS | 2018 | Strategy Representation by Decision Trees in Reactive Synthesis (DOI) | Brázdil | Chatterjee, Křetínský, Toman | Springer | 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) |
| A ATVA | 2016 | Optimizing the Expected Mean Payoff in Energy Markov Decision Processes (DOI) | Brázdil, Kučera | Novotný | Springer | Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016 |
| A CONCUR | 2016 | Stability in Graphs and Games (DOI) | Brázdil, Forejt, Kučera | Novotný | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | 27th International Conference on Concurrency Theory, CONCUR 2016 |
| B QEST | 2019 | Strategy Representation by Decision Trees with Linear Classifiers (DOI) | Brázdil, Křetínský | Toman, Ashok, Chatterjee, Lampert | Springer | Quantitative Evaluation of Systems (QEST 2019) |
| B QEST | 2016 | Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent (DOI) | Brázdil | Bartocci, Milios, Sanguinetti, Bortolussi | Springer | Proceedings of QEST 2016 |
| C ISoLA | 2018 | Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (DOI) | Brázdil, Křetínský | Slámečka, Ashok | Springer | Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018) |
| C AAMAS | 2016 | Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract) | Brázdil | Novotný, Chatterjee, Chmelík, Gupta | ACM | Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems |