Explore projects

An experimental study based on the test_FEMBEM solver

Towards a reproducible research study

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment

Towards a reproducible research study with Guix

LP-update policy and applications on multi-action RB

Grid'5000 Cheat Sheet

Custom latex files

Paper to add XOR and abelian group in ProVerif

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Diaporama pour la rencontre sur les logiciels libres de recherche

Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.