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 382

Evolution of ressources



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