Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/1206/2014
- Project Period
- 1/2015 - 12/2015
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Michal Balážia, Ph.D.
- prof. RNDr. Jiří Barnat, Ph.D.
- Mgr. Petr Bauch, Ph.D.
- RNDr. Peter Bezděk, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Jakub Gajarský, Ph.D.
- doc. RNDr. Aleš Horák, Ph.D.
- RNDr. Stanislav Chren, Ph.D.
- Mgr. Ľuboš Korenčiak, Ph.D.
- RNDr. Štěpán Kozák
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Ing. Bc. Tomáš Majtner, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- Mgr. Juraj Nižnan
- doc. RNDr. Petr Novotný, Ph.D.
- prof. PhDr. Karel Pala, CSc.
- RNDr. Jan Papoušek, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Matej Pivoluska, Ph.D.
- RNDr. Tomáš Raček, Ph.D.
- RNDr. Jan Rygl
- prof. Ing. Jiří Sochor, CSc.
- RNDr. Roman Stoklasa, Ph.D.
- RNDr. Šimon Suchomel, Ph.D.
- RNDr. Mária Svoreňová, Ph.D.
- RNDr. Šimon Tóth
- RNDr. Pavel Troubil, Ph.D.
- RNDr. Karel Vaculík, Ph.D.
- RNDr. Marek Vinkler, Ph.D.
- prof. Ing. Pavel Zezula, CSc.
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 vysoce š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é přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 34
2015
-
Language Emptiness of Continuous-Time Parametric Timed Automata
Automata, Languages, and Programming, year: 2015
-
On Degree Properties of Crossing-critical Families of Graphs
Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411, year: 2015
-
On Refinement of Büchi Automata for Explicit Model Checking
2015 International SPIN Symposium on Model Checking of Software, year: 2015
-
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
IEEE Transactions on Automatic Control, year: 2015, volume: 60, edition: 6, DOI
-
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Quantitative Evaluation of Systems, year: 2015
-
Parameter Synthesis by Parallel Coloured CTL Model Checking
Computational Methods in Systems Biology, year: 2015
-
Parameterized Algorithms for Parity Games
MFCS 2015, LNCS 9235, year: 2015
-
Path-planning algorithm for transportation of molecules through protein tunnel bottlenecks
31st Proceedings of Spring Conference on Computer Graphics, year: 2015
-
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015
-
Temporal Logic Motion Planning using POMDPs with Parity Objectives
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015