1. A graph-theoretic network security game. (1st December 2008) Authors: Mavronicolas, Marios; Papadopoulou, Vicky G.; Philippou, Anna; Spirakis, Paul G. Journal: International journal of autonomous and adaptive communications systems Issue: Volume 1:Number 4(2008) Page Start: 390 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗