research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo
Keywords (3)Abstracts (12)
[RACTI-RU1-2005-42] Mavronicolas, Marios, Papadopoulou, Viki, Philippou, Anna and Spirakis, Paul, A Graph-Theoretic Network Security Game, in: 1st Workshop on Internet and Network Economics (WINE 2005), pages 969-978, 2005.
 
Keywords:graph theory; Nash equilibria; network security games; viral infections.

[RACTI-RU1-2000-16] Shiva, Chaudhuri and Zaroliagis, Christos, Shortest Paths in Digraphs of Small Treewidth. Part I: Sequential Algorithms, in: Algorithmica, volume 27, number 3, pages 212-226, 2000.
 
Keywords:Shortest path, Graph theory, Treewidth, Dynamic algorithm

[RACTI-RU1-2009-124] Kaklamanis, Christos and Flemming, Nielson, Trustworthy Global Computing, Springer, 2009.
 
Keywords:access control, anonymity, approximation algorithms, authentication, bigraphs, calculi, concurrent computing, distributed computing, distributed systems, energy saving, formal methods, global computing, graph transformation, meta-modeling, mobile code, mobile computing, model checking, model transformation, multi-interface network, privacy, security, semantics, service oriented computing, subtyping, systems security , trusted computing, type theory , typechecking, verification , wireless network