Search - École des Ponts ParisTech Access content directly

Filter your results

2 Results
Structure: Internal structure identifier : 54366
Image document

Timed Systems through the Lens of Logic

S. Akshay , Paul Gastin , Vincent Juge , Shankara Narayanan Krishna
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785684⟩
Conference papers hal-03185736v1
Image document

A finite difference model for undefined end boundary to analyse the heat transfer in dry sands

Somenath Mondal , Devendra N Singh , Anh Minh A.M. Tang , Jean-Michel Pereira
International Journal of Geotechnical Engineering, 2022, 16 (2), pp.256-262. ⟨10.1080/19386362.2020.1854972⟩
Journal articles hal-03053673v1