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 2019–2023 (celkem 0.273)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.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.273 | 0.273 | 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 | 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* CAV | 2019 | PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (DOI) | Křetínský | Ashok, Weininger | Springer | Computer Aided Verification (CAV 2019) |
| A CONCUR | 2019 | Of Cores: A Partial-Exploration Framework for Markov Decision Processes (DOI) | Křetínský | Meggendorfer | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik | 30th International Conference on Concurrency Theory (CONCUR 2019) |
| 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 |
| 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) |
| 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 |