Pedro T. Monteiro (ptgm)

ptgm

Geek Repo

Company:IST - Univ Lisboa

Location:Lisboa, PT

Home Page:http://pedromonteiro.org

Github PK Tool:Github PK Tool


Organizations
epilog-tool

Pedro T. Monteiro's repositories

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

Language:CStargazers:2Issues:5Issues:0

BoolNetR2GINsim

Collection of scripts to generate random GINsim models using BoolNetR

Language:ShellStargazers:2Issues:3Issues:0

functionhood

[DEPRECATED] This repository is no longer maintained.

Language:JavaLicense:GPL-3.0Stargazers:1Issues:3Issues:0

pyfunctionhood

Local computation of immediate neighbours of a given monotone non-degenerate Boolean function

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

bifurcation

Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions

Language:JavaLicense:GPL-3.0Stargazers:0Issues:4Issues:0

Paper_2020_Sci_Rep_scripts

Paper 2019 Scientific Reports - Data and scripts for full reproducibility

Language:GnuplotLicense:GPL-3.0Stargazers:0Issues:1Issues:0