(Created page with "= Concurrent and Distributed Systems Group = == Members == * Damas Gruska (head) * Mikuláš Pataky (PhD student) * … == … ==")
 
(Publications)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
= Concurrent and Distributed Systems Group =
 
= Concurrent and Distributed Systems Group =
 +
 +
== Group Focus ==
 +
 +
 +
models for concurrent, parallel and distributed systems
 +
 +
formal methods
 +
 +
specification and verification
 +
 +
applications in security
  
 
== Members ==
 
== Members ==
Line 5: Line 16:
 
* [[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)
 +
 
 +
 
 +
 
 +
== 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 ==
 +
 
 +
[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]]
 +
__NOTOC__

Latest revision as of 09:57, 7 October 2015

Concurrent and Distributed Systems Group

Group Focus

models for concurrent, parallel and distributed systems

formal methods

specification and verification

applications in security

Members


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)



Publications

Journal papers

Conference papers