(→Zameranie skupiny) |
(→Publikácie) |
||
| Riadok 26: | Riadok 26: | ||
== Publikácie == | == Publikácie == | ||
| + | Journal papers: | ||
| + | http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=ADC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC | ||
| + | |||
| + | Conference papers: | ||
| + | http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC | ||
… | … | ||
[[Category:Výskum]] | [[Category:Výskum]] | ||
__NOTOC__ | __NOTOC__ | ||
Verzia zo dňa a času 09:44, 7. október 2015
Výskumná skupina pre konkurentné a distribuované systémy
Zameranie skupiny
výpočtové modely pre konkurentné, paralelné a distribuované systémy formálne metódy špecifikácia a verifikácia aplikácie v oblasti bezpečnosti
Členovia
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Aktivity
…
Projekty
…
Publikácie
Conference papers: http://alis.uniba.sk:9909/search/query?match_1=MUST&field_1=text&term_1=Gruska+Damas&match_2=PHRASE&field_2=text&term_2=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC …