sschivo/HSB2015
Paper for the HSB 2015 conference http://hsb2015.fi.muni.cz/ based on the one from FORTE 2015
Public GitHub Catalog
Discovered Sep 27, 2026
sschivo / ANIMO_old_v1
"Development" version of ANIMO: introduces (among other things) the support for "boolean-like" networks, a reactant-centered model and basic model checking with user interface. Extension for multi-core model checking is under way.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10124244GitHub System ID
sschivoOrganization / User
PublicVisibility
ActiveCatalog Status
More from sschivo
sschivo/BMC_Biology2015
Paper for BMC Biology aimed at this article collection: http://www.biomedcentral.com/bmcbiol/series/beyondmendel
sschivo/ANIMO_Manual
The manual for ANIMO 3
sschivo/Paper_FORTE2015
Paper for FORTE 2015 http://discotec2015.inria.fr/forte-2015-call-for-papers/