Edit Profile (opens in new tab) Claret, Guillaume Co-Author Distance Author ID: claret.guillaume Published as: Claret, Guillaume Documents Indexed: 3 Publications since 2012 Co-Authors: 13 Co-Authors with 3 Joint Publications 320 Co-Co-Authors all top 5 Co-Authors 0 single-authored 1 Aizatulin, Mihhail 1 Borgström, Johannes 1 del Carmen González Huesca, Lourdes 1 Gordon, Andrew D. 1 Graepel, Thore 1 Mathieu, Michaël 1 Naccache, David 1 Nori, Aditya Vithal 1 Rajamani, Sriram K. 1 Régis-Gianas, Yann 1 Russo, Claudio V. 1 Seguin, Guillaume 1 Ziliani, Beta Serials Fields 2 Computer science (68-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 7 times in 7 Documents Cited by ▼ Year ▼ Lightweight proof by reflection using a posteriori simulation of effectful computation. Zbl 1317.68205 Claret, Guillaume; del Carmen González Huesca, Lourdes; Régis-Gianas, Yann; Ziliani, Beta 5 2013 A model-learner pattern for Bayesian reasoning. Zbl 1301.68179 Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio 2 2013 Lightweight proof by reflection using a posteriori simulation of effectful computation. Zbl 1317.68205 Claret, Guillaume; del Carmen González Huesca, Lourdes; Régis-Gianas, Yann; Ziliani, Beta 5 2013 A model-learner pattern for Bayesian reasoning. Zbl 1301.68179 Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio 2 2013 all cited Publications top 5 cited Publications all top 5 Cited by 18 Authors 3 Cruz-Filipe, Luís 3 Schneider-Kamp, Peter 2 Larsen, Kim Skak 1 Bengtson, Jesper 1 Borgström, Johannes 1 Broman, David 1 Chatterjee, Krishnendu 1 Dreyer, Derek R. 1 Goharshady, Ehsan Kafshdar 1 Krishnaswami, Neelakantan R. 1 Lundén, Daniel 1 Malecha, Gregory 1 Nanevski, Aleksandar 1 Novotný, Petr 1 Vafeiadis, Viktor 1 Zárevúcky, Jiří 1 Žikelić, {D}or{d}e 1 Ziliani, Beta Cited in 2 Serials 1 Journal of Automated Reasoning 1 Journal of Functional Programming Cited in 1 Field 7 Computer science (68-XX) Citations by Year