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í: 240
2011
-
Problem Response Theory and its Application for Tutoring
Proceedings of the 4th International Conference on Educational Data Mining, rok: 2011
-
Problem Solving Tutor
Rok: 2011
-
Qualitative Reachability in Stochastic BPA Games
Information and Computation, rok: 2011, ročník: 209, vydání: 8
-
Quantitative Multi-Objective Verification for Probabilistic Systems
Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), rok: 2011
-
Randomness: A Tool for Constructing and Analyzing Computer Programs
Randomness through Computation, rok: 2011, počet stran: 8 s.
-
Rewriting in Varieties of Idempotent Semigroups
Algebraic Informatics, rok: 2011
-
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011
-
Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy
International Journal of Algebra and Computation, rok: 2011, ročník: 21, vydání: 7, DOI
-
Thread graphs, linear rank-width and their algorithmic applications
Combinatorial Algorithms 2010, rok: 2011
-
Turn-Based Stochastic Games
Lectures in Game Theory for Computer Scientists, rok: 2011, počet stran: 39 s.