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: 240
2013
-
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation, year: 2013, volume: 222, edition: January, DOI
2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, year: 2012, volume: 22, edition: 2, DOI
-
Birkhoff's Variety Theorem in Many Sorts
Algebra Universalis, year: 2012, volume: 68, edition: 1-2, DOI
-
Identity checking problem for transformation monoids
Semigroup Forum, year: 2012, volume: 84, edition: 3, DOI
-
STANSE: Bug-finding Framework for C Programs
LNCS Proceeding of Memics 2011, year: 2012
-
Strongly complete logics for coalgebras
Logical Methods in Computer Science, year: 2012, volume: 8, edition: 3, DOI
2011
-
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
-
Automated Verification Techniques for Probabilistic Systems
Formal Methods for Eternal Networked Software Systems (SFM'11), year: 2011
-
Clique-width: When Hard Does Not Mean Impossible
28th International Symposium on Theoretical Aspects of Computer Science STACS2011, year: 2011
-
Difficulty Rating of Sudoku Puzzles by a Computational Model
Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, year: 2011