Explore projects

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).

Rigorous evaluation of Abelian integrals for Hilbert 16th problem

Git folder for FM receiver in Julia

Julia Package to plot real time spectrum of signal using AbstractSDRs

This project provides the code of Abstra, an all-in-one dataset abstraction system.

It is developed with Java and use Postgres to store data.

This project provides the code of Abstra, an all-in-one dataset abstraction system.

It is developed in Java and uses Postgres to store data.

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