Informace o projektu
Institut Teoretické Informatiky
- Kód projektu
- 1M0545
- Období řešení
- 1/2005 - 12/2011
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumná centra (Národní program výzkumu)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- WWW stránky projektu
- http://www.fi.muni.cz/iti/
- Spolupracující organizace
-
Matematický ústav AV ČR, v. v. i.
- Odpovědná osoba prof. RNDr. Pavel Pudlák, DrSc.
- Odpovědná osoba doc. RNDr. Jiří Šíma, DrSc.
- Odpovědná osoba prof. RNDr. Jaroslav Nešetřil, DrSc.
- Odpovědná osoba prof. RNDr. Zdeněk Ryjáček, DrSc.
Předmětem výzkumné činnosti jsou metody, algoritmy a struktury teoretické informatiky a jejich aplikace v informačních technologiích
Publikace
Počet publikací: 239
2009
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009
-
On Determinism in Modal Transition Systems
Theoretical Computer Science, rok: 2009, ročník: 410/2009, vydání: 41
-
On the memory consumption of probabilistic pushdown automata
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), rok: 2009
-
Polynomial Operators on Classes of Regular Languages
Algebraic Informatics, rok: 2009
-
Qualitative Reachability in Stochastic BPA Games
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, rok: 2009
-
Quantitative Model Checking of Systems with Degradation
2009 Sixth International Conference on the Quantitative Evaluation of Systems, rok: 2009
-
Reachability in Stochastic Timed Games
Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, greece, July 5-12, 2009,Proceedings, Part II, rok: 2009
-
Reachability is decidable for weakly extended process rewrite systems
Information and Computation, rok: 2009, ročník: 207, vydání: 6
-
Regularity in PDA Games Revisited
Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 251
-
SOFSEM 2009: Theory and Practice of Computer Science
Rok: 2009, druh: Editorství tématického sborníku