↓ Skip to main content

Networked Systems

Overview of attention for book
Cover of 'Networked Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Program Analyses Using Newton’s Method (Invited Paper)
  3. Altmetric Badge
    Chapter 2 Formalizing and Implementing Distributed Ledger Objects
  4. Altmetric Badge
    Chapter 3 On the Unfairness of Blockchain
  5. Altmetric Badge
    Chapter 4 Weak Failures: Definitions, Algorithms and Impossibility Results
  6. Altmetric Badge
    Chapter 5 Complete Visibility for Oblivious Robots in $$\mathcal{O}(N)$$ Time
  7. Altmetric Badge
    Chapter 6 Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards
  8. Altmetric Badge
    Chapter 7 Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models
  9. Altmetric Badge
    Chapter 8 On Helping and Stacks
  10. Altmetric Badge
    Chapter 9 Anonymity in Distributed Read/Write Systems: An Introductory Survey
  11. Altmetric Badge
    Chapter 10 An Anonymous Wait-Free Weak-Set Object Implementation
  12. Altmetric Badge
    Chapter 11 Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems
  13. Altmetric Badge
    Chapter 12 Unleashing and Speeding Up Readers in Atomic Object Implementations
  14. Altmetric Badge
    Chapter 13 Optimal Recoverable Mutual Exclusion Using only FASAS
  15. Altmetric Badge
    Chapter 14 Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols
  16. Altmetric Badge
    Chapter 15 On Verifying TSO Robustness for Event-Driven Asynchronous Programs
  17. Altmetric Badge
    Chapter 16 Model Checking Dynamic Pushdown Networks with Locks and Priorities
  18. Altmetric Badge
    Chapter 17 OSM-GKM Optimal Shared Multicast-Based Solution for Group Key Management in Mobile IPv6
  19. Altmetric Badge
    Chapter 18 A Game-Theoretic Approach for the Internet Content Distribution Chain
  20. Altmetric Badge
    Chapter 19 New Competition-Based Approach for Caching Popular Content in ICN
  21. Altmetric Badge
    Chapter 20 Churn Possibilities and Impossibilities
  22. Altmetric Badge
    Chapter 21 Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness
  23. Altmetric Badge
    Chapter 22 Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching
  24. Altmetric Badge
    Chapter 23 Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions
  25. Altmetric Badge
    Chapter 24 Short Paper: S tress -SGX: Load and Stress Your Enclaves for Fun and Profit
  26. Altmetric Badge
    Chapter 25 Short Paper: Application of Noisy Attacks on Image Steganography
  27. Altmetric Badge
    Chapter 26 A Measure for Quantifying the Topological Structure of Some Networks
  28. Altmetric Badge
    Chapter 27 Short Paper: Maintenance of Strongly Connected Component in Shared-Memory Graph
  29. Altmetric Badge
    Chapter 28 Comparative Analysis of Our Association Rules Based Approach and a Genetic Approach for OLAP Partitioning
  30. Altmetric Badge
    Chapter 29 Short Paper: IoT Context-Driven Architecture: Characterization of the Behavioral Aspect
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 tweeter

Readers on

4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Networked Systems
Published by
Springer International Publishing, February 2019
DOI 10.1007/978-3-030-05529-5
978-3-03-005528-8, 978-3-03-005529-5

Podelski, Andreas, Taïani, François

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Student > Bachelor 1 25%
Student > Master 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Engineering 1 25%
Unknown 1 25%