×

BIOCHAM

swMATH ID: 9927
Software Authors: Chabrier, N., Fages, F., Soliman, S.
Description: The Biochemical Abstract Machine (Biocham) is a modelling environment for systems biology, with some unique features for static analysis or for inferring unknown model parameters from temporal logic constraints. Biocham is mainly composed of : a rule-based language for modeling biochemical systems (compatible with SBML); several simulators (boolean, differential, stochastic), a temporal logic based language to formalize the temporal properties of a biological system and validate models with respect to such specifications, unique features for developing/correcting/completing/coupling models, including the inference of kinetic parameters in high dimension from temporal logic constraints. Biocham is a free software protected by the GNU General Public License GPL version 2. This is an Open Source license that allows free usage of this software. Feedback on the use of Biocham in applications, research or teaching are particularly welcomed.
Homepage: http://lifeware.inria.fr/biocham/
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; Celldesigner; NuSMV; KEGG; RoVerGeNe; DiVinE; COPASI; BlenX; NFsim; z3; BioModels; Breach; CMBSlib; Cellerator; APMC
Referenced in: 45 Publications
all top 5

Referenced by 83 Authors

9 Fages, François
7 Soliman, Sylvain
5 Calder, Muffy
4 Brim, Luboš
3 Bortolussi, Luca
3 Degasperi, Andrea
3 Maggiolo-Schettini, Andrea
3 Milazzo, Paolo
2 Andrei, Oana
2 Ballarini, Paolo
2 Barnat, Jiří
2 Cardelli, Luca
2 Černá, Ivana
2 Ciocchetta, Federica
2 Dražan, S.
2 Hillston, Jane
2 Pardini, Giovanni
2 Policriti, Alberto
2 Rizk, Aurélien
2 Šafránek, David
2 Tribastone, Mirco
2 Tschaikowski, Max
2 Vandin, Andrea
1 Allart, Emilie
1 Álvarez-Buylla Roces, María Elena
1 Amar, Patrick
1 Amir-Kroll, Hila
1 Barahona, Pedro
1 Baral, Chitta R.
1 Bartocci, Ezio
1 Baudier, Adrien
1 Bottani, Samuel
1 Carta, Alfonso
1 Červený, Jan
1 Češka, Milan
1 Chaves, Madalena
1 Chiarugi, Davide
1 Cohen, Irun R.
1 Credi, A.
1 Dávila-Velderrain, José
1 De Maria, Elisabetta
1 Domínguez-Hüttinger, Elisa
1 Drábik, Peter
1 Duflot, Marie
1 Fabriková, J.
1 Falaschi, Moreno
1 Garavelli, Marco
1 Gay, Steven
1 Grammaticos, Basil
1 Guerriero, Maria Luisa
1 Hagihara, Shigeki
1 Harel, David
1 Ichinose, Takuma
1 Ito, Sohei
1 Izumi, Naoko
1 Jha, Sumit Kumar
1 Krippahl, Ludwig
1 Kühn, Stefan
1 Laneve, Cosimo
1 Langmead, Christopher James
1 Martínez García, Juan Carlos
1 Martínez-Sánchez, Mariana Esther
1 Martinez, Thierry
1 Nenzi, Laura
1 Niehren, Joachim
1 Olarte, Carlos
1 Palamidessi, Catuscia
1 Paulevé, Loïc
1 Philippou, Anna
1 Pradalier, Sylvain
1 Psara, Kyriaki
1 Rosenblueth, David A.
1 Sadot, Avital
1 Šalagovič, Jakub
1 Sanguinetti, Guido
1 Shimakawa, Masaya
1 Silvi, S.
1 Stark, Ian
1 Troják, Matej
1 Ulidowski, Irek
1 Versari, Cristian
1 Yonezaki, Naoki
1 Zavattaro, Gianluigi

Referencing Publications by Year