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
2007
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Year: 2007, type: Appeared in Conference without Proceedings
-
On Symbolic Verification of Weakly Extended PAD
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), year: 2007
-
On the Crossing Number of Almost Planar Graphs
Graph Drawing, Symposium GD2006, year: 2007
-
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Formal Methods: Applications and Technology, year: 2007
-
Parallel Model Checking and the FMICS-jETI Platform
Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems, year: 2007
-
Predicate Abstraction with Under-Approximation Refinement
Logical Methods in Computer Science, year: 2007, volume: 3, edition: 1
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007
-
Reactive Systems: Modelling, Specification and Verification
Year: 2007, edition: Vyd. 1., number of pages: 300 s.
-
Regularity in Model Checking PDA Games
MEMICS proceedings, year: 2007
-
Relaxed Cycle Condition Improves Partial Order Reduction
3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), year: 2007