Skip to contents

  1. Gueneau, Armaël [Author] ; Université Paris Cité [Contributor]; Pottier, François [Contributor]; Charguéraud, Arthur [Contributor]

    Mechanized verification of the correctness and asymptotic complexity of programs : the right answer at the right time ; Vérification mécanisée de la correction et complexité asymptotique de programmes

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2019-12-16

  2. Guéneau, Armaël [Author]; Jourdan, Jacques-Henri [Author]; Charguéraud, Arthur [Author]; Pottier, François [Author] ; Armaël Guéneau and Jacques-Henri Jourdan and Arthur Charguéraud and François Pottier [Contributor]

    Formal Proof and Analysis of an Incremental Cycle Detection Algorithm

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  3. Blanc, Elodie [Author]; Strzepek, Kenneth M. [Author]; Schlosser, Adam [Author]; Jacoby, Henry D. [Author]; Gueneau, Arthur [Author]; Fant, Charles [Author]; Rausch, Sebastian [Author]; Reilly, John M. [Author]

    Modeling U.S. water resources under climate change

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    28 APR 2014

    Published in: Earth's future ; 2(2014), 4, Seite 197-224

  4. Robinson, Sherman [Author]; Mason-D'Croz, Daniel [Author]; Sulser, Timothy [Author]; Islam, Shahnila [Author]; Robertson, Ricky [Author]; Zhu, Tingju [Author]; Gueneau, Arthur [Author]; Pitois, Gauthier [Author]; Rosegrant, Mark W. [Author]

    The International Model for Policy Analysis of Agricultural Commodities and Trade (IMPACT) : Model Description for Version 3

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [S.l.]: SSRN, 2016

    Published in: IFPRI Discussion Paper ; 1483

  5. Robinson, Sherman [Author]; Mason-D'Croz, Daniel [Author]; Islam, Shahnila [Author]; Cenacchi, Nicola [Author]; Creamer, Bernardo [Author]; Gueneau, Arthur [Author]; Hareau, Guy [Author]; Kleinwechter, Ulrich [Author]; Mottaleb, Khondoker [Author]; Nedumaran, Swamikannu [Author]; Robertson, Ricky [Author]; Rosegrant, Mark W. [Author]; Sika, Gbegbelegbe [Author]; Sulser, Timothy [Author]; Wiebe, Keith [Author]

    Climate Change Adaptation in Agriculture : Ex Ante Analysis of Promising and Alternative Crop Technologies Using DSSAT and IMPACT

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [S.l.]: SSRN, 2016

    Published in: IFPRI Discussion Paper ; 1469

  7. Blanc, Elodie; Strzepek, Kenneth; Schlosser, Adam; Jacoby, Henry; Gueneau, Arthur; Fant, Charles; Rausch, Sebastian; Reilly, John

    Modeling U.S. water resources under climate change

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    American Geophysical Union (AGU), 2014

    Published in: Earth's Future, 2 (2014) 4, Seite 197-224

  9. Strzepek, Kenneth; Schlosser, Adam; Gueneau, Arthur; Gao, Xiang; Blanc, Élodie; Fant, Charles; Rasheed, Bilhuda; Jacoby, Henry D.

    Modeling water resource systems within the framework of the MIT Integrated Global System Model: IGSM‐WRS

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    American Geophysical Union (AGU), 2013

    Published in: Journal of Advances in Modeling Earth Systems, 5 (2013) 3, Seite 638-653

  11. Gruchet, Cécile; Guidez, Stephanie; Richez, Valentine; Hulin, Cyrille; Voog, Eric G.; Perrot, Aurore; Macro, Margaret; Decaux, Olivier; Pauline, Gueneau; Caillot, Denis; Stoppa, Anne-Marie; Lenain, Pascal; Lebreton, Pierre; Royer, Bruno; Lancesseur, Charles; Laribi, Kamel; Le Du, Katell; Moulin, Charline; Montes De Oca, Catalina; Jaccard, Arnaud; Benboubker, Lotfi; Chaleteix, Carine; Systchenko, Thomas; Moya, Niels; [...]

    Pomalidomide 3rd Line Versus 4th Line for RRMM

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    American Society of Hematology, 2018

    Published in: Blood, 132 (2018) Supplement 1, Seite 5633-5633