Analyzing probabilistic pushdown automata (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00065960 |
|---|---|
| Název v anglickém jazyce | Analyzing probabilistic pushdown automata |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 4 |
| Počet domácích tvůrců | 2 |
| Výčet všech uvedených jednotlivých tvůrců | Tomáš Brázdil (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 1762834) Javier Esparza (státní příslušnost: ES - Španělské království) Stefan Kiefer (státní příslušnost: DE - Spolková republika Německo) Antonín Kučera (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9872655) |
| Popis výsledku v anglickém jazyce | The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses. |
| Klíčová slova oddělená středníkem | pushdown automata; Markov chains |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/s10703-012-0166-0 |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Formal Methods in System Design |
|---|---|
| ISSN | 0925-9856 |
| Svazek periodika | 43 |
| Číslo periodika v rámci uvedeného svazku | 2 |
| Stát vydavatele periodika | DE - Spolková republika Německo |
| Počet stran výsledku | 40 |
| Strana od-do | 124-163 |
| Kód UT WoS článku podle Web of Science | 000324114600002 |
| EID výsledku v databázi Scopus | - |
Ostatní informace 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 | 2014 |
| Specifikace | RIV/00216224:14330/13:00065960!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56536871 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2014 | RIV/00216224:14330/13:00065960 v dodávce dat RIV14-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GB | GBP202/12/G061 - Centrum excelence - Institut teoretické informatiky (CE-ITI) (2012 - 2018) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |