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
2009
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 239
-
Complexity issues of checking identities in finite monoids
Semigroup Forum, year: 2009, volume: 79, edition: 3
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, year: 2009
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
-
EMMA: Explicit Model Checking Manager (Tool Presentation)
Model Checking Software, year: 2009
-
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, year: 2009
-
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
Proceedings of 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'09), pages 440-455, volume 5504 of LNCS, Springer-Verlag, 2009., year: 2009
-
M-Index: An Efficient and Scalable Similarity Index
Year: 2009
-
On Decidability of LTL Model Checking for Process Rewrite Systems
Acta informatica, year: 2009, volume: 46, edition: 1
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009