Details
Title
Pedrosa, Luis David
Sciper ID
276547
Publications
14 MeV calibration of JET neutron detectors-phase 1: calibration and characterization of the neutron source
A Formally Verified NAT
Analysis of deposited layers with deuterium and impurity elements on samples from the divertor of JET with ITER-like wall
Automated Synthesis of Adversarial Workloads for Network Functions
Neutron spectroscopy measurements of 14 MeV neutrons at unprecedented energy resolution and implications for deuterium-tritium fusion plasma diag[...]
Performance Contracts for Software Network Functions
Population modelling of the He II energy levels in tokamak plasmas: I. Collisional excitation model
Tritium distributions on W-coated divertor tiles used in the third JET ITER-like wall campaign
Verifying Software Network Functions with No Verification Expertise
A Formally Verified NAT
Analysis of deposited layers with deuterium and impurity elements on samples from the divertor of JET with ITER-like wall
Automated Synthesis of Adversarial Workloads for Network Functions
Neutron spectroscopy measurements of 14 MeV neutrons at unprecedented energy resolution and implications for deuterium-tritium fusion plasma diag[...]
Performance Contracts for Software Network Functions
Population modelling of the He II energy levels in tokamak plasmas: I. Collisional excitation model
Tritium distributions on W-coated divertor tiles used in the third JET ITER-like wall campaign
Verifying Software Network Functions with No Verification Expertise
Use for
Figueiredo Mascarenhas Moreira Pedrosa, Luis David
Link to search
All resources
Record appears in
Authorities > People