Distributed Quantum Computing
by Harry Buhrman and Hein Roehrig
[View abstract]Selfish Routing in Non-Cooperative Networks: A Survey
by R. Feldmann, M. Gairing, T. Luecking, B.
Monien and
M. Rode
[View abstract]Process Algebrai Frameworks for the Specification and Analysis of
Cryptographic Protocols
by Roberto Gorrieri and Fabio Martinelli
[View abstract]Semantic and Syntactic Approaches to Simulation Relations
by Jo Hannay, Shin-ya Katsumata, and Donald
Sannella
[View abstract]On the Computational Complexity of Conservative Computing
by Giancarlo Mauri and Alberto Leporati
[View abstract]Constructing Infinite Graphs With Decidable MSO-Theory
by Wolfgang Thomas
[View abstract]Towards a Theory of Randomized Search Heuristics
by Ingo Wegener
[View abstract]
