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, konferenčních příspěvků ohodnocených dle interních pravidel a „RIV“ bodů posledního Hodnocení 2016. 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.
Srba Jiří (IS), mimo katedry
Články v impaktovaných časopisech dle IS MU 2014–2018 (celkem 1.96)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 2018 JCR2017; JCR2018 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.394 | 0.394 | 2018 | Discrete and Continuous Strategies for Timed-Arc Petri Net Games (DOI) | Srba | Jensen, Larsen |
| 0.324 | 0.324 | 2015 | Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics (DOI) | Srba | Mateo, Soerensen |
| 0.314 | 0.314 | 2014 | TCTL-Preserving Translations from Timed-Arc {P}etri Nets to Networks of Timed Automata (DOI) | Srba | Byg, Jacobsen, Jacobsen, Jorgensen, Moller |
| 0.264 | 0.088 | 2015 | Refinement checking on parametric modal transition systems (DOI) | Beneš, Křetínský, Srba | Larsen, Moller, Sickert |
| 0.236 | 0.236 | 2018 | A Distributed Fixed-Point Algorithm for Extended Dependency Graphs (DOI) | Srba | Dalsgaard, Enevoldsen, Fogh, Jensen, Jensen, Jepsen, Kaufmann, Larsen, Nielsen, Olesen, Pastva |
| 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 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) |
| A CONCUR | 2015 | Polynomial Time Decidability of Weighted Synchronization under Partial Observability (DOI) | Křetínský, Srba | Larsen, Laursen | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik | 26th International Conference on Concurrency Theory (CONCUR 2015) |
| A CONCUR | 2014 | Synchronizing Strategies under Partial Observability (DOI) | Srba | Larsen, Laursen | Springer-Verlag | Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14) |
| 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) |
| B ICTAC | 2015 | CAAL: Concurrency Workbench, Aalborg Edition (DOI) | Srba | Andersen, Andersen, Enevoldsen, Hansen, Larsen, Olesen, Wortmann | Springer | Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15) |
| B ICATPN | 2014 | Soundness of Timed-Arc Workflow Nets (DOI) | Srba | Mateo, Soerensen | Springer-Verlag | Proceedings of the 35th International Conference on Application and Theory of {P}etri Nets and Concurrency ({ICATPN}'14) |
| B FORMATS | 2014 | Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (DOI) | Srba | Birch, Jacobsen, Jensen, Moesgaard, Samuelsen | Springer-Verlag | Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'14) |
| 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 |
| C NFM | 2014 | Memory Efficient Data Structures for Explicit Verification of Timed Systems (DOI) | Srba | Jensen, Larsen, Soerensen, Taankvist | Springer-Verlag | Proceedings of the 6th NASA Formal Methods Symposium (NFM'14) |
Z Hodnocení jsou převzaty body za publikační výsledky z Pilíře I, body za aplikované výsledky (SW, druh R) z roku 2011 z Pilíře III a body za projekty aplikovaného výzkumu z Pilíře III, které jsou vždy přiděleny vedoucím těchto projektů (p.t. Horák, Matyáš, Pala, Přenosil a Zezula, z pohledu dělení na katedry postačující, z individuálního pohledu to pochopitelně čísla trochu zkresluje). Případné procentní podíly pracovišť v IS MU nejsou zohledněny (stran přerozdělení mezi fakultami jde o malé desítky bodů, ale bylo by obtížné to korektně dohledat, stran rozdělení mezi katedry jsou data neúplná a/nebo nespolehlivá). Pozor: je třeba mít na paměti, že časové „okno“ Hodnocení je o tři roky starší (2011–15) oproti pětiletce započítaných článků (2014–18); novější data tohoto druhu už nebudou, zatím se podle toho ovšem v podstatě stále dělí >97 % peněz mezi VŠ, tak je na zvážení, nakolik tato data používat.