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 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, Projekty na podporu excelence v základním výzkumu
Typ Název Vložil/a Vloženo Práva
1076453 /1 Kučera, A. 10. 9. 2013

Vlastnosti

Název
1076453
Aplikace
Obnovit.
Adresa v ISu
https://is.muni.cz/auth/repo/1076453/
Adresa ze světa
https://is.muni.cz/repo/1076453/
Adresa do Správce
https://is.muni.cz/auth/repo/1076453/?info
Ze světa do Správce
https://is.muni.cz/repo/1076453/?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
 
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/repo/1076453/main.pdf
Adresa ze světa
https://is.muni.cz/repo/1076453/main.pdf
Adresa do Správce
https://is.muni.cz/auth/repo/1076453/main.pdf?info
Ze světa do Správce
https://is.muni.cz/repo/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/repo/1076453/main.pdf
Adresa ze světa
http://is.muni.cz/repo/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/repo/1076453/main.txt
Adresa ze světa
http://is.muni.cz/repo/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: 14. 10. 2019 05:51