The List institute is committed to technological innovation in digital systems.
Its R&D activities encompass four main themes: factory of the future, cyber-physical systems, artificial intelligence and digital health.

HAL-LIST is an open archive where you can consult all LIST scientific publications deposited on HAL.

Click on the department name to consult its publications


Last submissions






1 868


1 384

Evolution of ressources



Reliability Dosimetry Computer architecture Frama-C Static analysis Spectrometry Nuclear instrumentation Uncertainty C programming language Monte Carlo methods STABILITY Computer vision Neural networks Image retrieval Verification Beta spectrum Radionuclide metrology Ultrasonic testing Decay data Fluorescence Actuators Sensors Computer software Gadolinium Haptic interfaces Security Non destructive testing Energy efficiency Classification Scheduling Benchmarking Modeling Monte Carlo simulations X-rays Identification Embedded systems Nuclear data Monitoring Model checking Non-destructive testing Nondestructive examination Deductive verification Calibration Monte Carlo simulation Simulation Radionuclide Virtual reality Half-life Elastic waves Robotics Gamma rays Optimization Complex networks MDE Cryptography Beta spectrometry Nanoparticles Radiotherapy Gamma-ray spectrometry Reflection Eddy current testing Symbolic execution Guided electromagnetic wave propagation Fiber Bragg gratings Algorithms Signal processing Metrology Radiation therapy UML Image processing Nanodiamond Robots Codes symbols Cameras Performance Gamma-rays Reflectometers Design Fault detection Time domain analysis Instrumentation Finite element method SLAM Simultaneous Localisation and Mapping Diffraction Defects Artificial intelligence Detectors Diamond Software testing Neutrons Nuclear Software engineering Ionizing radiations Semantics Neutron detection Optical fibers State of the art Computational linguistics Geometry Reflectometry