Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319217406, 9783319217413

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Implication Problem of Computing Policies

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_8 ◽

2015 ◽

pp. 109-123 ◽

Cited By ~ 3

Author(s):

Rezwana Reaz ◽

Muqeet Ali ◽

Mohamed G. Gouda ◽

Marijn J. H. Heule ◽

Ehab S. Elmallah

Keyword(s):

Implication Problem

Download Full-text

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_15 ◽

2015 ◽

pp. 217-232 ◽

Cited By ~ 2

Author(s):

Ling Zhu ◽

Jingshu Chen ◽

Sandeep Kulkarni

Keyword(s):

Genetic Algorithms

Download Full-text

Efficient and Decentralized Polling Protocol for General Social Networks

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_12 ◽

2015 ◽

pp. 171-186 ◽

Cited By ~ 1

Author(s):

Bao-Thien Hoang ◽

Abdessamad Imine

Keyword(s):

Social Networks

Download Full-text

Untangling Partial Agreement: Iterated x-consensus Simulations

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_10 ◽

2015 ◽

pp. 139-155

Author(s):

Damien Imbs ◽

Sergio Rajsbaum ◽

Adrián Valle

Keyword(s):

Partial Agreement

Download Full-text

The k-Observer Problem on d-regular Graphs

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_6 ◽

2015 ◽

pp. 81-93 ◽

Cited By ~ 1

Author(s):

Benjamin Ries ◽

Bernhard Schamberg ◽

Walter Unger

Keyword(s):

Regular Graphs

Download Full-text

Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_4 ◽

2015 ◽

pp. 51-66 ◽

Cited By ~ 7

Author(s):

Swan Dubois ◽

Mohamed-Hamza Kaaouachi ◽

Franck Petit

Keyword(s):

Distributed Systems ◽

Dominating Set ◽

Minimal Dominating Set

Download Full-text

Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_16 ◽

2015 ◽

pp. 233-247 ◽

Cited By ~ 1

Author(s):

Andrew Berns

Keyword(s):

Overlay Network ◽

Time And Space

Download Full-text

Towards a Universal Approach for the Finite Departure Problem in Overlay Networks

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_14 ◽

2015 ◽

pp. 201-216 ◽

Cited By ~ 6

Author(s):

Andreas Koutsopoulos ◽

Christian Scheideler ◽

Thim Strothmann

Keyword(s):

Overlay Networks ◽

Universal Approach

Download Full-text

Constructing Self-stabilizing Oscillators in Population Protocols

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_13 ◽

2015 ◽

pp. 187-200 ◽

Cited By ~ 2

Author(s):

Colin Cooper ◽

Anissa Lamani ◽

Giovanni Viglietta ◽

Masafumi Yamashita ◽

Yukiko Yamauchi

Keyword(s):

Population Protocols

Download Full-text

Reaching Approximate Byzantine Consensus with Multi-hop Communication

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems ◽

10.1007/978-3-319-21741-3_2 ◽

2015 ◽

pp. 21-35 ◽

Cited By ~ 4

Author(s):

Lili Su ◽

Nitin Vaidya

Download Full-text

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Implication Problem of Computing Policies

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms

Efficient and Decentralized Polling Protocol for General Social Networks

Untangling Partial Agreement: Iterated x-consensus Simulations

The k-Observer Problem on d-regular Graphs

Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network

Towards a Universal Approach for the Finite Departure Problem in Overlay Networks

Constructing Self-stabilizing Oscillators in Population Protocols

Reaching Approximate Byzantine Consensus with Multi-hop Communication

Lecture Notes in Computer Science - Stabilization, Safety, and Security of Distributed Systems
Latest Publications