The following pages link to Maria Gradinariu Potop-Butucaru (Q635329):
Displayed 32 items.
- (Q300240) (redirect page) (← links)
- Gathering fat mobile robots with slim omnidirectional cameras (Q300242) (← links)
- A super-stabilizing \(\log(n)\)-approximation algorithm for dynamic Steiner trees (Q388463) (← links)
- Self-stabilizing Byzantine asynchronous unison (Q455967) (← links)
- Dynamic FTSS in asynchronous systems: the case of unison (Q551164) (← links)
- Self-stabilizing minimum degree spanning tree within one from the optimal degree (Q635330) (← links)
- The cost of probabilistic agreement in oblivious robot networks (Q656601) (← links)
- Tight bound on mobile Byzantine agreement (Q897904) (← links)
- Optimal Byzantine-resilient convergence in uni-dimensional robot networks (Q986551) (← links)
- On asynchronous rendezvous in general graphs (Q1625604) (← links)
- On time complexity for connectivity-preserving scattering of mobile robots (Q1643151) (← links)
- Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register (Q1686114) (← links)
- Approximate agreement under mobile Byzantine faults (Q1755583) (← links)
- Stabilizing data-link over non-FIFO channels with optimal fault-resilience (Q1944165) (← links)
- Flocking with oblivious robots (Q2007897) (← links)
- Foremost non-stop journey arrival in linear time (Q2097355) (← links)
- Optimal self-stabilizing mobile Byzantine-tolerant regular register with bounded timestamps (Q2110369) (← links)
- Self-stabilizing gathering of mobile robots under crash or Byzantine faults (Q2204778) (← links)
- Parameterized verification of algorithms for oblivious robots on a ring (Q2225474) (← links)
- Practically stabilizing SWMR atomic memory in message-passing systems (Q2256720) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Lower and upper bounds for deterministic convergecast with labeling schemes (Q2693630) (← links)
- Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems (Q2796285) (← links)
- Physical Expander in Virtual Tree Overlay (Q3095318) (← links)
- Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots (Q3569125) (← links)
- Exclusive Perpetual Ring Exploration without Chirality (Q3588311) (← links)
- Fast Self-stabilizing Minimum Spanning Tree Construction (Q3588324) (← links)
- A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property (Q3646240) (← links)
- Correctness of Tendermint-Core Blockchains (Q5091090) (← links)
- Optimal Mobile Byzantine Fault Tolerant Distributed Storage (Q5361945) (← links)
- Game Theoretical Framework for Analyzing Blockchains Robustness (Q6083417) (← links)
- Brief Announcement: Probabilistic Dynamic Input/Output Automata (Q6202189) (← links)