• 
  Georges da Costa, Marcos Dias de Assuncao, Jean-Patrick Gelas, Yiannis Georgiou, Laurent Lefèvre, et al.. Multi-Facet Approach to Reduce Energy Consumption in Clouds and Grids: The GREEN-NET Framework. International Conference on Energy-Efficient Computing and Networking (e-Energy), Apr 2010, Passau, Germany. pp.95-104, ⟨10.1145/1791314.1791329⟩. ⟨ensl-00517185⟩
• 
  Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard. Rewriting game theory as a foundation for sate-based models of gene regulation. International Conference on Computational Methods in Systems Biology (CMSB 2006), Oct 2006, Trento, Italy. pp.257-270, ⟨10.1007/11885191_18⟩. ⟨hal-00339800⟩
• 
  Ararat Harutyunyan, Tien-Nam Le, Stéphan Thomassé, Hehui Wu. Coloring tournaments: From local to global. Journal of Combinatorial Theory, Series B, 2019, 138, pp.166-171. ⟨10.1016/j.jctb.2019.01.005⟩. ⟨hal-02181518⟩
• 
  Florent Bréhard, Assia Mahboubi, Damien Pous. A certificate-based approach to formally verified approximations. ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩. ⟨hal-02088529v2⟩
• 
  Daniil Shantsev, Piyoosh Jaysaval, Sébastien de La Kethulle de Ryhove, Patrick Amestoy, Alfredo Buttari, et al.. Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver. Geophysical Journal International, 2017, 209 (3), pp.1558-1571. ⟨10.1093/gji/ggx106⟩. ⟨hal-01672952⟩

87

70