Maria Potop-Butucaru

According to our database1, Maria Potop-Butucaru authored at least 146 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
On time complexity for connectivity-preserving scattering of mobile robots.
Theor. Comput. Sci., 2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.
Theor. Comput. Sci., 2018

Blockchain Abstract Data Type.
IACR Cryptology ePrint Archive, 2018

Correctness and Fairness of Tendermint-core Blockchains.
IACR Cryptology ePrint Archive, 2018

Correctness and Fairness of Tendermint-core Blockchains.
CoRR, 2018

Blockchain Abstract Data Type.
CoRR, 2018

BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks.
CoRR, 2018

2017
Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
CoRR, 2017

Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR, 2017

Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks.
CoRR, 2017

Convergecast in Wireless Body Area Networks.
Ad Hoc Networks, 2017

Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Bitcoin a Distributed Shared Register.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

BAN-GZKP: Optimal Zero Knowledge Proof Based Scheme for Wireless Body Area Networks.
Proceedings of the 14th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2017

Total Order Reliable Convergecast in WBAN.
Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Parameterized verification of algorithms for oblivious robots on a ring.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
Tight bound on mobile Byzantine Agreement.
Theor. Comput. Sci., 2016

ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach.
Future Generation Comp. Syst., 2016

Formal verification of mobile robot protocols.
Distributed Computing, 2016

ZeroBlock: Preventing Selfish Mining in Bitcoin.
CoRR, 2016

BANZKP: a Secure Authentication Scheme Using Zero Knowledge Proof for WBANs.
CoRR, 2016

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.
CoRR, 2016

Total Order Reliable Convergecast in WBAN.
CoRR, 2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR, 2016

Approximate Agreement under Mobile Byzantine Faults.
CoRR, 2016

Broadcast Strategies and Performance Evaluation of IEEE 802.15.4 in Wireless Body Area Networks WBAN.
CoRR, 2016

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
Comput. J., 2016

Flocking with Oblivious Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

BANZKP: A secure authentication scheme using zero knowledge proof for WBANs.
Proceedings of the 13th International Conference on New Technologies for Distributed Systems, 2016

BANZKP: A Secure Authentication Scheme Using Zero Knowledge Proof for WBANs.
Proceedings of the 13th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2016

Approximate Agreement under Mobile Byzantine Faults.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

Asynchronous Gathering in Rings with 4 Robots.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2015
Practically stabilizing SWMR atomic memory in message-passing systems.
J. Comput. Syst. Sci., 2015

Tight Mobile Byzantine Tolerant Atomic Storage.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems.
CoRR, 2015

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Broadcast Strategies in Wireless Body Area Networks.
Proceedings of the 18th ACM International Conference on Modeling, 2015

Stabilizing Byzantine-Fault Tolerant Storage.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014
Gathering fat mobile robots with slim omnidirectional cameras.
Theor. Comput. Sci., 2014

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering.
CoRR, 2014

Tight Bound on Mobile Byzantine Agreement.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013
A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees.
Theor. Comput. Sci., 2013

Fast Self-Stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme.
CoRR, 2013

When Expanders Help Self-Healing Distributed R-Tree Overlays.
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

2012
Self-stabilizing byzantine asynchronous unison.
J. Parallel Distrib. Comput., 2012

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Crash Resilient and Pseudo-Stabilizing Atomic Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011
Self-stabilizing minimum connected covers of query regions in sensor networks.
Wireless Communications and Mobile Computing, 2011

Dynamic FTSS in asynchronous systems: The case of unison.
Theor. Comput. Sci., 2011

Self-stabilizing minimum degree spanning tree within one from the optimal degree.
J. Parallel Distrib. Comput., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.
Inf. Process. Lett., 2011

Emergent velocity agreement in robot networks
CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
CoRR, 2011

Physical expander in Virtual Tree Overlay
CoRR, 2011

Physical Expander in Virtual Tree Overlay.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Distributed Computing with Mobile Robots: An Introductory Survey.
Proceedings of the 14th International Conference on Network-Based Information Systems, 2011

Enhancing Fault Tolerance of Distributed R-Tree.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Multi-resource Allocation with Unknown Participants.
Proceedings of the Second International Conference on Networking and Computing, 2011

2010
Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing.
IEEE Trans. Parallel Distrib. Syst., 2010

Optimal Byzantine-resilient convergence in uni-dimensional robot networks.
Theor. Comput. Sci., 2010

The cost of probabilistic agreement in oblivious robot networks.
Inf. Process. Lett., 2010

Stabilizing data-link over non-FIFO channels with optimal fault-resilience
CoRR, 2010

A framework for proving the self-organization of dynamic systems
CoRR, 2010

Practically Stabilizing Atomic Memory
CoRR, 2010

RoboCast: Asynchronous Communication in Robot Networks
CoRR, 2010

Fast Self-Stabilizing Minimum Spanning Tree Construction
CoRR, 2010

Universal Loop-Free Super-Stabilization
CoRR, 2010

Exclusive Perpetual Ring Exploration without Chirality.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Dynamically Reconfigurable Filtering Architectures.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Loop-Free Super-Stabilizing Spanning Tree Construction.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

A Framework for Secure and Private P2P Publish/Subscribe.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.
Proceedings of the Structural Information and Communication Complexity, 2010

Self-stabilizing tiny interaction protocols.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Self-stabilizing Byzantine Asynchronous Unison, .
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

RoboCast: Asynchronous Communication in Robot Networks.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

Enhanced DR-Tree for Low Latency Filtering in Publish/Subscribe Systems.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009
Self-Stabilizing Byzantine Asynchronous Unison
CoRR, 2009

Optimal deterministic ring exploration with oblivious asynchronous robots
CoRR, 2009

Byzantine Convergence in Robots Networks: The Price of Asynchrony
CoRR, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
CoRR, 2009

Optimal byzantine resilient convergence in oblivious robot networks
CoRR, 2009

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property
CoRR, 2009

Dynamic FTSS in Asynchronous Systems: the Case of Unison
CoRR, 2009

A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees
CoRR, 2009

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.
Proceedings of the Stabilization, 2009

A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees.
Proceedings of the Stabilization, 2009

Byzantine Convergence in Robot Networks: The Price of Asynchrony.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Self-stabilizing minimum-degree spanning tree within one from the optimal degree.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Byzantine-Resilient Convergence in Oblivious Robot Networks.
Proceedings of the Distributed Computing and Networking, 10th International Conference, 2009

2008
The cost of probabilistic gathering in oblivious robot networks
CoRR, 2008

Stabilizing token schemes for population protocols
CoRR, 2008

Bounds for self-stabilization in unidirectional networks
CoRR, 2008

2007
Managed Agreement: Generalizing two fundamental distributed agreement problems.
Inf. Process. Lett., 2007

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings.
Distributed Computing, 2007

On the Self-stabilization of Mobile Robots in Graphs
CoRR, 2007

Self* Minimum Connected Covers of Query Regions in Sensor Networks.
Proceedings of the Stabilization, 2007

Stabilizing Flocking Via Leader Election in Robot Networks.
Proceedings of the Stabilization, 2007

On the Self-stabilization of Mobile Robots in Graphs.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Conflict Managers for Self-stabilization without Fairness Assumption.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Stabilizing Peer-to-Peer Spatial Filters.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Content-Based Publish/Subscribe Using Distributed R-Trees.
Proceedings of the Euro-Par 2007, 2007

2006
Self-* Distributed Query Region Covering in Sensor Networks.
JACIC, 2006

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Self-stabilizing Wireless Connected Overlays.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks.
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Deterministic delta-Connected Overlay for Peer-to-Peer Networks.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe.
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

2005
Stabilizing mobile philosophers.
Inf. Process. Lett., 2005

Towards a Theory of Self-organization.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Self Distributed Query Region Covering in Sensor Networks.
Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Incentives for P2P Fair Resource Sharing.
Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

Towards a Theory of Self-organization.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Distributed Self-Minimum Connected Covering of a Query Region in Sensor Networks.
Proceedings of the 8th International Symposium on Parallel Architectures, 2005

P2P Architecture for Self-Atomic Memory.
Proceedings of the 8th International Symposium on Parallel Architectures, 2005

2004
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.
Comput. J., 2004

Locating cache proxies in manets.
Proceedings of the 5th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2004

An Architecture for Dynamic Scalable Self-Managed Persistent Objects.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
Self-Stabilizing Wormhole Routing on Ring Networks.
J. Inf. Sci. Eng., 2003

Anonymous Publish/Subscribe in P2P Networks.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Looking for a Common View for Mobile Worlds.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002
Token-Based Self-Stabilizing Uniform Algorithms.
J. Parallel Distrib. Comput., 2002

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Chicago J. Theor. Comput. Sci., 2002

Publish/subscribe scheme for mobile networks.
Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

Normality versus system mobility.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Self-Stabilizing Wormhole Routing on Ring Networks.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

2001
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.
Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Proceedings of the Distributed Computing, 14th International Conference, 2000

Self-stabilizing Vertex Coloration and Arbitrary Graphs.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.
Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

1999
Memory Space Requirements for Self-Stabilizing Leader Election Protocols.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999


  Loading...