Informace o projektu
Účast ČR v European Research Consortium for Informatics and Mathematics
(ERCIM)
- Kód projektu
- LA09016
- Období řešení
- 3/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- INGO (jen po projekty s počátkem řešení v roce 2010)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- ERCIM, CRCIM, matematika, informatika
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.
Publikace
Počet publikací: 197
2012
-
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
Electronic Proceedings of Theoretical Computer Science, rok: 2012, ročník: 102, vydání: 1, DOI
-
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata
Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), rok: 2012
-
Agilní metodologie řízení vývoje softwaru
Rok: 2012, druh: Účelové publikace
-
Analytical methods for tracking customer portrait: intelligent interpretation of CRM philosophy
Rok: 2012, druh: Vyžádané přednášky
-
Analýza pedagogického výkonu
Rok: 2012
-
Application of neural networks for the sensitivity analysis of customer loyalty
Rok: 2012, druh: Vyžádané přednášky
-
Architecture-Based Reliability Prediction with the Palladio Component Model
IEEE transactions on software engineering, rok: 2012, ročník: 38, vydání: 6, DOI
-
Automatic Verification of Competitive Stochastic Systems
Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, rok: 2012
-
Bisimilarity of Probabilistic Pushdown Automata
FSTTCS, rok: 2012
-
ClabureDB
Rok: 2012