Údaje o výsledku |
Identifikační kód | RIV/00216224:14330/12:00057896 |
Název v původním jazyce | Playing Games with Counter Automata |
Druh | D - Článek ve sborníku |
Jazyk | eng - angličtina |
Obor | IN - Informatika |
Rok uplatnění | 2012 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
Počet výskytů výsledku | 2 |
Údaje z Hodnocení výsledků výzkumných organizací 2014 |
Výsledek byl hodnocen v Pilíři I |
Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
Zařazení výsledku v hodnocení | D - Článek ve sborníku |
Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
Bodové ohodnocení | 44,376 |
Faktor korekce | 77,6 % |
Body (upravené podle přílohy č. 8 Metodiky) | 34,420 |
Rozdělení výsledku mezi předkladatele |
Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 44,376 | 34,420 |
|
Tvůrci výsledku |
Počet tvůrců celkem | 1 |
Počet domácích tvůrců | 1 |
Tvůrce | Kučera Antonín (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 9872655) |
Údaje blíže specifikující výsledek |
Popis v původním jazyce | We survey recent results about subclasses of multi-counter games that are either equipped with more than one counter or allow for stochastic control states. |
Klíčová slova | multi-counter games |
Název sborníku | Reachability Problems, RP 2012 |
Rozsah stran | 29-41 |
Forma vydání | P - Tištěná verze „print“ |
ISSN | 0302-9743 |
Počet stran výsledku | 13 |
ISBN | 9783642335112 |
Název nakladatele | Springer-Verlag |
Místo vydání | Heidelberg Dordrecht London |
Místo konání akce | Bordeaux |
Datum zahájení akce | 17.9.2012 |
Typ akce podle státní příslušnoti účastníků | WRD - Světová |
DOI výsledku | 10.1007/978-3-642-33512-9_4 |
Údaje o tomto záznamu o výsledku |
Předkladatel | Masarykova univerzita / Fakulta informatiky |
Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
Rok sběru | 2013 |
Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
Specifikace | RIV/00216224:14330/12:00057896!RIV13-MSM-14330___ |
Kontrolní kód | [76EB368367F5] |
Další výskyty tohoto výsledku od stejného předkladatele |
Dodáno GA ČR v roce 2013 | Záznam s identifikačním kódem RIV/00216224:14330/12:00057896 v dodávce dat RIV13-GA0-14330___/02:2 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
Projekt | GBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012-2018, GA0/GB) |
I - Instit. podpora na rozvoj výzkumné organizace |