Explore projects

Differential equations simulation representing Salmonella infection

Vers une étude scientifique expérimentale reproductible avec Guix

An experimental study based on the test_FEMBEM solver

Minimal working example of an experimental study

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

Paper to add XOR and abelian group in ProVerif

ProVerif symbolic protocol verifier

ProVerif symbolic protocol verifier

Preuve sur les algos de Parcoursup

Minimal working example of an experimental study written in Org mode

notes de thèse pour Pierre-Antoine Rault - dernier rapport