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
2008
-
Discounted Properties of Probabilistic Pushdown Automata
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, year: 2008
-
DiVinE Multi-Core -- A Parallel LTL Model-Checker
Automated Technology for Verification and Analysis, year: 2008
-
Fighting State Space Explosion: Review and Evaluation
Formal Methods for Industrial Critical Systems, year: 2008
-
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, year: 2008
-
IEEE-1516.2 compliant data encoding for CERTI
Year: 2008
-
Improved Distributed Algorithms for SCC Decomposition
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)
-
Model Classifications and Automated Verification
Formal Methods for Industrial Critical Systems, year: 2008
-
Model Checking of Control-User Component-Based Parametrised Systems
Lecture Notes in Computer Science 5282, year: 2008
-
New infinite families of almost-planar crossing-critical graphs
Electronic Journal of Combinatorics, year: 2008, volume: 15, edition: 1
-
On the Controller Synthesis for Finite-State Markov Decision Processes
Fundamenta Informaticae, year: 2008, volume: 82, edition: 1-2