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
-
20 years of Negami's planar cover conjecture
Year: 2008, type:
-
A convenient category for directed homotopy
Theory and Applications of Categories, year: 2008, volume: 21, edition: 1
-
Approaching tree-width of graphs from matroidal perspective
Year: 2008, type:
-
Automata Approach to Graphs of Bounded Rank-width
International Workshop on Combinatorial Algorithms IWOCA 2008, year: 2008
-
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008
-
Can Flash Memory Help in Model Checking?
13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), year: 2008
-
Complementarity of Error Detection Techniques
Parallel and Distributed Methods in verifiCation (PDMC 2008), year: 2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.
-
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., year: 2008
-
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Acta informatica, year: 2008, volume: 45, edition: 2