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
-
Remarks on multiple entry deterministic finite automata
Journal of Automata, Languages and Combinatorics, year: 2007, volume: 12, edition: 1/2
-
Scalable Multi-core LTL Model-Checking
Model Checking Software, year: 2007
-
Some Hard Problems on Matroid Spikes
Theory of Computing Systems, year: 2007, volume: 41, edition: 1
-
Stochastic Game Logic
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), year: 2007
-
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics
Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007), year: 2007
-
The crossing number of a projective graph is quadratic in the face-width
Year: 2007, type: Conference abstract
-
The crossing number of a projective graph is quadratic in the face--width (Extended abstract)
Electronic Notes in Discrete Mathematics, year: 2007, volume: 29, edition: C
-
The Goldblatt-Thomason theorem for coalgebras
CALCO 2007, year: 2007
-
Tutorial: Parallel Model Checking
Model Checking Software, year: 2007
-
Verifying VHDL Designs with Multiple Clocks in SMV
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, year: 2007