Skip to Main content Skip to Navigation

hal-02949916v1  Conference papers
Mohammed Foughali. A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2020, Gangnueng (virtual conference), South Korea. pp.1-10, ⟨10.1109/RTCSA50079.2020.9203687⟩
tel-02554125v2  Theses
Rémy Boutonnet. Modular analysis of numerical properties by abstract interpretation
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
tel-02988031v1  Theses
Benjamin Farinier. Decision procedures for vulnerability analysis
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
tel-02964621v1  Theses
Xiao Xu. Generalisation of Alternating Automata over Infinite Alphabets
Computer Arithmetic. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM007⟩
tel-02915498v1  Theses
Xiao Xu. Generalisation of Alternating Automata over Infinite Alphabets
Formal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes, 2020. English
hal-02366602v1  Conference papers
Bernard ManuelBernard Gauthier-ManuelRutjaphan KateklumChristian PieralliSamlee Mankhetkorn et al.  Sensitivity enhancement of a fluorescent pH sensor by double silanization of the sensing surface
International Workshop on Functionalised Surfaces for Sensor Applications (Surfocap), May 2017, Besançon, France
tel-03080444v1  Habilitation à diriger des recherches
Stéphane Devismes. Versatility and Efficiency in Self-Stabilizing Distributed Systems
Computer Science [cs]. UNIVERSITE DE GRENOBLE, 2020
hal-03099405v1  Conference papers
Laurent DesbatRolf Clackdoyle. Calibration and data consistency in parallel and fan-beam linogram geometries
2019 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC), Oct 2019, Manchester, United Kingdom. pp.1-5, ⟨10.1109/NSS/MIC42101.2019.9059826⟩
hal-01217673v1  Journal articles
Fanny MorinHadrien CourtecuisseMatthieu ChabanasYohan Payan. Rest shape computation for highly deformable model of brain.
Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, 2015, 18 Suppl 1, pp.2006-2007. ⟨10.1080/10255842.2015.1070591⟩
hal-01200975v1  Conference papers
Guillaume BarbierPascal PerrierLucie MénardYohan PayanMark Tiede et al.  Acquisition of serial order in speech production: An ultrasound study of typical 4-year-old Canadian French children
Progress in Motor Control X, International Society for Motor Control, Jul 2015, Budapest, Hungary
hal-01200984v1  Conference papers
Guillaume BarbierPascal PerrierLucie MénardYohan PayanMark Tiede et al.  Speech planning in 4-year-old children versus adults: Acoustic and articulatory analyses
Interspeech 2015 - 16th Annual Conference of the International Speech Communication Association, International Speech Communication Association, Sep 2015, Dresden, Germany
hal-02565715v1  Journal articles
J-P GangneuxM-E BougnouxE DannaouiM CornetJ R Zahar. Invasive fungal diseases during COVID-19: We should be prepared
Journal of Medical Mycology / Journal de Mycologie Médicale, Elsevier Masson, 2020, 30 (2), pp.100971. ⟨10.1016/j.mycmed.2020.100971⟩
hal-01197114v1  Conference papers
Saman NoorzadehBertrand RivetPierre-Yves Guméry. An Application of Gaussian Processes on Ocular Artifact Removal from EEG
EMBC 2015 - 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Aug 2015, Milan, Italy
hal-01208418v1  Conference papers
Saman NoorzadehBertrand RivetPierre-Yves Guméry. A multi-modal approach using a non-parametric model to extract fetal ECG
ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2015, Brisbane, Australia. ⟨10.1109/ICASSP.2015.7178086⟩
hal-01872446v1  Conference papers
Christopher MasriGéraldine PenvenGrégory ChagnonDenis Favier. Caractérisation et modélisation de polymères PVA
22ème Congrès Français de Mécanique, Aug 2015, Lyon, France
hal-01837659v1  Journal articles
Roberta MarchioneDavid LaurinLavinia LiguoriM.P. LeibovitchS.A. Leibovitch et al.  MD11-mediated delivery of recombinant eIF3f induces melanoma and colorectal carcinoma cell death
Molecular Therapy - Methods and Clinical Development, Nature Publishing Group, 2015, 2, pp.1-10. ⟨10.1038/mtm.2014.56⟩