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 Berlin Heidelberg

9783642160226, 9783642160233

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stably Decidable Graph Languages by Mediated Population Protocols

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

10.1007/978-3-642-16023-3_21 ◽

2010 ◽

pp. 252-266 ◽

Cited By ~ 2

Author(s):

Ioannis Chatzigiannakis ◽

Othon Michail ◽

Paul G. Spirakis

Keyword(s):

Population Protocols ◽

Graph Languages

Download Full-text

Approximation of δ-Timeliness

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

10.1007/978-3-642-16023-3_35 ◽

2010 ◽

pp. 435-451

Author(s):

Carole Delporte-Gallet ◽

Stéphane Devismes ◽

Hugues Fauconnier

Download Full-text

Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure

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

10.1007/978-3-642-16023-3_14 ◽

2010 ◽

pp. 144-158 ◽

Cited By ~ 2

Author(s):

S. Dov Gordon ◽

Jonathan Katz ◽

Ranjit Kumaresan ◽

Arkady Yerukhimovich

Keyword(s):

Public Key Infrastructure ◽

Public Key

Download Full-text

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility

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

10.1007/978-3-642-16023-3_27 ◽

2010 ◽

pp. 319-331 ◽

Cited By ~ 12

Author(s):

Taisuke Izumi ◽

Maria Gradinariu Potop-Butucaru ◽

Sébastien Tixeuil

Keyword(s):

Mobile Robots ◽

Limited Visibility

Download Full-text

Complexity Issues in Automated Model Revision without Explicit Legitimate State

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

10.1007/978-3-642-16023-3_18 ◽

2010 ◽

pp. 206-220

Author(s):

Fuad Abujarad ◽

Sandeep S. Kulkarni

Keyword(s):

Legitimate State

Download Full-text

Self-stabilizing Leader Election in Dynamic Networks

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

10.1007/978-3-642-16023-3_6 ◽

2010 ◽

pp. 35-49 ◽

Cited By ~ 9

Author(s):

Ajoy K. Datta ◽

Lawrence L. Larmore ◽

Hema Piniganti

Keyword(s):

Dynamic Networks ◽

Leader Election

Download Full-text

Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks

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

10.1007/978-3-642-16023-3_20 ◽

2010 ◽

pp. 236-251 ◽

Cited By ~ 7

Author(s):

Bo Zhang ◽

Robert Simon ◽

Hakan Aydin

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Energy Harvesting ◽

Energy Management ◽

Critical Energy ◽

Wireless Sensor ◽

Time Critical

Download Full-text

A Provably Starvation-Free Distributed Directory Protocol

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

10.1007/978-3-642-16023-3_33 ◽

2010 ◽

pp. 405-419 ◽

Cited By ~ 14

Author(s):

Hagit Attiya ◽

Vincent Gramoli ◽

Alessia Milani

Download Full-text

On Byzantine Containment Properties of the min + 1 Protocol

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

10.1007/978-3-642-16023-3_10 ◽

2010 ◽

pp. 96-110 ◽

Cited By ~ 12

Author(s):

Swan Dubois ◽

Toshimitsu Masuzawa ◽

Sébastien Tixeuil

Download Full-text

A New Technique for Proving Self-stabilizing under the Distributed Scheduler

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

10.1007/978-3-642-16023-3_8 ◽

2010 ◽

pp. 65-79 ◽

Cited By ~ 3

Author(s):

Sven Köhler ◽

Volker Turau

Keyword(s):

New Technique ◽

A New Technique

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Stably Decidable Graph Languages by Mediated Population Protocols

Approximation of δ-Timeliness

Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility

Complexity Issues in Automated Model Revision without Explicit Legitimate State

Self-stabilizing Leader Election in Dynamic Networks

Energy Management for Time-Critical Energy Harvesting Wireless Sensor Networks

A Provably Starvation-Free Distributed Directory Protocol

On Byzantine Containment Properties of the min + 1 Protocol

A New Technique for Proving Self-stabilizing under the Distributed Scheduler

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