Project information
Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKONF)
- Project Identification
- MUNI/A/0057/2011
- Project Period
- 3/2011 - 12/2011
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
- Faculty of Informatics
Každoročně někteří z nejlepších doktorských a také i magisterských studentů Fakulty informatiky dosahují přijetí svých původních vědeckých příspěvků na některé z prestižních výběrových mezinárodních konferencí. Tyto vítané úspěchy jsou na jednu stranu dokladem kvalitní vědecké výchovy na naší fakultě, ale také na druhou stranu kladou velké nároky na finanční zajištění vyžadované účasti autorů na zmíněných konferencích. Předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových špičkových informatických konferencích a také na podporu jejich aktivní účasti na kvalitních tematicky zaměřených mezinárodních odborných školách, které přispívají k jejich dalšímu vědeckému růstu. V neposlední řadě náš projekt předpokládá i krátkodobé zvané pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 23
2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI
-
MUSE framework 1.0
Year: 2012
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, year: 2012
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
2011
-
Clique-width: When Hard Does Not Mean Impossible
28th International Symposium on Theoretical Aspects of Computer Science STACS2011, year: 2011
-
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011
-
Computation and Visualization of Surface of Proteins and their Channels
The IADIS Computer Graphics, Visualization, Computer Vision and Image Processing (CGVCVIP) 2011, year: 2011
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 2011
-
Digitized two parameter spectrometer for neutron gamma mixed field
Animma 2011, year: 2011
-
Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures
Data Compression Conference (DCC), 2011, year: 2011