Filter your results
- 2
- 2
- 3
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Gamifying program analysisLogic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Conference papers
cea-01834979v1
|
||
|
Stream Ciphers: A Practical Solution for Efficient Homomorphic-Ciphertext CompressionJournal of Cryptology, 2018, 31 (3), pp.885-916. ⟨10.1007/s00145-017-9273-9⟩
Journal articles
hal-01650012v1
|
||
|
A meta-analysis of 1,119 manipulative experiments on terrestrial carbon-cycling responses to global changeNature Ecology & Evolution, 2019, 3 (9), pp.1309-1320. ⟨10.1038/s41559-019-0958-3⟩
Journal articles
hal-02895173v1
|
||
|
Airborne lidar measurements of aerosol spatial distribution and optical properties over the Atlantic Ocean during a European pollution outbreak of ACE-2Tellus B - Chemical and Physical Meteorology, 2000, 52 (2), pp.662-677. ⟨10.3402/tellusb.v52i2.17126⟩
Journal articles
hal-01637666v1
|