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 869


1 377

Evolution of ressources



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