Project information
Czech Republic membership in the European Research Consortium for Informatics and Mathematics
(ERCIM)
- Project Identification
- LA09016
- Project Period
- 3/2009 - 12/2012
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- INGO
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- ERCIM, CRCIM, mathematics, informatics
Zajištění vlivu České republiky na směrování aktivit evropského výzkumu v oblasti informačních a komunikačních technologií a aplikované matematiky.
Publications
Total number of publications: 196
2012
-
Pareto Curves for Probabilistic Model Checking
Automated Technology for Verification and Analysis, year: 2012
-
Playing Stochastic Games Precisely
CONCUR 2012 - Concurrency Theory - 23rd International Conference, year: 2012
-
Predicting drop-out from social behaviour of students
Proceedings of the 5th International Conference on Educational Data Mining - EDM 2012, year: 2012
-
Reachability analysis for timed automata using max-plus algebra
Journal of Logic and Algebraic Programming, year: 2012, volume: 81, edition: 3, DOI
-
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), year: 2012
-
Rozhraní pro externí cloudové služby
Year: 2012
-
Rule-Based Parsing of Morphologically Rich Languages
Year: 2012, type:
-
Santa's Crypto Get-Together 2012
Year: 2012, type:
-
Segmentation from 97% to 100%: Is It Time for Some Linguistics?
Sixth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2012, year: 2012
-
Sequence Chart Studio: user-friendly drawing and verification tool for MSC
Year: 2012