Publications


Articles dans des revues internationales avec comité de lecture

[1] A new effective unified model for solving the Pre-marshalling and Block Relocation Problems
Marcos de Melo da Silva, Sophie Toulouse, Roberto Wolfler Calvo
European Journal of Operational Research, 40-56, Elsevier, 1, 271, 2018

[2] The Block Retrieval Problem
Marcos de Melo da Silva, Gunes Erdogan, Maria Battarra, Vitaly Strusevich
European Journal of Operational Research, 931-950, Elsevier, 3, 265, 03, 2018

Communications dans des conférences internationales avec comité de lecture

[1] One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters
Coti, C. and Evangelista, S. and Petrucci, L.
24th International European Conference on Parallel and Distributed Computing (Euro-Par’18), Torino, Italy, SV, lncs, 08, 2018

[2] Quasi-Optimal Partial Order Reduction
Nguyen, H. T. T. and Rodríguez, C. and Sousa, M. and Coti, C. and Petrucci, L.
30th International Conference on Computer Aided Verification (CAV’18), Oxford, UK, Hana Chockler and Georg Weissenbacher, SV, lncs, 07, 2018