RIV/00216224:14330/12:00057896 - Playing Games with Counter Automata (2012)

Údaje o výsledku
Identifikační kódRIV/00216224:14330/12:00057896
Název v původním jazycePlaying Games with Counter Automata
DruhD - Článek ve sborníku
Jazykeng - angličtina
OborIN - 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ýsledku2
Údaje z Hodnocení výsledků výzkumných organizací 2014
Výsledek byl hodnocen v Pilíři I
Rozsah vyřazení výsledkuTento 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ýsledkuVýsledek hodnocený již v předchozím hodnocení, body se přebírají
Bodové ohodnocení44,376
Faktor korekce77,6 %
Body (upravené podle přílohy č. 8 Metodiky)34,420
Rozdělení výsledku mezi předkladatele
OrganizaceVýzkumná organizace?PodílBodyBody (upravené podle přílohy č. 8 Metodiky)
Masarykova univerzita / Fakulta informatikyano100,0 %44,37634,420
Tvůrci výsledku
Počet tvůrců celkem1
Počet domácích tvůrců1
TvůrceKuč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 jazyceWe 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á slovamulti-counter games
Název sborníkuReachability Problems, RP 2012
Rozsah stran29-41
Forma vydáníP - Tištěná verze „print“
ISSN0302-9743
Počet stran výsledku13
ISBN9783642335112
Název nakladateleSpringer-Verlag
Místo vydáníHeidelberg Dordrecht London
Místo konání akceBordeaux
Datum zahájení akce17.9.2012
Typ akce podle státní příslušnoti účastníkůWRD - Světová
DOI výsledku10.1007/978-3-642-33512-9_4
Údaje o tomto záznamu o výsledku
PředkladatelMasarykova univerzita / Fakulta informatiky
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2013
Systémové označení dodávky datRIV13-MSM-14330___/02:2
SpecifikaceRIV/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 2013Zá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
ProjektGBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012-2018, GA0/GB)
I - Instit. podpora na rozvoj výzkumné organizace