BRÁZDIL, Tomáš, Javier ESPARZA, Stefan KIEFER a Antonín KUČERA. Analyzing probabilistic pushdown automata. Formal Methods in System Design. Springer Netherlands, 2013, roč. 43, č. 2, s. 124-163. ISSN 0925-9856. doi:10.1007/s10703-012-0166-0.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Analyzing probabilistic pushdown automata
Autoři BRÁZDIL, Tomáš (203 Česká republika, domácí), Javier ESPARZA (724 Španělsko), Stefan KIEFER (276 Německo) a Antonín KUČERA (203 Česká republika, garant, domácí).
Vydání Formal Methods in System Design, Springer Netherlands, 2013, 0925-9856.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.404
Kód RIV RIV/00216224:14330/13:00065960
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1007/s10703-012-0166-0
UT WoS 000324114600002
Klíčová slova česky zásobníkové automaty; Markovovské řetězce
Klíčová slova anglicky pushdown automata; Markov chains
Štítky formela-journal
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 24. 11. 2013 19:09.
Anotace
The paper gives a summary of the existing results about algorithmic analysis of probabilistic pushdown automata and their subclasses.
Anotace česky
V článku je podán přehled známých výsledků o pravděpodobnostních zásobníkových automatech a některých jejich podtřídách.
Návaznosti
GBP202/12/G061, projekt VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky
Typ Název Vložil/a Vloženo Práva
FMSD.pdf Preprint (accepted version of the paper).   Verze souboru Kučera, A. 10. 9. 2013

Vlastnosti

Název
FMSD.pdf
Popis
Preprint (accepted version of the paper).
Adresa v ISu
https://is.muni.cz/auth/publication/1076453/main.pdf
Adresa ze světa
https://is.muni.cz/publication/1076453/main.pdf
Adresa do Správce
https://is.muni.cz/auth/publication/1076453/main.pdf?info
Ze světa do Správce
https://is.muni.cz/publication/1076453/main.pdf?info
Vloženo
Út 10. 9. 2013 13:08, prof. RNDr. Antonín Kučera, Ph.D.

Práva

Právo číst
  • kdokoliv v Internetu
Právo vkládat
 
Právo spravovat
  • osoba prof. RNDr. Antonín Kučera, Ph.D., učo 2508
  • osoba doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074
Atributy
 

main.pdf

Aplikace
Otevřít soubor.
Stáhnout soubor.
Adresa v ISu
https://is.muni.cz/auth/publication/1076453/main.pdf
Adresa ze světa
http://is.muni.cz/publication/1076453/main.pdf
Typ souboru
PDF (application/pdf)
Velikost
336,1 KB
Hash md5
f800d59574c78c823727e60fde9c7921
Vloženo
Út 10. 9. 2013 13:08

main.txt

Aplikace
Otevřít soubor.
Stáhnout soubor.
Adresa v ISu
https://is.muni.cz/auth/publication/1076453/main.txt
Adresa ze světa
http://is.muni.cz/publication/1076453/main.txt
Typ souboru
holý text (text/plain)
Velikost
118,7 KB
Hash md5
1b83691120885c888a229255d72159c8
Vloženo
Út 10. 9. 2013 13:12
Vytisknout
Nahlásit neoprávněně vložený soubor Zobrazeno: 4. 12. 2022 19:23