CDS Group/en: Rozdiel medzi revíziami
(→Group Focus) |
(→Publications) |
||
| (2 medziľahlé úpravy od rovnakého používateľa.) | |||
| Riadok 5: | Riadok 5: | ||
models for concurrent, parallel and distributed systems | models for concurrent, parallel and distributed systems | ||
| + | |||
formal methods | formal methods | ||
| + | |||
specification and verification | specification and verification | ||
| + | |||
applications in security | applications in security | ||
| Riadok 16: | Riadok 19: | ||
* [[Kamil Kuboň|Kamil Kuboň]] (PhD student) | * [[Kamil Kuboň|Kamil Kuboň]] (PhD student) | ||
| − | |||
| − | |||
== Projects == | == Projects == | ||
| − | + | ||
| + | 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) | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | [[Category:Výskum]] | ||
| + | __NOTOC__ | ||
| + | |||
| + | |||
== Publications == | == Publications == | ||
| − | + | [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:Research]] | [[Category:Research]] | ||
__NOTOC__ | __NOTOC__ | ||
Aktuálna revízia z 09:57, 7. október 2015
Concurrent and Distributed Systems Group
Group Focus
models for concurrent, parallel and distributed systems
formal methods
specification and verification
applications in security
Members
- Damas Gruska (head)
- Mikuláš Pataky (PhD student)
- Michal Kováč (PhD student)
- Kamil Kuboň (PhD student)
Projects
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)