Pinned Repositories
bioLQM
toolkit for the manipulation and analysis of Logical Qualitative Models of biological regulatory networks
ECCB2020-T05
Material for the tutorial 05 of ECCB (Computational modelling of cellular processes: regulatory vs metabolic systems)
bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
bioNuSMV
bioNuSMV is a fork and extension of https://github.com/hklarner/NuSMV-a, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of the verification of qualitative regulatory networks
BoolNetR2GINsim
Collection of scripts to generate random GINsim models using BoolNetR
functionhood
[DEPRECATED] This repository is no longer maintained.
Paper_2020_Sci_Rep_scripts
Paper 2019 Scientific Reports - Data and scripts for full reproducibility
pyfunctionhood
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
CompSysBio2022
CompSysBio24
ptgm's Repositories
ptgm/bioNuSMV
bioNuSMV is a fork and extension of https://github.com/hklarner/NuSMV-a, which adds a handful of features to ease the use of model checking by biological modelers, in particular, in the context of the verification of qualitative regulatory networks
ptgm/BoolNetR2GINsim
Collection of scripts to generate random GINsim models using BoolNetR
ptgm/functionhood
[DEPRECATED] This repository is no longer maintained.
ptgm/pyfunctionhood
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
ptgm/bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
ptgm/Paper_2020_Sci_Rep_scripts
Paper 2019 Scientific Reports - Data and scripts for full reproducibility