|
 
|
Maria Potop-Butucaru
|
Laboratoire: LIP6 (FR) |
Publications
2016
- [BPR16] L. Blin, M. Potop-Butucaru, S. Rovedakis, S. Tixeuil. "A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property", The Computer Journal, vol. 59(2), pp. 225-243, 2016, (doi:10.1093/comjnl/bxv110)
Revue Internationale avec comité de lecture
2015
- [CBM15] P. Courtieu, B. Bérard, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain. "[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems", International Journal of Informatics Society, vol. 7(3), pp. 101-114, 2015
Revue Internationale avec comité de lecture
2013
- [BPR13] L. Blin, M. Potop-Butucaru, S. Rovedakis. "A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees", Theorical Computer Science, vol. 500, pp. 90-112, 2013, (doi:http://dx.doi.org/10.1016/j.tcs.2013.07.003)
