• 
  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩
• 
  Nicolas Peltier, Radu Iosif, Mnacho Echenim. Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems. [Research Report] VERIMAG/LIG/CNRS. 2020. ⟨hal-03088890⟩
• 
  Gerardo Rumindo, Jacques Ohayon, Pierre Croisille, Patrick Clarysse. In vivo estimation of normal left ventricular stiffness and contractility based on routine cine MR acquisition. Medical Engineering and Physics, Elsevier, 2020, 85, pp.16-26. ⟨10.1016/j.medengphy.2020.09.003⟩. ⟨hal-03093687⟩
• 
  Yanan Zhao, Cécile Garnaud, Marie-Pierre Brenier-Pinchart, Anne Thiébaut-Bertrand, Christel Saint-Raymond, et al.. Direct Molecular Diagnosis of Aspergillosis and CYP51A Profiling from Respiratory Samples of French Patients. Frontiers in Microbiology, Frontiers Media, 2016, 7, ⟨10.3389/fmicb.2016.01164⟩. ⟨hal-01470813⟩
• 
  Laurent Desbat, Simon Rit, Rolf Clackdoyle, Patrice Jalade, Julien Ribouton, et al.. Geometric tomography for measuring rectangular radiotherapy fields from six projections. 2019 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC), Oct 2019, Manchester, United Kingdom. pp.1-4, ⟨10.1109/NSS/MIC42101.2019.9059657⟩. ⟨hal-02888114⟩
• 
  Nicolas Gindrier, Rolf Clackdoyle, Simon Rit, Laurent Desbat. Sufficient field-of-view for the M-line method in cone-beam CT. 2020 IEEE Nuclear Science Symposium and Medical Imaging Conference (NSS/MIC), Oct 2020, Boston (virtual), United States. ⟨hal-03098423⟩
• 
  András Hatos, Borbála Hajdu-Soltész, Alexander Monzon, Nicolas Palopoli, Lucía Álvarez, et al.. DisProt: intrinsic protein disorder annotation in 2020. Nucleic Acids Research, Oxford University Press, 2019, ⟨10.1093/nar/gkz975⟩. ⟨hal-02414183⟩
• 
  Nikolaos Kekatos. Plotting Options with SpaceEx. 2021. ⟨hal-03091955⟩
• 
  Nikolaos Kekatos. A user-guide for running SpaceEx verification tool. [Research Report] Verimag Laboratory. 2020. ⟨hal-03091954⟩
• 
  Nikolaos Kekatos. Verifying a Cruise Control System using Simulink and SpaceEx. [Research Report] Verimag, Université Grenoble Alpes. 2020. ⟨hal-03091953⟩
• 
  Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos. ForFET-SMT: Quantitative SMT Analysis of Hybrid Automata using Features. 2020. ⟨hal-03091404⟩
• 
  Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos. Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET-SMT. 2020. ⟨hal-03091395⟩
• 
  Guillaume Brau, Mohammed Foughali. Contract-Based Verification of Model Transformations: A Formally Founded Approach. 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea. ⟨hal-03059942⟩
• 
  Christian Laugier, Igor Paromtchik. Automatic Parallel Parking and Returning to Traffic Maneuvers. IROS 1997 - International Conference on Intelligent Robots and Systems, Sep 1997, Grenoble, France. ⟨hal-03088658⟩
• 
  Stéphane Devismes. Versatility and Efficiency in Self-Stabilizing Distributed Systems. Computer Science [cs]. UNIVERSITE DE GRENOBLE, 2020. ⟨tel-03080444⟩
• 
  Dominique Faure, Guy Delrieu, Nicolas Gaussiat. Impact of the Altitudinal Gradients of Precipitation on the Radar QPE Bias in the French Alps. Atmosphere, MDPI 2019, 10 (6), pp.306. ⟨10.3390/atmos10060306⟩. ⟨hal-02405141⟩
• 
  Vivien Deloule, Claire Boisset, Dalil Hannani, Antonia Suau, Audrey Le Gouellec, et al.. Prebiotic role of softwood hemicellulose in healthy mice model. Journal of Functional Foods, Elsevier, 2020, 64, pp.103688. ⟨10.1016/j.jff.2019.103688⟩. ⟨hal-03013786⟩
• 
  Rolf Clackdoyle, Frederic Noo. Quantification of Tomographic Incompleteness in Cone-Beam Reconstruction. IEEE Transactions on Radiation and Plasma Medical Sciences, IEEE, In press, pp.1-1. ⟨10.1109/TRPMS.2019.2918222⟩. ⟨hal-02394478⟩
• 
  Aurélie Hennebique, Fabienne Gas, Hélène Batina, Cécilia de Araujo, Karine Bizet, et al.. Evaluation of the Biotoxis qPCR detection® kit for Francisella tularensis detection in clinical and environmental samples.. Journal of Clinical Microbiology, American Society for Microbiology, In press, ⟨10.1128/jcm.01434-20⟩. ⟨hal-03034358⟩
• 
  Marius Bozga, Radu Iosif, Joseph Sifakis. Checking deadlock-freedom of parametric component-based systems. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 119, pp.100621. ⟨10.1016/j.jlamp.2020.100621⟩. ⟨hal-03040227⟩

3 754

3 530