Metabolic Network Completion. Compute minimal completions to your draft network with reactions from a repair network.
Reasoning on the response of logical signaling networks with Answer Set Programming
Compute minimal metabolic precursors sets that enable the production of target metabolites.
Design experiments to differentiate interaction graph models.
A tool for consistency based analysis of influence graphs and observed systems behavior.
A convenience wrapper for the ASP tools gringo, gringo4 and clasp.
Influence graph analysis, consistency check, diagnosis, repair and prediction.
A graphical user interface for meneco.
A module finder.
Finding shortest genome segments that regulate metabolic pathways.
Finding shortest genome segments that regulate metabolic pathways