Networked Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 25)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030670863, 9783030670870
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the Encoding and Solving of Partial Information Games

2021 ◽  
pp. 60-76
Author(s):  
Yackolley Amoussou-Guenou ◽  
Souheib Baarir ◽  
Maria Potop-Butucaru ◽  
Nathalie Sznajder ◽  
Léo Tible ◽  
...  
Keyword(s):  
Partial Information ◽  
Information Games

scholarly journals Self-stabilizing Uniform Reliable Broadcast

2021 ◽  
pp. 296-313
Author(s):  
Oskar Lundström ◽  
Michel Raynal ◽  
Elad M. Schiller
Keyword(s):  
Reliable Broadcast

scholarly journals Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks

2021 ◽  
pp. 11-27
Author(s):  
Tobias Meuser ◽  
Oluwasegun Taiwo Ojo ◽  
Daniel Bischoff ◽  
Antonio Fernández Anta ◽  
Ioannis Stavrakakis ◽  
...  
Keyword(s):  
Vehicular Networks ◽  
Location Privacy

On the State Reachability Problem for Concurrent Programs Under Power

2021 ◽  
pp. 47-59
Author(s):  
Parosh Aziz Abdulla ◽  
Mohamed Faouzi Atig ◽  
Ahmed Bouajjani ◽  
Egor Derevenetc ◽  
Carl Leonardsson ◽  
...  
Keyword(s):  
The State ◽  
Concurrent Programs ◽  
Reachability Problem

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches

2021 ◽  
pp. 279-295
Author(s):  
Paolo Laffranchini ◽  
João Miranda ◽  
Nuno Machado ◽  
Luís Rodrigues ◽  
Etienne Rivière ◽  
...  
Keyword(s):  
Software Defined Networks

Verifying Safety of Parameterized Heard-Of Algorithms

2021 ◽  
pp. 209-226
Author(s):  
Zeinab Ganjei ◽  
Ahmed Rezine ◽  
Petru Eles ◽  
Zebo Peng
Load More ...
Sign in / Sign up

Export Citation Format

Share Document