Maria Gradinariu 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
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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maria Gradinariu Potop-Butucaru