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⟩
hal-01350631v1  Conference papers
Daniel BardouJean-Michel Adam. Sharing pedagogic practices and experience within an International Network of ISC Masters's programs
International conference “Education and sports in the prosperous epoch of the powerful state 2015", invited conference, at the invitation of the Ministry of Education of Turkmenistan, Nov 2015, Ashgabat, Turkmenistan. pp.258-259 (English), 432-433 (Russian), 57-58 (Turkmen)
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-01186211v1  Book sections
Arnaud ChauvièreFernando Peruani. Auto-organisation et agrégation cellulaire sans chimiotactisme : Instabilités, ordre et désordre associés à la densité
Angélique Stéphanou; Nicolas Glade. Le vivant critique et chaotique, Editions matériologiques,, pp.179-198, 2015, 978-2-919694-93-8
hal-01975989v1  Journal articles
Angélique StéphanouVitaly Volpert. Hybrid Modelling in Cell Biology
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2015, 10 (1), pp.1-1
hal-01257865v1  Journal articles
A HerbomelA. GrichineA FertinA. DelonC. Vourc'H et al.  Wavelet transform analysis of chromatin texture changes during heat shock
Journal of Microscopy, Wiley, 2015, 262 (3), pp.295 - 305
hal-02277542v1  Book sections
O. BerthetC. Demeilliers. Plantes à visée cardiovasculaire
Compléments alimentaires : les clés pour les conseiller à l'officine, RO-OFFICINA - Les Editions Le Moniteur des pharmacies, 2015, 9791090018877
hal-01121117v1  Journal articles
Rolf ClackdoyleLaurent Desbat. Data consistency conditions for truncated fanbeam and parallel projections
Medical Physics, American Association of Physicists in Medicine, 2015, 42 (2), pp.831-845. ⟨10.1118/1.4905161⟩
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-01905005v1  Conference papers
Renaud PersoonsJulie CatDominique BicoutAnne Maitre. Reconstructing inhalation exposures from activity patterns and task-based monitoring data: a case study in laboratories
10th International Occupational Hygiene Association (IOHA), international scientific conference, Apr 2015, Londres, United Kingdom
hal-01904842v1  Conference papers
Simon LutierDamien BarbeauRenaud PersoonsMarie MarquesAnne Maitre. What are the best metabolites of gaseous Polycyclic Aromatic Hydrocarbons to perform occupational biomonitoring ?
51st Congress of the European Societies of Toxicology (EUROTOX), Sep 2015, Porto, Portugal