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
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Innovative Applications of Information Technology for the Developing World, year: 2007
-
Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups
Theory of Computing Systems, year: 2007, volume: 40, edition: 3
-
Effective verification of systems with a dynamic number of components
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, year: 2007
-
Finding Branch-decompositions and Rank-decompositions
Year: 2007, type: Conference abstract
-
Formalisms and Tools for Design and Specification of Network Protocols
Year: 2007, type: R&D Presentation
-
Height-Deterministic Pushdown Automata
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), year: 2007
-
I/O Efficient Accepting Cycle Detection
19th International Conference on Computer Aided Verification, year: 2007
-
Mathematical Foundations of Computer Science 2007
Year: 2007, type:
-
Mathematical Foundations of Computer Science 2007
Year: 2007, number of pages: 764 s.
-
Model Checking Large Finite-State Systems and Beyond
33rd Conference on Current Trends in Theory and Practice of Computer Science, year: 2007