Institute for Theoretical Computer Science
- Project Identification
- Project Period
- 1/2005 - 12/2011
- Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
- Research Centres (National Research Programme)
- MU Faculty or unit
- Faculty of Informatics
- Project Website
- Cooperating Organization
Institute of Mathematics of the ASCR, v. v. i.
- Responsible person prof. RNDr. Pavel Pudlák, DrSc.
- Responsible person doc. RNDr. Jiří Šíma, DrSc.
- Responsible person prof. RNDr. Jaroslav Nešetřil, DrSc.
- Responsible person prof. RNDr. Zdeněk Ryjáček, DrSc.
The subject of the research activities of the institute are methods, algorithms, and structures of theoretical computer science, and their applications in information technologies.
Total number of publications: 240
Problem Response Theory and its Application for Tutoring
Proceedings of the 4th International Conference on Educational Data Mining, year: 2011
Problem Solving Tutor
Qualitative Reachability in Stochastic BPA Games
Information and Computation, year: 2011, volume: 209, edition: 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), year: 2011
Randomness: A Tool for Constructing and Analyzing Computer Programs
Randomness through Computation, year: 2011, number of pages: 8 s.
Rewriting in Varieties of Idempotent Semigroups
Algebraic Informatics, year: 2011
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy
International Journal of Algebra and Computation, year: 2011, volume: 21, edition: 7, DOI
Thread graphs, linear rank-width and their algorithmic applications
Combinatorial Algorithms 2010, year: 2011
Turn-Based Stochastic Games
Lectures in Game Theory for Computer Scientists, year: 2011, number of pages: 39 s.