Explore projects

Set of Satellite Image Time Series Tools developed in C++ and Python.

An experimental study based on the test_FEMBEM solver

C++ header-only Timer library.

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

Python package for comprehensive benchmarking of feature selection methods

This project includes the R Code that implements the models and experiments presented in the SIGMOD2020 publication: "Data Series Progressive Similarity Search with Probabilistic Quality Guarantees"