-
1
-
-
85121080069
-
-
Alberts B (2002) Molecular biology of the cell, 4th edn. Garland Science
-
-
-
-
2
-
-
3042693879
-
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
-
G Bernot J-P Comet A Richard J Guespin 2004 Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic J Theor Biol 229 3 339 347 10.1016/j.jtbi.2004.04.003 15234201 Bernot G, Comet J-P, Richard A, Guespin J (2004) Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic. J Theor Biol 229(3):339–347
-
(2004)
J Theor Biol
, vol.229
, Issue.3
, pp. 339-347
-
-
Bernot, G1
Comet, J-P2
Richard, A3
Guespin, J4
-
3
-
-
33747877324
-
Biocham: an environment for modeling biological systems and formalizing experimental knowledge
-
L Calzone F Fages S Soliman 2006 Biocham: an environment for modeling biological systems and formalizing experimental knowledge Bioinformatics 22 14 1805 1807 10.1093/bioinformatics/btl172 1:CAS:528:DC%2BD28Xotl2rsb4%3D 16672256 Calzone L, Fages F, Soliman S (2006) Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805–1807
-
(2006)
Bioinformatics
, vol.22
, Issue.14
, pp. 1805-1807
-
-
Calzone, L1
Fages, F2
Soliman, S3
-
4
-
-
85121067447
-
-
Cardelli L (2005) Brane calculi. Interactions of biological membranes. In: Procceedings of computational methods in systems biology, vol 3082, Lecture notes in bioInformatics. Springer, Heidelberg, pp 257–280
-
-
-
-
5
-
-
33645145389
-
Fundamentals of algebraic graph transformation (Monographs in theoretical computer science. An EATCS series)
-
H Ehrig K Ehrig U Prange G Taentzer 2006 Fundamentals of algebraic graph transformation (Monographs in theoretical computer science. An EATCS series) Springer Secaucus Ehrig H, Ehrig K, Prange U, Taentzer G (2006) Fundamentals of algebraic graph transformation (Monographs in theoretical computer science. An EATCS series). Springer, Secaucus
-
(2006)
-
-
Ehrig, H1
Ehrig, K2
Prange, U3
Taentzer, G4
-
6
-
-
33846826944
-
Compartment-specific feedback loop and regulated trafficking can result in sustained activation of ras at the Golgi
-
N Eungdamrong R Iyengar 2007 Compartment-specific feedback loop and regulated trafficking can result in sustained activation of ras at the Golgi Biophys J 92 3 808 815 10.1529/biophysj.106.093104 1:CAS:528:DC%2BD2sXht1eiuro%3D 17098795 Eungdamrong N, Iyengar R (2007) Compartment-specific feedback loop and regulated trafficking can result in sustained activation of ras at the Golgi. Biophys J 92(3):808–815
-
(2007)
Biophys J
, vol.92
, Issue.3
, pp. 808-815
-
-
Eungdamrong, N1
Iyengar, R2
-
7
-
-
10444245861
-
Morphodynamics of the secretory pathway
-
F Képès A Rambourg B Satiat-Jeunemaître 2004 Morphodynamics of the secretory pathway Int Rev Cytol 242 55 120 10.1016/S0074-7696(04)42002-6 Képès F, Rambourg A, Satiat-Jeunemaître B (2004) Morphodynamics of the secretory pathway. Int Rev Cytol 242:55–120
-
(2004)
Int Rev Cytol
, vol.242
, pp. 55-120
-
-
Képès, F1
Rambourg, A2
Satiat-Jeunemaître, B3
-
8
-
-
85121077454
-
-
Lienhardt P (1989) Subdivision of n-dimensional spaces and n-dimensional generalized maps. In: SCG’89. ACM Press, pp 228–236
-
-
-
-
9
-
-
35448938139
-
Symbolic modeling of genetic regulatory networks
-
D Mateus J-P Gallois J-P Comet P Le Gall 2007 Symbolic modeling of genetic regulatory networks J Bioinform Comput Biol 5 2B 627 640 10.1142/S0219720007002850 1:CAS:528:DC%2BD2sXns12gsbg%3D 17636866 Mateus D, Gallois J-P, Comet J-P, Le Gall P (2007) Symbolic modeling of genetic regulatory networks. J Bioinform Comput Biol 5(2B):627–640
-
(2007)
J Bioinform Comput Biol
, vol.5
, Issue.2B
, pp. 627-640
-
-
Mateus, D1
Gallois, J-P2
Comet, J-P3
Le Gall, P4
-
10
-
-
85121063546
-
-
Poudret M, Comet J-P, Le Gall P, Arnould A, Meseure P (2007) Topology-based geometric modelling for biological cellular processes. In: LATA’07. Available at http://grammars.grlmc.com/LATA2007/proc.html
-
-
-
-
11
-
-
0037046592
-
Dissection of COPI and Arf1 dynamics in vivo and role in Golgi membrane transport
-
JF Presley TH Ward AC Pfeifer ED Siggia RD Phair J Lippincott-Schwartz 2002 Dissection of COPI and Arf1 dynamics in vivo and role in Golgi membrane transport Nature 417 187 193 10.1038/417187a 1:CAS:528:DC%2BD38XjsVyrtL0%3D 12000962 Presley JF, Ward TH, Pfeifer AC, Siggia ED, Phair RD, Lippincott-Schwartz J (2002) Dissection of COPI and Arf1 dynamics in vivo and role in Golgi membrane transport. Nature 417:187–193
-
(2002)
Nature
, vol.417
, pp. 187-193
-
-
Presley, JF1
Ward, TH2
Pfeifer, AC3
Siggia, ED4
Phair, RD5
Lippincott-Schwartz, J6
-
12
-
-
0018409518
-
Three-dimensional architecture of the Golgi apparatus in sertoli cells of the rat
-
A Rambourg Y Clermont H L 1979 Three-dimensional architecture of the Golgi apparatus in sertoli cells of the rat Am J Anat 154 4 455 476 10.1002/aja.1001540402 1:STN:280:DyaE1M7mt1Cluw%3D%3D 86291 Rambourg A, Clermont Y, L H (1979) Three-dimensional architecture of the Golgi apparatus in sertoli cells of the rat. Am J Anat 154(4):455–476
-
(1979)
Am J Anat
, vol.154
, Issue.4
, pp. 455-476
-
-
Rambourg, A1
Clermont, Y2
L, H3
-
13
-
-
4444383325
-
Bioambients: an abstraction for biological compartments
-
A Regev EM Panina W Silverman L Cardelli E Shapiro 2004 Bioambients: an abstraction for biological compartments Theor Comput Sci 325 1 141 167 10.1016/j.tcs.2004.03.061 Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E (2004) Bioambients: an abstraction for biological compartments. Theor Comput Sci 325(1):141–167
-
(2004)
Theor Comput Sci
, vol.325
, Issue.1
, pp. 141-167
-
-
Regev, A1
Panina, EM2
Silverman, W3
Cardelli, L4
Shapiro, E5
|