Explore projects

Updated


Updated

Updated

A program to search a good treedepth decomposition of a graph.
Updated 
Updated


Project Time Series analysis for the centuri summer school
Updated 
MinCoverPetri is a commandline application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm
Updated 






Updated

Updated

Updated