Memory Space Requirements for Self-Stabilizing Leader Election Protocols. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (PODC, 1999)

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler. - Ajoy Kumar Datta; Maria Gradinariu; Sébastien Tixeuil (IPDPS, 2000)

Self-stabilizing Vertex Coloration and Arbitrary Graphs. - Maria Gradinariu; Sébastien Tixeuil (OPODIS, 2000)

Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler. - Maria Gradinariu; Colette Johnen (Euro-Par, 2001)

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion. - Maria Gradinariu; Sébastien Tixeuil (ICDCS, 2001)

Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (WSS, 2001)

Normality versus system mobility. - Maria Gradinariu (ICPADS, 2002)

Publish/subscribe scheme for mobile networks. - Emmanuelle Anceaume; Ajoy Kumar Datta; Maria Gradinariu; Gwendal Simon (POMC, 2002)

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. - Joffroy Beauquier; Ajoy Kumar Datta; Maria Gradinariu; Frédéric Magniette (Chic. J. Theor. Comput. Sci., 2002)

Token-Based Self-Stabilizing Uniform Algorithms. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen; Jérôme Olivier Durand-Lose (J. Parallel Distributed Comput., 2002)

Looking for a Common View for Mobile Worlds. - Maria Gradinariu; Michel Raynal; Gwendal Simon (FTDCS, 2003)

Anonymous Publish/Subscribe in P2P Networks. - Ajoy Kumar Datta; Maria Gradinariu; Michel Raynal; Gwendal Simon (IPDPS, 2003)

Self-Stabilizing Wormhole Routing on Ring Networks. - Ajoy Kumar Datta; Maria Gradinariu; Anthony B. Kenitzki; Sébastien Tixeuil (J. Inf. Sci. Eng., 2003)

An Architecture for Dynamic Scalable Self-Managed Persistent Objects. - Emmanuelle Anceaume; Roy Friedman; Maria Gradinariu; Matthieu Roy (CoopIS/DOA/ODBASE (2), 2004)

Locating cache proxies in manets. - Roy Friedman; Maria Gradinariu; Gwendal Simon (MobiHoc, 2004)

Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler. - Ajoy Kumar Datta; Maria Gradinariu; Sébastien Tixeuil (Comput. J., 2004)

P2P Architecture for Self-Atomic Memory. - Emmanuelle Anceaume; Maria Gradinariu; Vincent Gramoli; Antonino Virgillito (ISPAN, 2005)

Distributed Self-Minimum Connected Covering of a Query Region in Sensor Networks. - Ajoy Kumar Datta; Rajesh Patel; Maria Gradinariu (ISPAN, 2005)

Incentives for P2P Fair Resource Sharing. - Emmanuelle Anceaume; Maria Gradinariu; Aina Ravoaja (Peer-to-Peer Computing, 2005)

Towards a Theory of Self-organization. - Emmanuelle Anceaume; Xavier Défago; Maria Gradinariu; Matthieu Roy (DISC, 2005)

Stabilizing mobile philosophers. - Ajoy Kumar Datta; Maria Gradinariu; Michel Raynal (Inf. Process. Lett., 2005)

A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe. - Emmanuelle Anceaume; Maria Gradinariu; Ajoy Kumar Datta; Gwendal Simon; Antonino Virgillito (ICDCS, 2006)

Deterministic delta-Connected Overlay for Peer-to-Peer Networks. - Ajoy Kumar Datta; Maria Gradinariu; Antonino Virgillito (ISORC, 2006)

Self* Architecture for Trajectory Tracking in Wireless Sensor Networks. - Florent Claerhout; Ajoy Kumar Datta; Maria Gradinariu; Michel Hurfin (NCA, 2006)

Self-stabilizing Wireless Connected Overlays. - Vadim Drabkin; Roy Friedman; Maria Gradinariu (OPODIS, 2006)

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. - Xavier Défago; Maria Gradinariu; Stéphane Messika; Philippe Raipin Parvédy (DISC, 2006)

Self-* Distributed Query Region Covering in Sensor Networks. - Ajoy Kumar Datta; Maria Gradinariu; Preethi Linga; Philippe Raipin Parvédy (J. Aerosp. Comput. Inf. Commun., 2006)

Content-Based Publish/Subscribe Using Distributed R-Trees. - Silvia Bianchi; Pascal Felber; Maria Gradinariu (Euro-Par, 2007)

Stabilizing Peer-to-Peer Spatial Filters. - Silvia Bianchi; Ajoy Kumar Datta; Pascal Felber; Maria Gradinariu (ICDCS, 2007)

Conflict Managers for Self-stabilization without Fairness Assumption. - Maria Gradinariu; Sébastien Tixeuil (ICDCS, 2007)

On the Self-stabilization of Mobile Robots in Graphs. - Lélia Blin; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (OPODIS, 2007)

Stabilizing Flocking Via Leader Election in Robot Networks. - Davide Canepa; Maria Gradinariu Potop-Butucaru (SSS, 2007)

Self* Minimum Connected Covers of Query Regions in Sensor Networks. - Ajoy Kumar Datta; Maria Gradinariu Potop-Butucaru; Rajesh Patel; Ai Yamazaki (SSS, 2007)

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (Distributed Comput., 2007)

Managed Agreement: Generalizing two fundamental distributed agreement problems. - Emmanuelle Anceaume; Roy Friedman; Maria Gradinariu (Inf. Process. Lett., 2007)

Bounds for self-stabilization in unidirectional networks - Samuel Bernard; Stéphane Devismes; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (CoRR, 2008)

Stabilizing token schemes for population protocols - Davide Canepa; Maria Gradinariu Potop-Butucaru (CoRR, 2008)

The cost of probabilistic gathering in oblivious robot networks - Julien Clément 002; Xavier Défago; Maria Gradinariu Potop-Butucaru; Stéphane Messika (CoRR, 2008)

Byzantine-Resilient Convergence in Oblivious Robot Networks. - Zohir Bouzid; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (ICDCN, 2009)

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. - Samuel Bernard; Stéphane Devismes; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (IPDPS, 2009)

Byzantine Convergence in Robot Networks: The Price of Asynchrony. - Zohir Bouzid; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (OPODIS, 2009)

A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees. - Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis (SSS, 2009)

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. - Zohir Bouzid; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (SSS, 2009)

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. - Swan Dubois; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (DISC, 2009)

A Superstabilizing $ log(n)$-Approximation Algorithm for Dynamic Steiner Trees - Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis (CoRR, 2009)

Optimal byzantine resilient convergence in oblivious robot networks - Zohir Bouzid; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2009)

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks - Zohir Bouzid; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (CoRR, 2009)

Byzantine Convergence in Robots Networks: The Price of Asynchrony - Zohir Bouzid; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2009)

Enhanced DR-Tree for Low Latency Filtering in Publish/Subscribe Systems. - Luciana Arantes; Maria Gradinariu Potop-Butucaru; Pierre Sens 001; Mathieu Valero (AINA, 2010)

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. - Samuel Bernard; Stéphane Devismes; Katy Paroux; Maria Potop-Butucaru; Sébastien Tixeuil (ICDCN, 2010)

RoboCast: Asynchronous Communication in Robot Networks. - Zohir Bouzid; Shlomi Dolev; Maria Potop-Butucaru; Sébastien Tixeuil (OPODIS, 2010)

Self-stabilizing Byzantine Asynchronous Unison, . - Swan Dubois; Maria Gradinariu Potop-Butucaru; Mikhail Nesterenko; Sébastien Tixeuil (OPODIS, 2010)

Self-stabilizing tiny interaction protocols. - Davide Canepa; Maria Gradinariu Potop-Butucaru (WRAS, 2010)

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots. - Anissa Lamani; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (SIROCCO, 2010)

A Framework for Secure and Private P2P Publish/Subscribe. - Samuel Bernard; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (SSS, 2010)

Loop-Free Super-Stabilizing Spanning Tree Construction. - Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis; Sébastien Tixeuil (SSS, 2010)

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. - Taisuke Izumi; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (SSS, 2010)

Dynamically Reconfigurable Filtering Architectures. - Mathieu Valero; Luciana Arantes; Maria Gradinariu; Pierre Sens 001 (SSS, 2010)

Brief Announcement: Sharing Memory in a Self-stabilizing Manner. - Noga Alon; Hagit Attiya; Shlomi Dolev; Swan Dubois; Maria Gradinariu; Sébastien Tixeuil (DISC, 2010)

Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme. - Lélia Blin; Shlomi Dolev; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis (DISC, 2010)

Exclusive Perpetual Ring Exploration without Chirality. - Lélia Blin; Alessia Milani; Maria Potop-Butucaru; Sébastien Tixeuil (DISC, 2010)

Universal Loop-Free Super-Stabilization - Lélia Blin; Maria Potop-Butucaru; Stephane Rovedakis; Sébastien Tixeuil (CoRR, 2010)

Fast Self-Stabilizing Minimum Spanning Tree Construction - Lélia Blin; Shlomi Dolev; Maria Potop-Butucaru; Stephane Rovedakis (CoRR, 2010)

Practically Stabilizing Atomic Memory - Noga Alon; Hagit Attiya; Shlomi Dolev; Swan Dubois; Maria Gradinariu; Sébastien Tixeuil (CoRR, 2010)

A framework for proving the self-organization of dynamic systems - Emmanuelle Anceaume; Xavier Défago; Maria Potop-Butucaru; Matthieu Roy (CoRR, 2010)

The cost of probabilistic agreement in oblivious robot networks. - Julien Clément 002; Xavier Défago; Maria Gradinariu Potop-Butucaru; Taisuke Izumi; Stéphane Messika (Inf. Process. Lett., 2010)

Optimal Byzantine-resilient convergence in uni-dimensional robot networks. - Zohir Bouzid; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2010)

Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing. - Silvia Bianchi; Pascal Felber; Maria Gradinariu Potop-Butucaru (IEEE Trans. Parallel Distributed Syst., 2010)

Multi-resource Allocation with Unknown Participants. - Ajoy Kumar Datta; Lawrence L. Larmore; Stéphane Devismes; François Kawala; Maria Potop-Butucaru (ICNC, 2011)

Enhancing Fault Tolerance of Distributed R-Tree. - Mathieu Valero; Luciana Arantes; Maria Potop-Butucaru; Pierre Sens 001 (LADC, 2011)

Distributed Computing with Mobile Robots: An Introductory Survey. - Maria Potop-Butucaru; Michel Raynal; Sébastien Tixeuil (NBiS, 2011)

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. - François Bonnet 001; Alessia Milani; Maria Potop-Butucaru; Sébastien Tixeuil (OPODIS, 2011)

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. - Noga Alon; Hagit Attiya; Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil (SSS, 2011)

Physical Expander in Virtual Tree Overlay. - Taisuke Izumi; Maria Gradinariu Potop-Butucaru; Mathieu Valero (DISC, 2011)

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO - Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2011)

Emergent velocity agreement in robot networks - Davide Canepa; Xavier Défago; Taisuke Izumi; Maria Potop-Butucaru (CoRR, 2011)

Stabilizing data-link over non-FIFO channels with optimal fault-resilience. - Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil (Inf. Process. Lett., 2011)

Self-stabilizing minimum degree spanning tree within one from the optimal degree. - Lélia Blin; Maria Gradinariu Potop-Butucaru; Stephane Rovedakis (J. Parallel Distributed Comput., 2011)

Dynamic FTSS in asynchronous systems: The case of unison. - Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2011)

Self-stabilizing minimum connected covers of query regions in sensor networks. - Sajal K. Das 001; Ajoy Kumar Datta; Maria Gradinariu Potop-Butucaru; Rajesh Patel; Ai Yamazaki (Wirel. Commun. Mob. Comput., 2011)

Crash Resilient and Pseudo-Stabilizing Atomic Registers. - Shlomi Dolev; Swan Dubois; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (OPODIS, 2012)

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. - François Bonnet 001; Xavier Défago; Franck Petit; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (SSS, 2012)

Self-stabilizing byzantine asynchronous unison. - Swan Dubois; Maria Potop-Butucaru; Mikhail Nesterenko; Sébastien Tixeuil (J. Parallel Distributed Comput., 2012)

When Expanders Help Self-Healing Distributed R-Tree Overlays. - Taisuke Izumi; Maria Potop-Butucaru; Mathieu Valero (ISPDC, 2013)

A super-stabilizing log(n)log(n)-approximation algorithm for dynamic Steiner trees. - Lélia Blin; Maria Potop-Butucaru; Stephane Rovedakis (Theor. Comput. Sci., 2013)

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. - François Bonnet 001; Xavier Défago; Franck Petit; Maria Potop-Butucaru; Sébastien Tixeuil (SRDS Workshops, 2014)

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. - Laure Millet; Maria Potop-Butucaru; Nathalie Sznajder; Sébastien Tixeuil (SSS, 2014)

Gathering fat mobile robots with slim omnidirectional cameras. - Anthony Honorat; Maria Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2014)

Stabilizing Byzantine-Fault Tolerant Storage. - Silvia Bonomi; Maria Potop-Butucaru; Sébastien Tixeuil (IPDPS, 2015)

Broadcast Strategies in Wireless Body Area Networks. - Wafa Badreddine; Claude Chaudet; Federico Petruzzi; Maria Potop-Butucaru (MSWiM, 2015)

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. - Silvia Bonomi; Shlomi Dolev; Maria Potop-Butucaru; Michel Raynal (PODC, 2015)

Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems. - Silvia Bonomi; Shlomi Dolev; Maria Potop-Butucaru; Michel Raynal (CoRR, 2015)

Tight Mobile Byzantine Tolerant Atomic Storage. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru (CoRR, 2015)

Practically stabilizing SWMR atomic memory in message-passing systems. - Noga Alon; Hagit Attiya; Shlomi Dolev; Swan Dubois; Maria Potop-Butucaru; Sébastien Tixeuil (J. Comput. Syst. Sci., 2015)

Asynchronous Gathering in Rings with 4 Robots. - François Bonnet 001; Maria Potop-Butucaru; Sébastien Tixeuil (ADHOC-NOW, 2016)

Tight self-stabilizing mobile byzantine-tolerant atomic register. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru (ICDCN, 2016)

BANZKP: A secure authentication scheme using zero knowledge proof for WBANs. - Nesrine Khernane; Maria Potop-Butucaru; Claude Chaudet (NOTERE, 2016)

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (PODC, 2016)

Flocking with Oblivious Robots. - Davide Canepa; Xavier Défago; Taisuke Izumi; Maria Potop-Butucaru (SSS, 2016)

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property. - Lélia Blin; Maria Potop-Butucaru; Stephane Rovedakis; Sébastien Tixeuil (Comput. J., 2016)

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2016)

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -. - Xavier Défago; Maria Gradinariu Potop-Butucaru; Julien Clément 002; Stéphane Messika; Philippe Raipin Parvédy (CoRR, 2016)

ZeroBlock: Preventing Selfish Mining in Bitcoin. - Siamak Solat; Maria Potop-Butucaru (CoRR, 2016)

Formal verification of mobile robot protocols. - Béatrice Bérard; Pascal Lafourcade 001; Laure Millet; Maria Potop-Butucaru; Yann Thierry-Mieg; Sébastien Tixeuil (Distributed Comput., 2016)

ARMCO: Advanced topics in resource management for ubiquitous cloud computing: An adaptive approach. - Florin Pop; Maria Potop-Butucaru (Future Gener. Comput. Syst., 2016)

Tight bound on mobile Byzantine Agreement. - François Bonnet 001; Xavier Défago; Thanh Dang Nguyen; Maria Potop-Butucaru (Theor. Comput. Sci., 2016)

Multi-agent patrolling in dynamic environments. - Mehdi Othmani-Guibourg; Amal El Fallah Seghrouchni; Jean-Loup Farges; Maria Potop-Butucaru (ICA, 2017)

Total Order Reliable Convergecast in WBAN. - Gewu Bu; Maria Potop-Butucaru (ICDCN, 2017)

Optimal Storage under Unsynchronized Mobile Byzantine Faults. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (SRDS, 2017)

Bitcoin a Distributed Shared Register. - Emmanuelle Anceaume; Romaric Ludinard; Maria Potop-Butucaru; Frédéric Tronel (SSS, 2017)

Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin. - Siamak Solat; Maria Potop-Butucaru (SSS, 2017)

Convergecast in Wireless Body Area Networks. - Wafa Badreddine; Nesrine Khernane; Maria Potop-Butucaru; Claude Chaudet (Ad Hoc Networks, 2017)

Peak Transmission Rate Resilient Crosslayer Broadcast for Body Area Networks. - Wafa Badreddine; Maria Potop-Butucaru (CoRR, 2017)

Optimal Storage under Unsynchrononized Mobile Byzantine Faults. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2017)

Correctness of Tendermint-Core Blockchains. - Yackolley Amoussou-Guenou; Antonella Del Pozzo; Maria Potop-Butucaru; Sara Tucci Piergiovanni (OPODIS, 2018)

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (SSS, 2018)

BAN-GZKP: Optimal Zero Knowledge Proof based Scheme for Wireless Body Area Networks. - Gewu Bu; Maria Potop-Butucaru (Ad Hoc Networks, 2018)

FIFO Order reliable convergecast in WBAN. - Gewu Bu; Maria Potop-Butucaru (Comput. Networks, 2018)

Correctness and Fairness of Tendermint-core Blockchains. - Yackolley Amoussou-Guenou; Antonella Del Pozzo; Maria Potop-Butucaru; Sara Tucci Piergiovanni (IACR Cryptol. ePrint Arch., 2018)

Blockchain Abstract Data Type. - Emmanuelle Anceaume; Antonella Del Pozzo; Romaric Ludinard; Maria Potop-Butucaru; Sara Tucci Piergiovanni (IACR Cryptol. ePrint Arch., 2018)

Lightning Factories. - Alejandro Ranchal-Pedrosa; Maria Potop-Butucaru; Sara Tucci Piergiovanni (IACR Cryptol. ePrint Arch., 2018)

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru (Theor. Comput. Sci., 2018)

On time complexity for connectivity-preserving scattering of mobile robots. - Taisuke Izumi; Daichi Kaino; Maria Gradinariu Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2018)

Reliable Cross-Layer Protocol for Broadcast in Wireless Body Area Networks. - Wafa Badreddine; Maria Potop-Butucaru (ADHOC-NOW, 2019)

G-IOTA: Fair and confidence aware tangle. - Gewu Bu; Önder Gürcan; Maria Potop-Butucaru (INFOCOM Workshops, 2019)

Impact of network delays on Hyperledger Fabric. - Thanh Son Lam Nguyen; Guillaume Jourjon; Maria Potop-Butucaru; Kim Loan Thai (INFOCOM Workshops, 2019)

Markovian Model for Broadcast in Wireless Body Area Networks. - Bruno Baynat; Gewu Bu; Maria Potop-Butucaru (MobiWac, 2019)

Dissecting Tendermint. - Yackolley Amoussou-Guenou; Antonella Del Pozzo; Maria Potop-Butucaru; Sara Tucci Piergiovanni (NETYS, 2019)

Blockchain abstract data type: poster. - Emmanuelle Anceaume; Antonella Del Pozzo; Romaric Ludinard; Maria Potop-Butucaru; Sara Tucci Piergiovanni (PPoPP, 2019)

Scalable lightning factories for Bitcoin. - Alejandro Ranchal-Pedrosa; Maria Potop-Butucaru; Sara Tucci Piergiovanni (SAC, 2019)

HyperPubSub: Blockchain Based Publish/Subscribe. - Gewu Bu; Thanh Son Lam Nguyen; Maria Potop-Butucaru; Kim Loan Thai (SRDS, 2019)

Atomic Swapping Bitcoins and Ethers. - Léonard Lys; Arthur Micoulet; Maria Potop-Butucaru (SRDS, 2019)

Wireless Broadcast with optimal labelling. - Gewu Bu; Maria Potop-Butucaru (CoRR, 2019)

Rationals vs Byzantines in Consensus-based Blockchains. - Yackolley Amoussou-Guenou; Bruno Biais; Maria Potop-Butucaru; Sara Tucci Piergiovanni (CoRR, 2019)

Metamorphic IOTA. - Gewu Bu; Wassim Hana; Maria Potop-Butucaru (CoRR, 2019)

On asynchronous rendezvous in general graphs. - Evangelos Bampas; Lélia Blin; Jurek Czyzowicz; David Ilcinkas; Arnaud Labourel; Maria Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2019)

Approximate Agreement under Mobile Byzantine Faults. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2019)

Fault-Tolerant Mobile Robots. - Xavier Défago; Maria Potop-Butucaru; Sébastien Tixeuil (Distributed Computing by Mobile Entities, 2019)

Formal Methods for Mobile Robots. - Maria Potop-Butucaru; Nathalie Sznajder; Sébastien Tixeuil; Xavier Urbain (Distributed Computing by Mobile Entities, 2019)

Rational vs Byzantine Players in Consensus-based Blockchains. - Yackolley Amoussou-Guenou; Bruno Biais; Maria Potop-Butucaru; Sara Tucci Piergiovanni (AAMAS, 2020)

E-IOTA: an efficient and fast metamorphism for IOTA. - Gewu Bu; Wassim Hana; Maria Potop-Butucaru (BRAINS, 2020)

Game Theoretical Analysis of Cross-Chain Swaps. - Marianna Belotti; Stefano Moretti 001; Maria Potop-Butucaru; Stefano Secci (ICDCS, 2020)

Cross hyperledger fabric transactions. - Gewu Bu; Riane Haouara; Thanh Son Lam Nguyen; Maria Potop-Butucaru (CryBlock@MOBICOM, 2020)

Atomic cross chain swaps via relays and adapters. - Léonard Lys; Arthur Micoulet; Maria Potop-Butucaru (CryBlock@MOBICOM, 2020)

On the Encoding and Solving of Partial Information Games. - Yackolley Amoussou-Guenou; Souheib Baarir; Maria Potop-Butucaru; Nathalie Sznajder; Léo Tible; Sébastien Tixeuil (NETYS, 2020)

Wireless Broadcast with Short Labels. - Gewu Bu; Maria Potop-Butucaru; Mikaël Rabie (NETYS, 2020)

Blockchains and the Commons. - Maria Potop-Butucaru (NETYS, 2020)

Rational Behaviors in Committee-Based Blockchains. - Yackolley Amoussou-Guenou; Bruno Biais; Maria Potop-Butucaru; Sara Tucci Piergiovanni (OPODIS, 2020)

On Fairness in Committee-Based Blockchains. - Yackolley Amoussou-Guenou; Antonella Del Pozzo; Maria Potop-Butucaru; Sara Tucci Piergiovanni (Tokenomics, 2020)

Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness. - Paolo Zappalà; Marianna Belotti; Maria Potop-Butucaru; Stefano Secci (DISC, 2020)

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN. - Wafa Badreddine; Claude Chaudet; Federico Petruzzi; Maria Potop-Butucaru (Ad Hoc Networks, 2020)

Self-stabilizing gathering of mobile robots under crash or Byzantine faults. - Xavier Défago; Maria Potop-Butucaru; Philippe Raipin Parvédy (Distributed Comput., 2020)

Parameterized verification of algorithms for oblivious robots on a ring. - Arnaud Sangnier; Nathalie Sznajder; Maria Potop-Butucaru; Sébastien Tixeuil (Formal Methods Syst. Des., 2020)

Rational Behavior in Committee-Based Blockchains. - Yackolley Amoussou-Guenou; Bruno Biais; Maria Potop-Butucaru; Sara Tucci Piergiovanni (IACR Cryptol. ePrint Arch., 2020)

Game theoretical framework for analyzing Blockchains Robustness. - Paolo Zappalà; Marianna Belotti; Maria Potop-Butucaru; Stefano Secci (IACR Cryptol. ePrint Arch., 2020)

Probabilistic Dynamic Input Output Automata. - Pierre Civit; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2021)

R-SWAP: Relay based atomic cross-chain swap protocol. - Léonard Lys; Arthur Micoulet; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2021)

Principles of Blockchain Systems - Antonio Fernández Anta; Chryssis Georgiou; Maurice Herlihy; Maria Potop-Butucaru (Morgan & Claypool Publishers, 2021)

Resilience of IOTA Consensus. - Hamed Nazim Mamache; Gabin Mazué; Osama Rashid; Gewu Bu; Maria Potop-Butucaru (ICC, 2022)

Securing Wireless Payment-Channel Networks With Minimum Lock Time Windows. - Gabriel Antonio F. Rebello; Maria Potop-Butucaru; Marcelo Dias de Amorim; Otto Carlos M. B. Duarte (ICC, 2022)

PCNsim: A Flexible and Modular Simulator for Payment Channel Networks. - Gabriel Antonio F. Rebello; Gustavo Franco Camilo; Maria Potop-Butucaru; Miguel Elias M. Campista; Marcelo Dias de Amorim; Luís Henrique M. K. Costa (INFOCOM Workshops, 2022)

Topological Evolution Analysis of Payment Channels in the Lightning Network. - Gustavo Franco Camilo; Gabriel Antonio F. Rebello; Lucas Airam C. de Souza; Maria Potop-Butucaru; Marcelo Dias de Amorim; Miguel Elias M. Campista; Luís Henrique M. K. Costa (LATINCOM, 2022)

Brief Announcement: Probabilistic Dynamic Input/Output Automata. - Pierre Civit; Maria Potop-Butucaru (PODC, 2022)

Foremost Non-stop Journey Arrival in Linear Time. - Juan Villacis-Llobet; Binh-Minh Bui-Xuan; Maria Potop-Butucaru (SIROCCO, 2022)

Brief Announcement: Composable Dynamic Secure Emulation. - Pierre Civit; Maria Potop-Butucaru (SPAA, 2022)

Dynamic Probabilistic Input Output Automata. - Pierre Civit; Maria Potop-Butucaru (DISC, 2022)

Special issue on blockchain networks and distributed protocols. - Maria Potop-Butucaru; Ariel Orda; Maurice Herlihy; Stefano Secci (Ann. des Télécommunications, 2022)

TenderTee: Secure Tendermint. - Lionel Beltrando; Maria Potop-Butucaru; José Alfaro (IACR Cryptol. ePrint Arch., 2022)

Composable Dynamic Secure Emulation. - Pierre Civit; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2022)

Distributed Blockchain Price Oracle. - Léonard Lys; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2022)

TenderTee: Increasing the Resilience of Tendermint by using Trusted Environments. - Lionel Beltrando; Maria Potop-Butucaru; José Alfaro (ICDCN, 2023)

Game Theoretical Analysis of DAG-Ledgers Backbone. - Simone Galimberti; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2023)

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. - Silvia Bonomi; Antonella Del Pozzo; Maria Potop-Butucaru; Sébastien Tixeuil (Theor. Comput. Sci., 2023)

Lower and upper bounds for deterministic convergecast with labeling schemes. - Gewu Bu; Zvi Lotker; Maria Potop-Butucaru; Mikaël Rabie (Theor. Comput. Sci., 2023)

Data Poisoning Attacks in Gossip Learning. - Alexandre Pham; Maria Potop-Butucaru; Sébastien Tixeuil; Serge Fdida (AINA (2), 2024)

Secure Data Traceability for Mobile Data Collectors. - Bilel Zaghdoudi; Christine Hennebert; Maria Potop-Butucaru (FPS (1), 2024)

Emergent Peer-to-Peer Multi-Hub Topology. - Mohamed Amine Legheraba; Maria Potop-Butucaru; Sébastien Tixeuil; Serge Fdida (NCA, 2024)

Invited Paper: The Smart Contract Model. - Yackolley Amoussou-Guenou; Maurice Herlihy; Maria Potop-Butucaru; Sergio Rajsbaum (SSS, 2024)

Brief Announcement: A Self-* and Persistent Hub Sampling Service. - Mohamed Amine Legheraba; Maria Potop-Butucaru; Sébastien Tixeuil (SSS, 2024)

A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols. - Gabriel Antonio F. Rebello; Gustavo Franco Camilo; Lucas Airam C. de Souza; Maria Potop-Butucaru; Marcelo Dias de Amorim; Miguel Elias M. Campista; Luís Henrique M. K. Costa (IEEE Commun. Surv. Tutorials, 2024)

Distributed computation of temporal twins in periodic undirected time-varying graphs. - Lina Azerouk; Binh-Minh Bui-Xuan; Camille Palisoc; Maria Potop-Butucaru; Massinissa Tighilt (CoRR, 2024)

Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks. - Mohamed Amine Legheraba; Maria Potop-Butucaru; Sébastien Tixeuil (CoRR, 2024)

Byzantine Reliable Broadcast with One Trusted Monotonic Counter. - Yackolley Amoussou-Guenou; Lionel Beltrando; Maurice Herlihy; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2024)

Asynchronous Byzantine Consensus with Trusted Monotonic Counters. - Yackolley Amoussou-Guenou; Maurice Herlihy; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2024)

Blockchain-based decentralized identity system: Design and security analysis. - Gewu Bu; Serge Fdida; Maria Potop-Butucaru; Bilel Zaghdoudi (IACR Cryptol. ePrint Arch., 2024)

Challenger: Blockchain-based Massively Multiplayer Online Game Architecture. - Boris Chan Yip Hon; Bilel Zaghdoudi; Maria Potop-Butucaru; Sébastien Tixeuil; Serge Fdida (IACR Cryptol. ePrint Arch., 2024)

Public vs Private Blockchains lineage storage. - Bilel Zaghdoudi; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2024)

Mitigating Balancing Attack on Ethereum PoS. - Ahmad Atwi; Yackolley Amoussou-Guenou; Maria Potop-Butucaru; Bilel Zaghdoudi (AINA (2), 2025)

HEAL: Resilient and Self-* Hub-Based Learning. - Mohamed Amine Legheraba; Stefan Galkiewicz; Maria Potop-Butucaru; Sébastien Tixeuil (AINA (2), 2025)

ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning. - Tengfei An; Serge Fdida; Maria Potop-Butucaru; Sébastien Tixeuil (SPAA, 2025)

Byzantine Reliable Broadcast and Tendermint Consensus with trusted components. - Yackolley Amoussou-Guenou; Lionel Beltrando; Maurice Herlihy; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2025)

Blockchain-based Secure D2D localisation with adaptive precision. - Gewu Bu; Bilel Zaghdoudi; Maria Potop-Butucaru; Serge Fdida (IACR Cryptol. ePrint Arch., 2025)

Mobile Byzantine Agreement in a Trusted World. - Bo Pan; Maria Potop-Butucaru (IACR Cryptol. ePrint Arch., 2025)

The Smart Contract Model. - Yackolley Amoussou-Guenou; Maurice Herlihy; Sucharita Jayanti; Maria Potop-Butucaru; Sergio Rajsbaum (CoRR, 2025)

Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults. - Shlomi Dolev; Amit Hendin; Maurice Herlihy; Maria Potop-Butucaru; Elad Michael Schiller (CoRR, 2025)