Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Vasileios Germanos.
Newcastle Authors
Title
Year
Full text
Wen Zeng
Professor Maciej Koutny
Professor Paul Watson
Vasileios Germanos
Formal Verification of Secure Information Flow in Cloud Computing
2016
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness
2015
Vasileios Germanos
Dr Victor Khomenko
Diagnosability under Weak Fairness
2014