(Publications)
 
(One intermediate revision by the same user not shown)
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 38: Riadok 41:
  
 
== Publications ==
 
== Publications ==
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=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
+
 
+
[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


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