Explore projects

Towards a reproducible research study with Guix

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

Towards a reproducible research study

An experimental study based on the test_FEMBEM solver

Vers une étude scientifique expérimentale reproductible avec Guix

Binary analysis program. Looks at a CFG and analyzes its bits.

Bibliography collection

Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Differential equations simulation representing Salmonella infection

Generates a bibliography for our website.

Coq formalization of Tes.

The LocARNA 2.0 bookchapter (for Ronny)