CDS Group/sk: Rozdiel medzi revíziami
(Vytvorenie zakladnej stranky) |
(→Publikácie) |
||
| (8 medziľahlých úprav od 2 ďalších používateľov nie je zobrazených) | |||
| Riadok 1: | Riadok 1: | ||
= Výskumná skupina pre konkurentné a distribuované systémy = | = 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 == | == Členovia == | ||
| + | |||
* [[Damas Gruska]] (head) | * [[Damas Gruska]] (head) | ||
* [[Mikulas Pataky|Mikuláš Pataky]] (PhD student) | * [[Mikulas Pataky|Mikuláš Pataky]] (PhD student) | ||
| − | * … | + | * [[Michal Kováč|Michal Kováč]] (PhD student) |
| + | * [[Kamil Kuboň|Kamil Kuboň]] (PhD student) | ||
| + | |||
| + | |||
| + | |||
| + | == Projekty == | ||
| + | |||
| + | |||
| + | VEGA - Knowledge representation for ambient intelligence (2012 - 2015) | ||
| + | |||
| + | VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008) | ||
| + | |||
| + | VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002) | ||
| + | … | ||
| + | |||
| + | == Publikácie == | ||
| + | |||
| + | [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 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=AFC&match_3=SHOULD&field_3=text&match_4=NOT&field_4=text&theme=EPC Conference papers] |
[[Category:Výskum]] | [[Category:Výskum]] | ||
| + | __NOTOC__ | ||
Aktuálna revízia z 09:57, 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)
Projekty
VEGA - Knowledge representation for ambient intelligence (2012 - 2015)
VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)
VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002) …