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
2010
-
Building a Web-scale Image Similarity Search System
Multimedia Tools and Applications, year: 2010, volume: 47, edition: 3
-
CesTa k ochraně čipových karet
Data Security Management, year: 2010, volume: roč. 14, edition: 4
-
Česko-Slovenská Konference GRAFY 2010
Year: 2010, type: Conference
-
Decidable Race Condition and Open Coregions in HMSC
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), year: 2010
-
Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties
Descriptional Complexity of Formal Systems, year: 2010
-
Effective Analysis of Infinite State Stochastic Processes and Games
Logics and Languages for Reliability and Security, year: 2010, number of pages: 25 s.
-
Expected Reachability-Time Games
Formal Modeling and Analysis of Timed Systems, year: 2010
-
Hierarchies of piecewise testable languages
International Journal of Foundations of Computer Science, year: 2010, volume: 21, edition: 4
-
Literally idempotent languages and their varieties - two letter case
International Journal of Foundations of Computer Science, year: 2010, volume: 21, edition: 5
-
Mathematical Foundations of Computer Science 2010
Year: 2010, type: