Explore projects

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Indexation des données dans l'archive BUD

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

Reproduce the experimental results of an article currently under submission

"Assessing Software Abstractions inWCET Analysis of Reactive Programs"

cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf

A Wordpress plugin + reactJS app to display the current statistics of DBnary server.

This project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]

Code repository for the paper Jedynak et al., 2024

a clone of SIMPA for SMRE

The project contains Spherical Graph Convolutional Network (S-GCN) that processes 3D models of proteins represented as molecular graphs

Smooth Backbone-Reliant Orientation-Dependent Protein Quality Assessment

Public Code + Data: "How do modeling choices impact the representation of structural connectivity and the dynamics of suspended sediment fluxes in distributed soil erosion models ?" Magdalena Uber, Guillaume Nord, Cédric Legout and Luis Cea.