Explore projects

An example experimental research study based on the test_FEMBEM solver test suite WITHOUT using Guix and Org mode for reproducibility.

Simulation and modelling of the mango tree.

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