On the public citation graph

Distributed Algorithms

https://doi.org/10.1007/bfb0030669
0 signed · 595 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/(sici)1520-684x(19990615)30:6<23::aid-scj3>3.0.co;2-iopenalex-snapshot
Distributed algorithms for allocating resources to process groups and their complexity
inferred← citeshttps://doi.org/10.1002/0471028959.sof056openalex-snapshot
Concurrency in Software Engineering
inferred← citeshttps://doi.org/10.1002/9780470828229.ch6openalex-snapshot
Consensus in Homogeneous Multi‐Agent Systems
inferred← citeshttps://doi.org/10.1002/9781119266235.ch7openalex-snapshot
Event‐Triggered Communication and Control for Multi‐Agent Average Consensus
inferred← citeshttps://doi.org/10.1002/asjc.1599openalex-snapshot
Distributed Consensus of Third‐order Multi‐agent Systems with Communication Delay
inferred← citeshttps://doi.org/10.1002/asjc.21openalex-snapshot
Distributed dynamic control for leaderless multi‐agent consensus with star‐like topology
inferred← citeshttps://doi.org/10.1002/cpe.594openalex-snapshot
Open consensus
inferred← citeshttps://doi.org/10.1002/cpe.635openalex-snapshot
Advanced concurrency control in Java
inferred← citeshttps://doi.org/10.1002/j.2334-5837.1999.tb00190.xopenalex-snapshot
1 Models, Proofs and the Engineering of Computer‐Based Systems: A Reality Check
inferred← citeshttps://doi.org/10.1002/rcn.1710openalex-snapshot
Cooperative adaptive sampling of random fields with partially known covariance
inferred← citeshttps://doi.org/10.1002/rnc.1144openalex-snapshot
Consensus control for a class of networks of dynamic agents
inferred← citeshttps://doi.org/10.1002/rnc.1426openalex-snapshot
On robust control algorithms for nonlinear network consensus protocols
inferred← citeshttps://doi.org/10.1002/rnc.1641openalex-snapshot
Constructing consensus controllers for networks with identical general linear agents
inferred← citeshttps://doi.org/10.1002/rnc.1659openalex-snapshot
Coordination of discrete‐time multi‐agent systems via relative output feedback
inferred← citeshttps://doi.org/10.1002/rnc.1710openalex-snapshot
Cooperative adaptive sampling of random fields with partially known covariance
inferred← citeshttps://doi.org/10.1002/rnc.2783openalex-snapshot
The impact of multi‐group multi‐layer network structure on the performance of distributed consensus building strategies
inferred← citeshttps://doi.org/10.1002/rnc.4783openalex-snapshot
Distributed resilient estimation over sensor networks for nonlinear time‐delayed systems with stochastic perturbations
inferred← citeshttps://doi.org/10.1002/rnc.4834openalex-snapshot
An event‐triggered approach to quantized resilient consensus
inferred← citeshttps://doi.org/10.1002/wcm.661openalex-snapshot
Coverage and connectivity in three‐dimensional underwater sensor networks
inferred← citeshttps://doi.org/10.1006/jagm.2000.1110openalex-snapshot
The Las-Vegas Processor Identity Problem (How and When to Be Unique)
inferred← citeshttps://doi.org/10.1007/11429647_15openalex-snapshot
An Improved Algorithm for Adaptive Condition-Based Consensus
inferred← citeshttps://doi.org/10.1007/11429647_4openalex-snapshot
On Private Computation in Incomplete Networks
inferred← citeshttps://doi.org/10.1007/11494744_14openalex-snapshot
Termination Properties of TCP’s Connection Management Procedures
inferred← citeshttps://doi.org/10.1007/11494744_20openalex-snapshot
On the Expressive Power of Petri Net Schemata
inferred← citeshttps://doi.org/10.1007/11562436_13openalex-snapshot
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems
inferred← citeshttps://doi.org/10.1007/11564751_6openalex-snapshot
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
inferred← citeshttps://doi.org/10.1007/11575863_72openalex-snapshot
Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions
inferred← citeshttps://doi.org/10.1007/11603009_3openalex-snapshot
Translating Timed I/O Automata Specifications for Theorem Proving in PVS
inferred← citeshttps://doi.org/10.1007/11780823_25openalex-snapshot
Approximate Top-k Queries in Sensor Networks
inferred← citeshttps://doi.org/10.1007/11783565_3openalex-snapshot
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System
inferred← citeshttps://doi.org/10.1007/11804192_9openalex-snapshot
Separation Results Via Leader Election Problems
inferred← citeshttps://doi.org/10.1007/3-540-36384-x_23openalex-snapshot
Using Simulated Execution in Verifying Distributed Algorithms
inferred← citeshttps://doi.org/10.1007/3-540-36978-3_22openalex-snapshot
Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network
inferred← citeshttps://doi.org/10.1007/3-540-44803-9_20openalex-snapshot
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
inferred← citeshttps://doi.org/10.1007/3-540-44884-5_7openalex-snapshot
Distributed Admission Control for Heterogeneous Multicast with Bandwidth Guarantees
inferred← citeshttps://doi.org/10.1007/3-540-44895-0_12openalex-snapshot
Security in Business Process Engineering
inferred← citeshttps://doi.org/10.1007/3-540-45071-8_25openalex-snapshot
Group Mutual Exclusion Algorithms Based on Ticket Orders
inferred← citeshttps://doi.org/10.1007/3-540-45397-0_17openalex-snapshot
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study
inferred← citeshttps://doi.org/10.1007/3-540-45614-7_11openalex-snapshot
Verifying Erlang Code: A Resource Locker Case-Study
inferred← citeshttps://doi.org/10.1007/3-540-45627-9_8openalex-snapshot
Beyond the Turing Limit: Evolving Interactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_11openalex-snapshot
Comparing the Efficiency of Asynchronous Systems
inferred← citeshttps://doi.org/10.1007/3-540-48778-6_4openalex-snapshot
Root Contention in IEEE 1394
inferred← citeshttps://doi.org/10.1007/978-0-387-30162-4_140openalex-snapshot
Failure Detectors
inferred← citeshttps://doi.org/10.1007/978-0-387-68845-9_12openalex-snapshot
Distributed coverage of nonconvex environments
inferred← citeshttps://doi.org/10.1007/978-1-4020-8737-0_58openalex-snapshot
Performance Evaluation of Distance Vector Routing Protocol on a Wireless Circular Model
inferred← citeshttps://doi.org/10.1007/978-1-4419-7393-1_8openalex-snapshot
Counting and Rendezvous: Two Applications of Distributed Consensus in Robotics
inferred← citeshttps://doi.org/10.1007/978-1-4471-2416-0_11openalex-snapshot
Dynamic Membership
inferred← citeshttps://doi.org/10.1007/978-1-4471-5102-9_213-1openalex-snapshot
Connectivity of Dynamic Graphs
inferred← citeshttps://doi.org/10.1007/978-1-4471-5173-9_3openalex-snapshot
The Computational Model
inferred← citeshttps://doi.org/10.1007/978-1-4757-3758-5_7openalex-snapshot
Automatically Synthesized Controllers for Distributed Assembly
inferred← citeshttps://doi.org/10.1007/978-1-4757-3789-9_14openalex-snapshot
Critical Density Thresholds in Distributed Wireless Networks
inferred← citeshttps://doi.org/10.1007/978-1-4939-2864-4_140openalex-snapshot
Failure Detectors
inferred← citeshttps://doi.org/10.1007/978-1-4939-2864-4_321openalex-snapshot
Randomization in Distributed Computing
inferred← citeshttps://doi.org/10.1007/978-1-4939-2864-4_60openalex-snapshot
Byzantine Agreement
inferred← citeshttps://doi.org/10.1007/978-3-030-00302-9_5openalex-snapshot
Pluggable Scheduling for the Reactor Programming Model
inferred← citeshttps://doi.org/10.1007/978-3-030-04630-9_12openalex-snapshot
Distributed Randomized Algorithms for PageRank Computation: Recent Advances
inferred← citeshttps://doi.org/10.1007/978-3-030-11245-5_19openalex-snapshot
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-21759-4_16openalex-snapshot
On Certifying Distributed Algorithms: Problem of Local Correctness
inferred← citeshttps://doi.org/10.1007/978-3-030-33672-1_8openalex-snapshot
Cyber Security for Voltage Control of Distribution Systems Under Data Falsification Attacks
inferred← citeshttps://doi.org/10.1007/978-3-030-40186-3_13openalex-snapshot
SoK: A Consensus Taxonomy in the Blockchain Era
inferred← citeshttps://doi.org/10.1007/978-3-030-62147-6_9openalex-snapshot
Stochastic Consensus Control of Multi-agent Systems under General Noises and Delays
inferred← citeshttps://doi.org/10.1007/978-3-030-68821-9_39openalex-snapshot
Large Scale Graph Based Network Forensics Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-91081-5_1openalex-snapshot
Distributed Computing with the Cloud
inferred← citeshttps://doi.org/10.1007/978-3-319-01695-5_12openalex-snapshot
Consensus in Networks of Discrete-Time Multi-agent Systems: Dynamical Topologies and Delays
inferred← citeshttps://doi.org/10.1007/978-3-319-03089-0_19openalex-snapshot
Automated Addition of Fault-Tolerance under Synchronous Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-10407-2_43openalex-snapshot
Distributed Average Consensus in Digraphs
inferred← citeshttps://doi.org/10.1007/978-3-319-19662-6_24openalex-snapshot
Safety in Vehicular Networks—on the Inevitability of Short-Range Directional Communications
inferred← citeshttps://doi.org/10.1007/978-3-319-25479-1_14openalex-snapshot
Wireless Sensor Networks and Satellite Simulation
inferred← citeshttps://doi.org/10.1007/978-3-319-28472-9_4openalex-snapshot
The Weakest Oracle for Symmetric Consensus in Population Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-28475-0_22openalex-snapshot
Structured Grid Algorithms Modelled with Complex Objects
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_7openalex-snapshot
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers
inferred← citeshttps://doi.org/10.1007/978-3-319-43994-5_10openalex-snapshot
On the Runtime of Universal Coating for Programmable Matter
inferred← citeshttps://doi.org/10.1007/978-3-319-46909-6_23openalex-snapshot
An Hierarchical Scheduled Algorithm for Data Dissemination in a Brown Planthopper Surveillance Network
inferred← citeshttps://doi.org/10.1007/978-3-319-49259-9_32openalex-snapshot
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model
inferred← citeshttps://doi.org/10.1007/978-3-319-49259-9_4openalex-snapshot
Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine
inferred← citeshttps://doi.org/10.1007/978-3-319-60225-7_3openalex-snapshot
Modularising Opacity Verification for Hybrid Transactional Memory
inferred← citeshttps://doi.org/10.1007/978-3-319-62238-5_2openalex-snapshot
A Self-Governing and Decentralized Network of Smart Objects to Share Electrical Power Autonomously
inferred← citeshttps://doi.org/10.1007/978-3-319-67531-2_29openalex-snapshot
Verifying the Output of a Distributed Algorithm Using Certification
inferred← citeshttps://doi.org/10.1007/978-3-319-69775-8_2openalex-snapshot
Machine Learning and Knowledge Extraction in Digital Pathology Needs an Integrative Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-72050-0_10openalex-snapshot
Evacuation from a Disc in the Presence of a Faulty Robot
inferred← citeshttps://doi.org/10.1007/978-3-319-72050-0_7openalex-snapshot
On the Smallest Grain of Salt to Get a Unique Identity
inferred← citeshttps://doi.org/10.1007/978-3-319-72089-0_6openalex-snapshot
Round and Communication Efficient Unconditionally-Secure MPC with $$t
inferred← citeshttps://doi.org/10.1007/978-3-319-73712-6_1openalex-snapshot
LOGO: A New Distributed Leader Election Algorithm in WSNs with Low Energy Consumption
inferred← citeshttps://doi.org/10.1007/978-3-319-91271-4_2openalex-snapshot
Distributed Adaptive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-92675-9_2openalex-snapshot
Counter Machines and Distributed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-95246-8_3openalex-snapshot
Interfaces for Stream Processing Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-98113-0_27openalex-snapshot
On the Security Properties of e-Voting Bulletin Boards
inferred← citeshttps://doi.org/10.1007/978-3-540-24663-3_11openalex-snapshot
Algorithmic Design for Communication in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-24773-9_8openalex-snapshot
Monodic ASMs and Temporal Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-27824-5_99openalex-snapshot
Link Management Protocol (LMP) Evaluation for SDH/Sonet
inferred← citeshttps://doi.org/10.1007/978-3-540-30186-8_1openalex-snapshot
The Synchronous Condition-Based Consensus Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-540-30186-8_17openalex-snapshot
Virtual Mobile Nodes for Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-30186-8_5openalex-snapshot
The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-540-32033-3_24openalex-snapshot
Proving Positive Almost-Sure Termination
inferred← citeshttps://doi.org/10.1007/978-3-540-39866-0_32openalex-snapshot
Teams of Pushdown Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-39989-6_22openalex-snapshot
GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_29openalex-snapshot
Relating Fairness and Timing in Process Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-49823-0_11openalex-snapshot
Recovery Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-49823-0_2openalex-snapshot
A General Characterization of Indulgence
inferred← citeshttps://doi.org/10.1007/978-3-540-70583-3_7openalex-snapshot
Placement Inference for a Client-Server Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_21openalex-snapshot
Parallel SAT Solving in Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-72845-0_15openalex-snapshot
An Experimental Study of Stability in Heterogeneous Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_20openalex-snapshot
Operating Guidelines for Finite-State Services
inferred← citeshttps://doi.org/10.1007/978-3-540-74128-2_6openalex-snapshot
Checking Liveness Properties of Concurrent Systems by Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-540-74591-4_21openalex-snapshot
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_23openalex-snapshot
On the Message Complexity of Indulgent Consensus
inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_26openalex-snapshot
On the Communication Surplus Incurred by Faulty Processors
inferred← citeshttps://doi.org/10.1007/978-3-540-75414-5_8openalex-snapshot
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-76627-8_27openalex-snapshot
On the Probabilistic Omission Adversary
inferred← citeshttps://doi.org/10.1007/978-3-540-77024-4_41openalex-snapshot
Distributed Computation of Maximum Lifetime Spanning Subgraphs in Sensor Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-78800-3_22openalex-snapshot
On Verifying Fault Tolerance of Distributed Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-85238-4_2openalex-snapshot
On Synchronous and Asynchronous Interaction in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-85238-4_4openalex-snapshot
Deterministic Models of Communication Faults
inferred← citeshttps://doi.org/10.1007/978-3-540-85361-9_8openalex-snapshot
A Scalable and Oblivious Atomicity Assertion
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_16openalex-snapshot
Convergence Verification: From Shared Memory to Partially Synchronous Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_12openalex-snapshot
Constant-Space Localized Byzantine Consensus
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_20openalex-snapshot
On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_3openalex-snapshot
How to Solve Consensus in the Smallest Window of Synchrony
inferred← citeshttps://doi.org/10.1007/978-3-642-01492-5_13openalex-snapshot
Model Checking Linear-Time Properties of Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-03199-1_3openalex-snapshot
Dealing with Uncertainty in Consensus Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-04355-0_48openalex-snapshot
Brief Announcement: A Leader-free Byzantine Consensus Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_20openalex-snapshot
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-642-05118-0_26openalex-snapshot
Visiting Gafni’s Reduction Land: From the BG Simulation to the Extended BG Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-10230-1_7openalex-snapshot
On Exponential Lower Bound for Protocols for Reliable Communication in Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-11322-2_9openalex-snapshot
On Communication Complexity of Secure Message Transmission in Directed Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-11467-0_28openalex-snapshot
Discovering the Membrane Topology of Hyperdag P Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12566-9_3openalex-snapshot
Formal Reasoning about Software Object Translations
inferred← citeshttps://doi.org/10.1007/978-3-642-13523-1_7openalex-snapshot
Synchronization in P Modules
inferred← citeshttps://doi.org/10.1007/978-3-642-14623-7_31openalex-snapshot
Secure Multiparty Computation with Minimal Interaction
inferred← citeshttps://doi.org/10.1007/978-3-642-15277-1_55openalex-snapshot
The x-Wait-Freedom Progress Condition
inferred← citeshttps://doi.org/10.1007/978-3-642-15654-0_19openalex-snapshot
Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-18123-8_15openalex-snapshot
A Faster P Solution for the Byzantine Agreement Problem
inferred← citeshttps://doi.org/10.1007/978-3-642-19805-2_28openalex-snapshot
A Trace-Based View on Operating Guidelines
inferred← citeshttps://doi.org/10.1007/978-3-642-19829-8_4openalex-snapshot
A High-Level Language for Modeling Algorithms and Their Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_9openalex-snapshot
Model-Based Testing and Some Steps towards Test-Based Modelling
inferred← citeshttps://doi.org/10.1007/978-3-642-21461-5_7openalex-snapshot
A Framework for Verifying Data-Centric Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-22212-2_5openalex-snapshot
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_37openalex-snapshot
Developing a Consensus Algorithm Using Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-27848-8_611-1openalex-snapshot
BG Distributed Simulation Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-33359-0_3openalex-snapshot
Distributed Consensus and Coordination Control of Networked Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35668-1_24openalex-snapshot
Sublinear Bounds for Randomized Leader Election
inferred← citeshttps://doi.org/10.1007/978-3-642-39176-7_14openalex-snapshot
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-642-45435-6_5openalex-snapshot
Methods for the Design and Development
inferred← citeshttps://doi.org/10.1007/978-3-642-55146-8_20openalex-snapshot
Maximum-Leaf Spanning Trees for Efficient Multi-Robot Recovery with Connectivity Guarantees
inferred← citeshttps://doi.org/10.1007/978-3-642-56478-9_59openalex-snapshot
The Turing Machine Paradigm in Contemporary Computing
inferred← citeshttps://doi.org/10.1007/978-3-662-47666-6_42openalex-snapshot
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
inferred← citeshttps://doi.org/10.1007/978-981-33-4826-4_21openalex-snapshot
Fractal Analysis and Programming of Elastic Systems Using Container-Component Model
inferred← citeshttps://doi.org/10.1007/978-981-97-0688-4_3openalex-snapshot
Federated Machine Learning
inferred← citeshttps://doi.org/10.1007/s00145-023-09451-9openalex-snapshot
On the Communication Efficiency of Statistically Secure Asynchronous MPC with Optimal Resilience
inferred← citeshttps://doi.org/10.1007/s001459910004openalex-snapshot
Maintaining Authenticated Communication in the Presence of Break-Ins
inferred← citeshttps://doi.org/10.1007/s00165-011-0216-1openalex-snapshot
Atomicity failure and the retrenchment atomicity pattern
inferred← citeshttps://doi.org/10.1007/s00236-009-0092-9openalex-snapshot
Liveness of a mutex algorithm in a fair process algebra
inferred← citeshttps://doi.org/10.1007/s00236-012-0151-5openalex-snapshot
A trace-based service semantics guaranteeing deadlock freedom
inferred← citeshttps://doi.org/10.1007/s00236-015-0238-xopenalex-snapshot
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
inferred← citeshttps://doi.org/10.1007/s00236-023-00450-8openalex-snapshot
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications
inferred← citeshttps://doi.org/10.1007/s002360200080openalex-snapshot
An assertional criterion for atomicity
inferred← citeshttps://doi.org/10.1007/s00446-008-0055-3openalex-snapshot
Approximate distributed top-k queries
inferred← citeshttps://doi.org/10.1007/s00446-013-0188-xopenalex-snapshot
Locality and checkability in wait-free computing
inferred← citeshttps://doi.org/10.1007/s00446-016-0265-zopenalex-snapshot
Randomized mutual exclusion on a multiple access channel
inferred← citeshttps://doi.org/10.1007/s00446-016-0275-xopenalex-snapshot
A coded shared atomic memory algorithm for message passing architectures
inferred← citeshttps://doi.org/10.1007/s00446-020-00379-yopenalex-snapshot
Tractable low-delay atomic memory
inferred← citeshttps://doi.org/10.1007/s00446-024-00460-wopenalex-snapshot
Distributed computing with the cloud
inferred← citeshttps://doi.org/10.1007/s00453-023-01095-2openalex-snapshot
Transmitting Once to Elect a Leader on Wireless Networks
inferred← citeshttps://doi.org/10.1007/s00453-024-01250-3openalex-snapshot
Sublinear Algorithms in T-Interval Dynamic Networks
inferred← citeshttps://doi.org/10.1007/s10009-008-0096-8openalex-snapshot
A framework for robust active super tier systems
inferred← citeshttps://doi.org/10.1007/s10009-010-0168-4openalex-snapshot
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking
inferred← citeshttps://doi.org/10.1007/s10015-018-0473-7openalex-snapshot
Phototactic supersmarticles
inferred← citeshttps://doi.org/10.1007/s10458-018-9388-xopenalex-snapshot
A new distributed algorithm for efficient generalized arc-consistency propagation
inferred← citeshttps://doi.org/10.1007/s10586-024-04300-1openalex-snapshot
An improved cellular goore game-based consensus protocol for blockchain
inferred← citeshttps://doi.org/10.1007/s10817-020-09578-5openalex-snapshot
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems
inferred← citeshttps://doi.org/10.1007/s11047-017-9658-6openalex-snapshot
On the runtime of universal coating for programmable matter
inferred← citeshttps://doi.org/10.1007/s11276-009-0211-0openalex-snapshot
An approach for near-optimal distributed data fusion in wireless sensor networks
inferred← citeshttps://doi.org/10.1007/s11276-015-0925-0openalex-snapshot
Interference-free scheduling with minimum latency in cluster-based wireless sensor networks
inferred← citeshttps://doi.org/10.1007/s11277-021-08844-yopenalex-snapshot
Improving the Efficiency of Customer's Credit Rating with Machine Learning in Big Data Cloud Computing
inferred← citeshttps://doi.org/10.1007/s11424-010-7254-2openalex-snapshot
Distributed finite-time χ-consensus algorithms for multi-agent systems with variable coupling topology
inferred← citeshttps://doi.org/10.1007/s11424-014-1294-yopenalex-snapshot
Consensus and r-consensus problems for singular systems
inferred← citeshttps://doi.org/10.1007/s11704-014-4016-7openalex-snapshot
Generalized interface automata with multicast synchronization
inferred← citeshttps://doi.org/10.1007/s11704-015-4515-1openalex-snapshot
Big graph search: challenges and techniques
inferred← citeshttps://doi.org/10.1007/s12555-015-2010-yopenalex-snapshot
Mean square consensus of multi-agent systems with multiplicative noises and time delays under directed fixed topologies
inferred← citeshttps://doi.org/10.1007/s13222-020-00358-4openalex-snapshot
Towards Log-Less, Fine-Granular State Machine Replication
inferred← citeshttps://doi.org/10.1007/s41315-019-00111-5openalex-snapshot
A distributed approach for road clearance with multi-robot in urban search and rescue environment
inferred← citeshttps://doi.org/10.1007/s42401-021-00119-5openalex-snapshot
Optimal obstacle avoidance consensus formation control method for fixed-wing UAV with variable topology
inferred← citeshttps://doi.org/10.1016/b978-0-12-396500-4.00022-3openalex-snapshot
Integrated Sensor Systems and Data Fusion for Homeland Protection
inferred← citeshttps://doi.org/10.1016/b978-0-12-823698-7.00013-8openalex-snapshot
Performance of consensus algorithms
inferred← citeshttps://doi.org/10.1016/b978-0-44-319037-7.00023-5openalex-snapshot
Federated sequential decision making: Bayesian optimization, reinforcement learning, and beyond
inferred← citeshttps://doi.org/10.1016/j.artint.2014.03.002openalex-snapshot
Explorative anytime local search for distributed constraint optimization
inferred← citeshttps://doi.org/10.1016/j.automatica.2012.06.072openalex-snapshot
A control-theoretic approach to disseminating values and overcoming malicious links in wireless networks
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110621openalex-snapshot
Non-oscillating quantized average consensus over dynamic directed topologies
inferred← citeshttps://doi.org/10.1016/j.automatica.2024.111592openalex-snapshot
Mean-square exponential convergence for Byzantine-resilient distributed state estimation
inferred← citeshttps://doi.org/10.1016/j.bcra.2023.100179openalex-snapshot
Design and evaluation of Swift routing for payment channel network
inferred← citeshttps://doi.org/10.1016/j.dam.2020.10.022openalex-snapshot
Optimal strategies for selecting coordinators
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.01.035openalex-snapshot
Deductive Runtime Certification
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.11.027openalex-snapshot
Fairness of Components in System Computations
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.01.005openalex-snapshot
PVS Strategies for Proving Abstraction Properties of Automata
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.026openalex-snapshot
Verifying Concurrent Data Structures by Simulation
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.08.044openalex-snapshot
Derivation of a Scalable Lock-Free Stack Algorithm
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.10.044openalex-snapshot
Prototype Platforms for Distributed Agreements
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.019openalex-snapshot
Bounded Model Checking with Parametric Data Structures
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.043openalex-snapshot
Self Management and the Future of Software Design
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.009openalex-snapshot
Q-Automata: Modelling the Resource Usage of Concurrent Components
showing the first 200 of 595 · page through all 595
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.