Publications


Articles dans des revues internationales avec comité de lecture

[1] 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