Skip to Main content Skip to Navigation
Help


...
hal-01298793v1  Journal articles
Zhibin YangJean-Paul BodeveixMamoun FilaliKai HuYongwang Zhao et al.  Towards a verified compiler prototype for the synchronous language SIGNAL
Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩
...
hal-02106219v1  Journal articles
Feng DingZiwei XuBoris YakobsonRobert YoungIan Kinloch et al.  Formation mechanism of peapod-derived double-walled carbon nanotubes
Physical Review B : Condensed matter and materials physics, American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩