Project information
Institute for Theoretical Computer Science
- Project Identification
- 1M0545
- 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
- http://www.fi.muni.cz/iti/
- 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.
Publications
Total number of publications: 237
2011
-
Problem Solving Tutor
Year: 2011
-
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.
-
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, year: 2011