Roberto Barbuti
Giulio Caravagna
Andrea Maggiolo-Schettini
Paolo Milazzo
Giovanni Pardini
2008
The calculus of looping sequences
Formal Methods for Computational Systems Biology
Springer
387–423
10.1007/978-3-540-68894-5_11
Roberto Barbuti
Andrea Maggiolo-Schettini
Paolo Milazzo
Angelo Troina
2006
A calculus of looping sequences for modelling microbiological systems
Fundamenta Informaticae
72
1
21–35
Michael L Blinov
James R Faeder
Byron Goldstein
William S Hlavacek
2004
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains
Bioinformatics
20
17
3289–3291
10.1093/bioinformatics/bth378
D. Bray
R.B. Bourret
1995
Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis.
Molecular biology of the cell
6
10
1367–1380
Federica Ciocchetta
Jane Hillston
2009
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
410
33
3065–3084
10.1016/j.tcs.2009.02.037
Allan Clark
Vashti Galpin
Stephen Gilmore
Maria Luisa Guerriero
Jane Hillston
2012
Formal methods for checking the consistency of biological models
Advances in Systems Biology
Springer
461–475
10.1007/978-1-4419-7210-1_27
Vincent Danos
Cosimo Laneve
2004
Formal molecular biology
Theoretical Computer Science
325
1
69–110
10.1016/j.tcs.2004.03.065
Peter Drábik
Andrea Maggiolo-Schettini
Paolo Milazzo
2012
On conditions for modular verification in systems of synchronising components
Fundamenta Informaticae
120
3
259–274
Peter Drábik
Andrea Maggiolo-Schettini
Paolo Milazzo
2012
Towards modular verification of pathways: fairness and assumptions
Proceedings of MeCBIC 2012
EPTCS
100
63–81
M. Hucka
A. Finney
H.M. Sauro
H. Bolouri
J.C. Doyle
H. Kitano
the rest of the SBML Forum
2003
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models
Bioinformatics
19
4
524–531
10.1093/bioinformatics/btg015
C. Kühn
C. Wierling
A. Kühn
E. Klipp
G. Panopoulou
H. Lehrach
A. Poustka
2009
Monte carlo analysis of an ode model of the sea urchin endomesoderm network
BMC systems biology
3
1
83
10.1186/1752-0509-3-83
C. Li
M. Donizelli
N. Rodriguez
H. Dharuri
L. Endler
V. Chelliah
L. Li
E. He
A. Henry
M.I. Stefan
J.L. Snoep
M. Hucka
N. Le Novère
C. Laibe
2010
BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models.
BMC Systems Biology
4
92
10.1186/1752-0509-4-92
A. Maeda
Y. Ozaki
S. Sivakumaran
T. Akiyama
H. Urakubo
A. Usami
M. Sato
K. Kaibuchi
S. Kuroda
2006
Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response
Genes to Cells
11
9
1071–1083
10.1111/j.1365-2443.2006.01001.x
S.I.F.S. Martins
M.A.J.S. Van Boekel
2003
Kinetic modelling of Amadori N-(1-deoxy-d-fructos-1-yl)-glycine degradation pathways. Part II–Kinetic analysis
Carbohydrate research
338
16
1665–1678
10.1016/S0008-6215(03)00174-5
M.C. Morris
C. Gondeau
J.A. Tainer
G. Divita
2002
Kinetic Mechanism of Activation of the Cdk2/Cyclin A Complex
Journal of Biological Chemistry
277
26
23847–23853
10.1074/jbc.M107890200
T. Nakakuki
M.R. Birtwistle
Y. Saeki
N. Yumoto
K. Ide
T. Nagashima
L. Brusch
B.A. Ogunnaike
M. Okada-Hatakeyama
B.N. Kholodenko
2010
Ligand-specific c-Fos expression emerges from the spatiotemporal control of ErbB network dynamics
Cell
141
5
884–896
10.1016/j.cell.2010.03.054
L.F. Olsen
U. Kummer
A.L. Kindzelskii
H.R. Petty
2003
A model of the oscillatory metabolism of activated neutrophils
Biophysical journal
84
1
69–81
10.1016/S0006-3495(03)74833-4
G. Pardini
P. Milazzo
A. Maggiolo-Schettini
An Algorithm for the Identification of Components in Biochemical Pathways
Proceedings of CS2Bio 2013
ENTCS
note = "In press.\reserved@d =[
A. Phillips
L. Cardelli
2007
Efficient, correct simulation of biological processes in the stochastic pi-calculus
Computational Methods in Systems Biology
Springer
184–199
10.1007/978-3-540-75140-3_13
C.J. Proctor
P.J. Tangeman
H.C. Ardley
2010
Modelling the Role of UCH-L1 on Protein Aggregation in Age-Related Neurodegeneration
PLoS ONE
5
10
e13175
10.1371/journal.pone.0013175.s013
A. Rozi
Y. Jia
2003
A theoretical study of effects of cytosolic Ca2+ oscillations on activation of glycogen phosphorylase
Biophysical chemistry
106
3
193–202
10.1016/S0301-4622(03)00192-3
J.J. Saucerman
J. Zhang
J.C. Martin
L.X. Peng
A.E. Stenbit
R.Y. Tsien
A.D. McCulloch
2006
Systems analysis of PKA-mediated phosphorylation gradients in live cardiac myocytes
Proceedings of the National Academy of Sciences
103
34
12923–12928
10.1073/pnas.0600137103
B. Schmierer
B. Novák
C. Schofield
2010
Hypoxia-dependent sequestration of an oxygen sensor by a widespread structural motif can shape the hypoxic response-a predictive kinetic model
BMC systems biology
4
1
139
10.1186/1752-0509-4-139
W.J. Thomsen
J.A. Jacquez
R.R. Neubig
1988
Inhibition of adenylate cyclase is mediated by the high affinity conformation of the alpha 2-adrenergic receptor.
Molecular pharmacology
34
6
814–822
C. Troein
F. Corellou
L.E. Dixon
G. van Ooijen
J.S. O’Neill
F.-Y. Bouget
A.J. Millar
2011
Multiple light inputs to a simple clock circuit allow complex biological rhythms
The Plant Journal
66
2
375–385
10.1111/j.1365-313X.2011.04489.x