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
-
New decidable upper bound of the second level in the Straubing-Thérien concatenation hierarchy of star-free languages
Discrete Mathematics & Theoretical Computer Science, year: 2010, volume: 12, edition: 4
-
On Locality-sensitive Indexing in Generic Metric Spaces
3rd International Conference on Similarity Search and Applications, year: 2010
-
On Schützenberger products of semirings
Developments in Language Theory, year: 2010
-
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes
Information and Computation, year: 2010, volume: 208, edition: February
-
One-Counter Markov Decision Processes
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, year: 2010
-
One-Counter Stochastic Games
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), year: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), year: 2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010
-
Reachability Problems
Year: 2010, type:
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI