Explore projects

Gathers technical materials to follow on what has been learnt and what is to be learnt

Differential equations simulation representing Salmonella infection

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

Generates a bibliography for our website.

Paper to add XOR and abelian group in ProVerif