Filter your results
- 4
- 393
- 1
- 3
- 1
- 4
- 1
- 2
- 2
- 4
- 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
|
Asynchronous multi-splitting method for linear and pseudo-linear problemsAdvances in Engineering Software, 2019, Advances in Engineering Software (ISSN: 0965-9978), 133, pp.76-95. ⟨10.1016/j.advengsoft.2019.03.001⟩
Journal articles
hal-02381885v1
|
|||
Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation2019 Annual Computer Security Applications Conference (ACSAC’19), Dec 2019, San Juan, Puerto Rico
Conference papers
hal-02305914v1
|
|||
|
PGxCorpus, a manually annotated corpus for pharmacogenomicsScientific Data , 2020, 7, pp.3. ⟨10.1038/s41597-019-0342-9⟩
Journal articles
hal-02547607v1
|
||
Fireplug: Efficient and Robust Geo-Replication of Graph DatabasesIEEE Transactions on Parallel and Distributed Systems, 2020, 31 (8), pp.1942-1953. ⟨10.1109/TPDS.2020.2981019⟩
Journal articles
hal-02868732v1
|