Project information
Zastoupení ČR v European Research Consortium for Informatics and Mathematics
(ERCIM-CZ)
- Project Identification
- LG13010
- Project Period
- 3/2013 - 12/2015
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- INGO II
- MU Faculty or unit
- Faculty of Informatics
Konkrétním závazkem projektu je zajištění vlivu České republiky prostřednictvím ERCIM 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: 118
2013
-
Local Model Checking of Weighted CTL with Upper-Bound Constraints
Proceedings of International SPIN Symposium on Model Checking of Software (SPIN'13), year: 2013
-
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model
Proceedings of Application of Concurrency to System Design, 2013, year: 2013
-
Massively Parallel Hierarchical Scene Processing with Applications in Rendering
Computer Graphics Forum, year: 2013, volume: 32, edition: 8, DOI
-
Modeling Students' Learning and Variability of Performance in Problem Solving
Educational Data Mining, year: 2013
-
Modelling the Power Supply Network - Hardness and Approximation
Year: 2013
-
Multi-objective Discounted Reward Verification in Graphs and MDPs
Logic for Programming, Artificial Intelligence, and Reasoning, year: 2013
-
On Stochastic Games with Multiple Objectives
Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), year: 2013
-
On the Shannon Capacity of Triangular Graphs
Electronic Journal of Combinatorics, year: 2013, volume: 20, edition: 2
-
Pedestrian Localization in Closed Environments
Environmental Software Systems. IFIP Advances in Information and Communication Technology, year: 2013
-
Predicting Student Performance in Higher Education
24th International Workshop on Database and Expert Systems Applications - Dexa 2013, year: 2013