yusuke1997/dblp-id-title huggingface dataset:
Constraint-Based Genetic Compilation
Neural Networks Simulation of Feeding Adaptations of Daphnia
Stratified Test Alleviates Batch Effects in Single-Cell Data
P2RANK: Knowledge-Based Ligand Binding Site Prediction Using Aggregated Local Features
Reversals Distance Considering Flexible Intergenic Regions Sizes
Heuristics for the Sorting Signed Permutations by Reversals and Transpositions Problem
Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model
Exploiting Variable Sparsity in Computing Equilibria of Biological Dynamical Systems by Triangular Decomposition
New Divide-and-Conquer Techniques for Large-Scale Phylogenetic Estimation
Solving the Tree Containment Problem for Reticulation-Visible Networks in Linear Time
Counting Sorting Scenarios and Intermediate Genomes for the Rank Distance
Algorithms for Computational Biology - 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings
Lightweight Metagenomic Classification via eBWT
Predicting Methylation from Sequence and Gene Expression Using Deep Learning with Attention
Counting, Generating and Sampling Tree Alignments
Improved DNA-versus-Protein Homology Search for Protein Fossils
Generating the Logicome of a Biological Network
Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-Solver
Sorting Permutations by Limited-Size Operations
SVEM: A Structural Variant Estimation Method Using Multi-mapped Reads on Breakpoints
Graph-Theoretic Partitioning of RNAs and Classification of Pseudoknots
Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology
Mapping RNA-seq Data to a Transcript Graph via Approximate Pattern Matching to a Hypertext
Algorithms for Computational Biology - Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings
Combining Networks Using Cherry Picking Sequences
On the Implementation of Quantitative Model Refinement
Comparing Different Graphlet Measures for Evaluating Network Model Fits to BioGRID PPI Networks
New Error Tolerant Method for Search of Long Repeats in DNA Sequences
Efficiently Enumerating All Connected Induced Subgraphs of a Large Molecular Network
Transcript Abundance Estimation and the Laminar Packing Problem
BESTox: A Convolutional Neural Network Regression Model Based on Binary-Encoded SMILES for Acute Oral Toxicity Prediction of Chemical Compounds
Can We Replace Reads by Numeric Signatures? Lyndon Fingerprints as Representations of Sequencing Reads for Machine Learning
Polynomial-Time Algorithms for Phylogenetic Inference Problems
Heuristics for the Sorting by Length-Weighted Inversions Problem on Signed Permutations
TreeSolve: Rapid Error-Correction of Microbial Gene Trees
Generalized Hultman Numbers and the Distribution of Multi-break Distances
Reconciliation Feasibility of Non-binary Gene Trees Under a Duplication-Loss-Coalescence Model
Likelihood-Based Inference of Phylogenetic Networks from Sequence Data by PhyloDAG
Computational Processes that Appear to Model Human Memory
Vester's Sensitivity Model for Genetic Networks with Time-Discrete Dynamics
Efficient and Decentralized Polling Protocol for General Social Networks
Self-Stabilizing Leader Election in Optimal Space
A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing
Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference
Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
Self-healing Computation
Self-stabilizing Philosophers with Generic Conflicts
Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System
Improved Paths to Stability for the Stable Marriage Problem
Block Transactional Memory: A Complexity Study
A Privacy-Preserving Collaborative Caching Approach in Information-Centric Networking
Privacy in Population Protocols with Probabilistic Scheduling
DecTDMA: A Decentralized-TDMA - With Link Quality Estimation for WSNs
Brief Announcement: A Note on Replication of Documents
Self-stabilizing Byzantine Digital Clock Synchronization
Clairvoyant State Machine Replications
Stability of the Multiple-Access Channel Under Maximum Broadcast Loads
The Match-Maker: Constant-Space Distributed Majority via Random Walks
Brief Announcement: Fully Anonymous Shared Memory Algorithms
Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network
Perfect Failure Detection with Very Few Bits
Self-stabilizing Local k-Placement of Replicas with Minimal Variance
Time-Optimal Self-stabilizing Leader Election on Rings in Population Protocols
Privacy-Preserving Data Sharing for Medical Research
SodsBC/SodsBC++ & SodsMPC: Post-quantum Asynchronous Blockchain Suite for Consensus and Smart Contracts
Robust Privacy-Preserving Gossip Averaging
Optimal Grid Exploration by Asynchronous Oblivious Robots
Uniform Deployment of Mobile Agents in Dynamic Rings
A Self-stabilizing Hashed Patricia Trie
Tasks in Modular Proofs of Concurrent Algorithms
Brief Announcement: Towards Secure Cloud Computing
Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions
The Asynchronous Bounded-Cycle Model
How Good is Weak-Stabilization?
A Self-stabilizing 1-Maximal Independent Set Algorithm
Computing in Time-Varying Networks
Self-stabilizing Numerical Iterative Computation
A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings
The Max-Line-Formation Problem - And New Insights for Gathering and Chain-Formation
On-Line Path Computation and Function Placement in SDNs
iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications
SUPI-Rear: Privacy-Preserving Subscription Permanent Identification Strategy in 5G-AKA
Do Not Trust in Numbers: Practical Distributed Cryptography with General Trust
Stabilizing Flocking Via Leader Election in Robot Networks
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Collaborative Dispersion by Silent Robots
Finding Good Partners in Availability-Aware P2P Networks
Zone-Based Synthesis of Strict 2-Phase Fault Recovery
Network Scaffolding for Efficient Stabilization of the Chord Overlay Network
Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots
Stably Decidable Graph Languages by Mediated Population Protocols
DISH: Distributed Self-Healing
Computer Aided Formal Design of Swarm Robotics Algorithms
Self-Healing of Byzantine Faults
Set Agreement and Renaming in the Presence of Contention-Related Crash Failures
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers
Scalable Funding of Bitcoin Micropayment Channel Networks - Regular Submission
Looking for the Weakest Failure Detector for k -Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?
Broadcast Encryption with Both Temporary and Permanent Revocation
Logarithmic Keying of Communication Networks
A Stabilizing Solution to the Stable Path Problem
On Transactional Scheduling in Distributed Transactional Memory Systems
Offline Constrained Backward Time Travel Planning
Near-Optimal Self-stabilising Counting and Firing Squads
Optimal Message-Driven Implementation of Omega with Mute Processes
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios
Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract)
On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms
Efficient Distributed Algorithms for Shape Reduction via Reconfigurable Circuits
From Self- to Snap- Stabilization
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
Coordinating Amoebots via Reconfigurable Circuits
Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings
On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems
Brief Announcement: Make Master Private-Keys Secure by Keeping It Public
Black Hole Search by Scattered Agents on Time-Varying Dynamic Graphs
Self-stabilizing Virtual Synchrony
Self-stabilizing Mobile Node Location Management and Message Routing
Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings
Complexity Issues in Automated Model Revision without Explicit Legitimate State
On Finding Better Friends in Social Networks
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks
Snap-Stabilizing PIF on Non-oriented Trees and Message Passing Model
Self-Stabilizing De Bruijn Networks
Generalized Paxos Made Byzantine (and Less Complex)
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
A Framework of Safe Stabilization
A Self-stabilizing Algorithm for the 1-Minimal Minus Domination Problem
On Adaptive Renaming under Eventually Limited Contention
Self-stabilizing Labeling and Ranking in Ordered Trees
Keynote: On the Safety and Security of Decentralised Machine Learning
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin
Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn
Invited Paper: One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles
Our Brothers' Keepers: Secure Routing with High Performance
A General Characterization of Indulgence
How Do Mobile Agents Benefit from Randomness?
Lattice Linearity of Multiplication and Modulo
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm
Self-Stabilizing Group Communication in Directed Networks
Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning
Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware
Time-Optimal Geodesic Mutual Visibility of Robots on Grids Within Minimum Area
Synergistic Knowledge
Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented and Luminous Robots with Limited Visibility
Security in Asynchronous Interactive Systems
Stabilizing Certificate Dispersal
Universally Optimal Gathering Under Limited Visibility
Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision
NestedBTO: A Timestamp-Based STM Protocol for Closed Nested Transactions with Opacity Guarantees
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler
Stabilization in Dynamic Systems with Varying Equilibrium
A Metastability-Free Multi-synchronous Communication Scheme for SoCs
Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables
Exploring a Dynamic Ring Without Landmark
Brief Announcement: Self-stabilizing Total-Order Broadcast
Disconnected Agreement in Networks Prone to Link Failures
A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems
Self-stabilizing (f, g)-Alliances with Safe Convergence
A Geometry of Networks
On Fast Pattern Formation by Autonomous Robots
Brief Announcement: Consensus in Systems with Eventual Quiescence
Wait-Free Updates and Range Search Using Uruv
Self-stabilizing Mobile Robot Formations with Virtual Nodes
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks
Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion
Dependability Engineering of Silent Self-stabilizing Systems
Brief Announcement: A Stable and Robust Membership Protocol
A Theory of Network Tracing
Complete Visibility for Robots with Lights in O(1) Time
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents
Exploration of Dynamic Ring Networks by a Single Agent with the H-hops and S-time Steps View
Consensus on Demand
High-Level Executable Specifications of Distributed Algorithms
Byzantine Reliable Broadcast in Wireless Networks
Treasure Hunt in Graph Using Pebbles
Price Stabilization in Networks - What Is an Appropriate Model ?
KerberSSIze Us: Providing Sovereignty to the People
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings
Self Adaptive High Interaction Honeypots Driven by Game Theory
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
Partial Gathering of Mobile Agents in Dynamic Rings
Dynamic Regular Registers in Systems with Churn
Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage
Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract)
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
Perpetual Torus Exploration by Myopic Luminous Robots
Blockchain in Dynamic Networks
Leader Election and Centers and Medians in Tree Networks
A Self-stabilizing Algorithm for Graph Searching in Trees
A Case Study on Prototyping Power Management Protocols for Sensor Networks
On the Probabilistic Omission Adversary
Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper)
Keynote: Primitives for Physical Trust
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility
Self-stabilization and Byzantine Tolerance for Maximal Independent Set
Robots and Molecules
The k-Observer Problem on d-regular Graphs
Reducing the Number of Messages in Self-stabilizing Protocols
Self-stabilizing Balancing Algorithm for Containment-Based Trees
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms
Duty Cycle Stabilization in Semi-mobile Wireless Networks
Communication-Efficient Self-stabilization in Wireless Networks
Self-adjusting Linear Networks
Uniform k-Circle Formation by Fat Robots
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection
Better Incentives for Proof-of-Work
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback
Fault Masking in Tri-redundant Systems
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems
RobuSTM: A Robust Software Transactional Memory
Transactional Encoding for Tolerating Transient Hardware Errors
Brief Announcement: Time Efficient Self-stabilizing Stable Marriage
On Byzantine Containment Properties of the min + 1 Protocol
Capacity Planning for Dependable Services
Synthesizing Self-stabilization through Superposition and Backtracking
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
Formal Verification of Consensus Algorithms Tolerating Malicious Faults
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line
Approximation of Self-stabilizing Vertex Cover Less Than 2
About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks
As Good as It Gets: Competitive Fault Tolerance in Network Structures
A Method for Evaluating Efficiency of Protocols on the Asynchronous Shared-State Model
Black Hole Search with Tokens in Interconnected Networks
Centroid Approximation with Multidimensional Approximate Agreement Protocols
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)
Brief Announcement: Rendezvous on a Known Dynamic Point in a Finite Unoriented Grid
Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Exploration of Finite 2D Square Grid by a Metamorphic Robotic System
Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model
Brief Announcement: Self-healing Algorithms for Reconfigurable Networks
Improving the Efficiency of Report and Trace Ring Signatures
Low-Communication Self-stabilizing Leader Election in Large Networks
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
Brief Announcement: Dependency-Aware Execution Mechanism in Hyperledger Fabric Architecture
Approximation of delta -Timeliness
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems
Time Optimal Gathering of Myopic Robots on an Infinite Triangular Grid
POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks
Brief Announcement: Asynchronous, Distributed, Optical Mutual Exclusion
Optimal Dispersion of Silent Robots in a Ring
Efficient Dispersion of Mobile Agents without Global Knowledge
A 1-Strong Self-stabilizing Transformer
Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction
Robust Routing Made Easy
Temporal Partition in Sensor Networks
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks
The Fagnano Triangle Patrolling Problem (Extended Abstract)
Building Systems of Systems with Escher
Meta-algorithm to Choose a Good On-Line Prediction (Short Paper)
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings
Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System
Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks
A Self-stabilizing General De Bruijn Graph
Multicore Constraint-Based Automated Stabilization
Self-stabilization of Byzantine Protocols
Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures
Smoothed Analysis of Leader Election in Distributed Networks
Stabilization, Safety, and Security of Distributed Systems - 27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
Keynote: Trustworthy Services and the Biological Analogy
Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems
Invited Paper: Detection of False Data Injection Attacks in Power Systems Using a Secured-Sensors and Graph-Based Method
TorBricks: Blocking-Resistant Tor Bridge Distribution
Distributed Computing with the Cloud
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility
A Framework for Secure and Private P2P Publish/Subscribe
Stand-Up Indulgent Gathering on Lines
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks
Self-stabilizing Leader Election in Polynomial Steps
Brief Announcement: Fast Convergence in Route-Preservation
Physical Zero-Knowledge Proof for Makaro
Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs
Lightweight Live Migration for High Availability Cluster Service
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs
Computation of Equilibria and Stable Solutions
The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication
Gathering Semi-Synchronously Scheduled Two-State Robots
Invited Paper: On the Characterization of Blockchain Consensus Under Incentives
Incremental Verification of Computing Policies
Automatic Addition of Conflicting Properties
Algorithmic Verification of Population Protocols
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization
Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks
Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs
Stabilization Enabling Technology
Near-Optimal Stability for Distributed Transaction Processing in Blockchain Sharding
Modeling and Analyzing Periodic Distributed Computations
Stabilization, Safety, and Security of Distributed Systems - 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings
An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn
OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs
Coating in sfSILBOT with One Axis Agreement
A Combinatorial Characterization of Self-stabilizing Population Protocols
Brief Announcement: Fully Lattice Linear Algorithms
Recovery Oriented Programming
TRAIL: Cross-Shard Validation for Byzantine Shard Protection
Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings
A Discrete and Continuous Study of the Max-Chain-Formation Problem - Slow down to Speed Up
Localizability of Wireless Sensor Networks: Beyond Wheel Extension
Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters
Local Decision and Verification with Bounded-Size Outputs
Brief Announcement: Space-Efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings
Invited Paper: Reactive PLS for Distributed Decision
CloudSylla: Detecting Suspicious System Calls in the Cloud
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System
Automated Addition of Fault-Tolerance under Synchronous Semantics
Consensus When All Processes May Be Byzantine for Some Time
Adaptive Containment of Time-Bounded Byzantine Faults
Low Memory Distributed Protocols for 2-Coloring
Brief Announcement: Distributed Synthesis of Fault-Tolerance
A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels
Network-Friendly Gossiping
TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet
From Local Impact Functions to Global Adaptation of Service Compositions
Gathering of Asynchronous Robots on Circle with Limited Visibility Using Finite Communication
Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation
Brief Announcement: Distributed Reconfiguration of Spanning Trees
Dispersion of Mobile Robots in Spite of Faults
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem
Brief Announcement: Asynchronous Gathering of Finite Memory Robots on a Circle Under Limited Visibility
An Agile and Stable Neighborhood Protocol for WSNs
Tight Bounds for Stabilizing Uniform Consensus in Mobile Networks
Machine Learning-Based Phishing Detection Using URL Features: A Comprehensive Review
Brief Announcement: Non-blocking Dynamic Unbounded Graphs with Wait-Free Snapshot
Oblivious Assignment with m Slots
Brief Announcement: Self-stabilizing Construction of a Minimal Weakly ST -Reachable Directed Acyclic Graph
Loop-Free Super-Stabilizing Spanning Tree Construction
How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping
Building Self-stabilizing Overlay Networks with the Transitive Closure Framework
On Stabilizing Departures in Overlay Networks
Brief Announcement: Sorting on Skip Chains
Stabilization of Loop-Free Redundant Routing
Corona: A Stabilizing Deterministic Message-Passing Skip List
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem
Plateau: A Secure and Scalable Overlay Network for Large Distributed Trust Applications