publicaciones seleccionadas documento Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models 2024 Fast Simulation of Laser Heating Processes on Thin Metal Plates with FFT Using CPU/GPU Hardware 2020-05-08