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: 237
2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006
-
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors
Electronic Notes in Theoretical Computer Science, year: 2006, volume: 135, edition: 2
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), year: 2006, volume: 8, edition: 3
-
MACEK - Real Structural Computations with Representable Matroids.
Year: 2006, type:
-
Matroid Tree-Width
European Journal of Combinatorics, year: 2006, volume: 27, edition: 7
-
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2006, volume: 149, edition: 1
-
Model Checking Probabilistic Pushdown Automata
Logical Methods in Computer Science, year: 2006, volume: 2, edition: 1-2
-
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Automated Technology for Verification and Analysis (ATVA'06), year: 2006
-
On classes of regular languages
CANT 2006 EMS Summer School and Conference on Combinatorics, Automata and Number Theory, year: 2006
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), year: 2006