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
2006
-
11th International Workshop on Formal Methods for Industrial Critical Systems
Year: 2006, type: Workshop
-
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Theoretical Computer Science, year: 2006, volume: 358, edition: 2-3
-
A note on multicriteria decision making
Year: 2006, type: Conference abstract
-
Algebraic characterization of the finite power property
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, year: 2006
-
Architectural Interoperability Checking in Visual Coordination Networks
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), year: 2006
-
Balanced Signings and the Chromatic Number of Oriented Matroids
Combin. Prob. Computing, year: 2006, volume: 15, edition: 4
-
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects, year: 2006
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Acta Universitatis Matthiae Belii, Series Mathematics, year: 2006, volume: 12, edition: 1
-
Communication of two stacks and rewriting
Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, year: 2006
-
Computing by commuting
Theoretical Computer Science, year: 2006, volume: 356, edition: 1-2