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. Jiří Srba, Ph.D. (IS), mimo katedry
Články v impaktovaných časopisech dle IS MU 2016–2020 (celkem 1.968)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.604 | 0.604 | 2016 | Efficient Model Checking of Weighted CTL with Upper-Bound Constraints (DOI) | Srba | Jensen, Larsen, Oestergaard |
| 0.467 | 0.234 | 2018 | A Distributed Fixed-Point Algorithm for Extended Dependency Graphs (DOI) | Pastva, Srba | Dalsgaard, Enevoldsen, Fogh, Jensen, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen |
| 0.393 | 0.393 | 2018 | Discrete and Continuous Strategies for Timed-Arc Petri Net Games (DOI) | Srba | Jensen, Larsen |
| 0.369 | 0.369 | 2019 | Stubborn Versus Structural Reductions for Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen |
| 0.369 | 0.369 | 2019 | Model Checking and Synthesis for Branching Multi-Weighted Logics (DOI) | Srba | Jensen, Kaufmann, Larsen, Nielsen |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* INFOCOM | 2018 | Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks (DOI) | Srba | Schmid | IEEE | IEEE International Conference on Computer Communications (INFOCOM'18) |
| A* CAV | 2018 | Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Springer | Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18) |
| A TACAS | 2019 | Abstract Dependency Graphs and Their Application to Model Checking (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) |
| A CONCUR | 2019 | Partial Order Reduction for Reachability Games (DOI) | Srba | Boenneland, Jensen, Larsen, Muniz | Dagstuhl Publishing | Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19) |
| A CoNEXT | 2018 | P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures (DOI) | Srba | Jensen, Kroegh, Madsen, Schmid, Thorgersen | ACM | Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18) |
| A TACAS | 2016 | Online and Compositional Learning of Controllers with Application to Floor Heating (DOI) | Srba | Larsen, Mikucionis, Muniz, Taankvist | Springer | Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16) |
| B SPIN | 2019 | Model Verification Through Dependency Graphs (DOI) | Srba | Enevoldsen, Larsen | Springer | Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19) |
| B ICATPN | 2018 | Simplification of CTL Formulae for Efficient Model Checking of Petri Nets (DOI) | Srba | Boenneland, Dyhr, Jensen, Johannsen | Springer-Verlag | Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18) |
| B QEST | 2018 | Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (DOI) | Srba | Ivanov, Larsen, Schupp | Springer | Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18) |
| B ICATPN | 2017 | Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (DOI) | Pastva, Srba | Dalsgaard, Enevoldsen, Fogh, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen | Springer International Publishing | Petri Nets 2017 |
| B ICTAC | 2017 | PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (DOI) | Srba | Jensen, Larsen | Springer | Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17) |
| B SPIN | 2016 | Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (DOI) | Srba | Jensen, Larsen | Springer | Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16) |
| C RSSRail | 2019 | Safe and Time-Optimal Control for Railway Games (DOI) | Srba | Karra, Larsen, Lorber | Springer | RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification |
| C ICATPN | 2018 | MCC'2017 - The Seventh Model Checking Contest (DOI) | Srba | Kordon, Garavel, Hillah, Paviot-Adet, Jezequel, Hulin-Hubard, Amparore, Beccuti, Bertomieu, Evrard, Jensen, Le Botlan, Liebke, Meijer, Thierry-Mieg, Pol, Wolf | Springer | Transactions on Petri Nets and Other Models of Concurrency XIII |
| C IECON | 2016 | Toolchain for User-Centered Intelligent Floor Heating Control (DOI) | Srba | Agesen, Larsen, Mikucionis, Muniz, Olsen, Pedersen, Skou | IEEE | Proceedings of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON'16) |
| C SETTA | 2016 | Distributed Computation of Fixed Points on Dependency Graphs (DOI) | Srba | Dalsgaard, Enevoldsen, Larsen | Springer | Proceedings of Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'16) |
| C | 2016 | TAPAAL and Reachability Analysis of P/T Nets (DOI) | Srba | Jensen, Nielsen, Oestergaard | Springer | TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI |