Manamiary Bruno Andriamiarina

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Distributed Constraint Optimization Problems

Computational Efficiency

Computationally Efficient

Benchmark Datasets

Top Venues

Comput. Sci. Inf. Syst.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11 (1) (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM (2013)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT (2012)