Filter your results
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Timed Systems through the Lens of Logic2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785684⟩
Conference papers
hal-03185736v1
|
||
|
A finite difference model for undefined end boundary to analyse the heat transfer in dry sandsInternational Journal of Geotechnical Engineering, 2022, 16 (2), pp.256-262. ⟨10.1080/19386362.2020.1854972⟩
Journal articles
hal-03053673v1
|