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
2008
-
On varieties of literally idempotent languages
RAIRO - Theoretical Informatics and Applications, year: 2008, volume: 42, edition: 3
-
On varieties of meet automata
Theoretical Computer Science, year: 2008, volume: 407, edition: 1-3
-
Petri Nets Are Less Expressive Than State-Extended PA
Theoretical Computer Science, year: 2008, volume: 394, edition: 1-2
-
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, year: 2008
-
Properties of State Spaces and Their Applications
International Journal on Software Tools for Technology Transfer (STTT), year: 2008, volume: 10, edition: 5
-
PyHLA 0.1: Python Bindings for HLA 1.3
Year: 2008
-
Reachability in Recursive Markov Decision Processes
Information and Computation, year: 2008, volume: 206, edition: 5
-
Regularity in PDA Games Revisited
MEMICS 2008 proceedings, year: 2008
-
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems, year: 2008
-
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)