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
-
What do we know about language equations?
Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 2007, Proceedings, year: 2007
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