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
2005
-
Characteristic Patterns for LTL
SOFSEM 2005: Theory and Practice of Computer Science, year: 2005
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1
-
MACEK: A software package for real structural computations with representable matroids
Year: 2005, type: R&D Presentation
-
On Counting the Number of Consistent Genotype Assignments for Pedigrees
Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), year: 2005
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
On the Controller Synthesis for Finite-State Markov Decision Processes
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), year: 2005
-
Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Year: 2005, number of pages: 224 s.
-
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), year: 2005
-
Reachability Analysis of Multithreaded Software with Asynchronous Communication
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, year: 2005