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ů 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 2013–2017 (celkem 1.33)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 2017 JCR2016; JCR2017 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.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 |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* | 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* | 2014 | Synchronizing Strategies under Partial Observability (DOI) | Srba | Larsen, Laursen | Springer-Verlag | Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14) |
| A | 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 | 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 | 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 | 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 | 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) |
| B | 2013 | Local Model Checking of Weighted CTL with Upper-Bound Constraints (DOI) | Srba | Jensen, Larsen, Oestergaard | Springer | Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13) |
| C | 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 | 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 | 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) |
| C | 2013 | Verification of Liveness Properties on Closed Timed-Arc Petri Nets (DOI) | Srba | Andersen, Larsen, Soerensen, Taankvist | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12) |
| C | 2013 | Action Investment Energy Games (DOI) | Srba | Larsen, Laursen | Springer | Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12) |
| C | 2013 | Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets (DOI) | Srba | Bertolini, Liu | Springer | Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12) |
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á).