Maria Potop-Butucaru

From MaRDI portal
Person:635329

Available identifiers

zbMath Open potop-butucaru.maria-gradinariuDBLPp/MariaPotopButucaruWikidataQ102369182 ScholiaQ102369182MaRDI QIDQ635329

List of research outcomes





PublicationDate of PublicationType
Brief Announcement: Probabilistic Dynamic Input/Output Automata2024-03-26Paper
Game Theoretical Framework for Analyzing Blockchains Robustness2023-12-08Paper
Brief announcement: Game theoretical framework for analyzing blockchains robustness2023-11-02Paper
Lower and upper bounds for deterministic convergecast with labeling schemes2023-03-24Paper
Optimal self-stabilizing mobile Byzantine-tolerant regular register with bounded timestamps2022-12-21Paper
Foremost non-stop journey arrival in linear time2022-11-11Paper
Correctness of Tendermint-Core Blockchains2022-07-21Paper
Parameterized verification of algorithms for oblivious robots on a ring2021-02-08Paper
Self-stabilizing gathering of mobile robots under crash or Byzantine faults2020-10-16Paper
Flocking with oblivious robots2019-11-22Paper
Approximate agreement under mobile Byzantine faults2019-01-10Paper
On asynchronous rendezvous in general graphs2018-11-29Paper
On time complexity for connectivity-preserving scattering of mobile robots2018-06-18Paper
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register2017-12-20Paper
Optimal Mobile Byzantine Fault Tolerant Distributed Storage2017-09-29Paper
Formal verification of mobile robot protocols2017-06-22Paper
Gathering fat mobile robots with slim omnidirectional cameras2016-06-27Paper
Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract)2016-03-23Paper
Tight bound on mobile Byzantine agreement2015-12-08Paper
Practically stabilizing SWMR atomic memory in message-passing systems2015-02-20Paper
A super-stabilizing \(\log(n)\)-approximation algorithm for dynamic Steiner trees2013-12-19Paper
Stabilizing data-link over non-FIFO channels with optimal fault-resilience2013-04-04Paper
Self-stabilizing Byzantine asynchronous unison2012-10-23Paper
The cost of probabilistic agreement in oblivious robot networks2012-01-18Paper
Physical Expander in Virtual Tree Overlay2011-10-28Paper
Self-stabilizing minimum degree spanning tree within one from the optimal degree2011-08-19Paper
Dynamic FTSS in asynchronous systems: the case of unison2011-07-14Paper
Exclusive Perpetual Ring Exploration without Chirality2010-09-10Paper
Fast Self-stabilizing Minimum Spanning Tree Construction2010-09-10Paper
Optimal Byzantine-resilient convergence in uni-dimensional robot networks2010-08-11Paper
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots2010-06-17Paper
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property2009-11-19Paper

Research outcomes over time

This page was built for person: Maria Potop-Butucaru