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. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2020–2024 (celkem 0.483)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.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.601 | 0.301 | 2024 | Abstraction-based segmental simulation of reaction networks using adaptive memoization (DOI) | Křetínský, Šafránek | Helfrich, Andriushchenko, Češka, Martiček |
| 0.182 | 0.182 | 2023 | Algebraically explainable controllers: decision trees and support vector machines join forces (DOI) | Křetínský | Juengermann, Weininger |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CAV | 2024 | Monitizer: Automating Design and Evaluation of Neural Network Monitors (DOI) | Kanav, Křetínský, Rieder | Azeem, Grobelna, Mohr | Springer | CAV 2024, International Conference on Computer Aided Verification |
| A* CAV | 2023 | Guessing Winning Policies in LTL Synthesis by Semantic Learning (DOI) | Křetínský, Prokop | Meggendorfer, Rieder | Springer | Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I |
| A* LICS | 2023 | Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives (DOI) | Křetínský | Meggendorfer, Weininger | IEEE | 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS |
| A ECAI | 2024 | stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic (DOI) | Křetínský | Saveri, Nenzi, Bortolussi | IOS Press | ECAI 2024, 27th European Conference on Artificial Intelligence |
| A TACAS | 2024 | Learning Explainable and Better Performing Representations of POMDP Strategies (DOI) | Chakraborty, Křetínský | Bork, Grover, Mohr | Springer | TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| B QEST | 2024 | QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification (DOI) | Dorfhuber, Křetínský | Eisentraut, Klioba | Springer | International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2024 |
| B HSCC | 2024 | MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱ (DOI) | Křetínský | Bals, Evangelidis, Waibel | ACM | Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024 |
| B ICTAC | 2023 | Learning Attack Trees by Genetic Algorithms (DOI) | Dorfhuber, Křetínský | Eisentraut | Springer | Theoretical Aspects of Computing – ICTAC 2023 |
| B ATVA | 2023 | Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks (DOI) | Křetínský | Chau, Mohr | Springer | Automated Technology for Verification and Analysis. ATVA 2023 |
| C HSCC | 2024 | Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱ (DOI) | Křetínský | Bals, Evangelidis, Waibel | ACM | Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024 |
| C | 2022 | Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge (DOI) | Chodil, Kučera, Křetínský | Springer | Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday |