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: 238
2006
-
Computing by commuting
Theoretical Computer Science, year: 2006, volume: 356, edition: 1-2
-
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width
SIAM Journal on Discrete Mathematics, year: 2006, volume: 20, edition: 4
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006
-
Distributed Verification: Exploring the Power of Raw Computing Power
5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), year: 2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, year: 2006
-
Equivalence-free exhaustive generation of matroid representations
Discrete Applied Mathematics, year: 2006, volume: 154, edition: 8
-
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Theory and practice of logic programming, year: 2006, volume: 6, edition: 3
-
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006
-
Factorization systems and classification problems
Applied and Computational Category Theory ACCAT 2006, year: 2006