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 command-line application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm
Updated -
-
-
-
-
-
-
Updated
-
Updated
-
Updated