BibSonomy :: author  ::

bookmarks

publications

(15)

• The cost of probabilistic gathering in oblivious robot networks
  Julien Clement and Xavier Défago and Maria Gradinariu Potop-Butucaru and Stéphane Messika CoRR abs/0807.1753 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Stabilizing token schemes for population protocols
  Davide Canepa and Maria Gradinariu Potop-Butucaru CoRR abs/0806.3471 (2008)
  to dblp by dblp on 2008-07-02 00:00:00
  | URL | BibTeX  
• Bounds for self-stabilization in unidirectional networks
  Samuel Bernard and Stéphane Devismes and Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil CoRR abs/0805.0851 (2008)
  to dblp by dblp on 2008-06-01 00:00:00
  | URL | BibTeX  
• On the Self-stabilization of Mobile Robots in Graphs.
  Lélia Blin and Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil OPODIS 301-314 (2007)
  to dblp by dblp and 1 other person on 2008-05-13 00:00:00
  | URL | BibTeX  
• Necessary and sufficient conditions for deterministic desynchronization.
  Dumitru Potop-Butucaru and Robert de Simone and Yves Sorel EMSOFT 124-133 (2007)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• On the Self-stabilization of Mobile Robots in Graphs
  Lélia Blin and Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil CoRR abs/0708.0909 (2007)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Stabilizing Flocking Via Leader Election in Robot Networks.
  Davide Canepa and Maria Gradinariu Potop-Butucaru SSS 52-66 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Self* Minimum Connected Covers of Query Regions in Sensor Networks.
  Ajoy Kumar Datta and Maria Gradinariu Potop-Butucaru and Rajesh Patel and Ai Yamazaki SSS 204-218 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.
  Dumitru Potop-Butucaru and Benoît Caillaud Fundam. Inform. 78 131-159 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Concurrency in Synchronous Systems.
  Dumitru Potop-Butucaru and Benoît Caillaud and Albert Benveniste Formal Methods in System Design 28 111-130 (2006)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX