Skip to Main content Skip to Navigation


hal-01095002v1  Journal articles
Zhibin YangKai HuDianfu MaJean-Paul BodeveixLei Pi et al.  From AADL to timed abstract state machine: a certified model transformation
Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20
inserm-01102684v1  Journal articles
C PapagiannakiL SpelleA-C JanuelA BenaissaJ-Y Gauvrit et al.  WEB intrasaccular flow disruptor-prospective, multicenter experience in 83 patients with 85 aneurysms.
American Journal of Neuroradiology, American Society of Neuroradiology, 2014, pp.2106-11. ⟨10.3174/ajnr.A4028⟩
...
hal-01242268v1  Journal articles
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩