Maria Potop-Butucaru

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
Brief Announcement: Probabilistic Dynamic Input/Output Automata	2024-03-26	Paper
Game Theoretical Framework for Analyzing Blockchains Robustness	2023-12-08	Paper
Brief announcement: Game theoretical framework for analyzing blockchains robustness	2023-11-02	Paper
Lower and upper bounds for deterministic convergecast with labeling schemes	2023-03-24	Paper
Optimal self-stabilizing mobile Byzantine-tolerant regular register with bounded timestamps	2022-12-21	Paper
Foremost non-stop journey arrival in linear time	2022-11-11	Paper
Correctness of Tendermint-Core Blockchains	2022-07-21	Paper
Parameterized verification of algorithms for oblivious robots on a ring	2021-02-08	Paper
Self-stabilizing gathering of mobile robots under crash or Byzantine faults	2020-10-16	Paper
Flocking with oblivious robots	2019-11-22	Paper
Approximate agreement under mobile Byzantine faults	2019-01-10	Paper
On asynchronous rendezvous in general graphs	2018-11-29	Paper
On time complexity for connectivity-preserving scattering of mobile robots	2018-06-18	Paper
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register	2017-12-20	Paper
Optimal Mobile Byzantine Fault Tolerant Distributed Storage	2017-09-29	Paper
Formal verification of mobile robot protocols	2017-06-22	Paper
Gathering fat mobile robots with slim omnidirectional cameras	2016-06-27	Paper
Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract)	2016-03-23	Paper
Tight bound on mobile Byzantine agreement	2015-12-08	Paper
Practically stabilizing SWMR atomic memory in message-passing systems	2015-02-20	Paper
A super-stabilizing \(\log(n)\)-approximation algorithm for dynamic Steiner trees	2013-12-19	Paper
Stabilizing data-link over non-FIFO channels with optimal fault-resilience	2013-04-04	Paper
Self-stabilizing Byzantine asynchronous unison	2012-10-23	Paper
The cost of probabilistic agreement in oblivious robot networks	2012-01-18	Paper
Physical Expander in Virtual Tree Overlay	2011-10-28	Paper
Self-stabilizing minimum degree spanning tree within one from the optimal degree	2011-08-19	Paper
Dynamic FTSS in asynchronous systems: the case of unison	2011-07-14	Paper
Exclusive Perpetual Ring Exploration without Chirality	2010-09-10	Paper
Fast Self-stabilizing Minimum Spanning Tree Construction	2010-09-10	Paper
Optimal Byzantine-resilient convergence in uni-dimensional robot networks	2010-08-11	Paper
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots	2010-06-17	Paper
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property	2009-11-19	Paper

Research outcomes over time

This page was built for person: Maria Potop-Butucaru