-
1
-
-
84993971722
-
The Great- SPN tool: Recent enhancements. SIGMETRICS Perform
-
Baarir, S., Beccuti,M., Cerotti, D., De Pierro,M., Donatelli, S., Franceschinis, G.: The Great- SPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4-9 (2009)
-
(2009)
Eval. Rev
, vol.36
, Issue.4
, pp. 4-9
-
-
Baarir, S.1
Beccuti, M.2
Cerotti, D.3
De Pierro, M.4
Donatelli, S.5
Franceschinis, G.6
-
2
-
-
84944323296
-
-
Balbo, G.: Introduction to stochastic petri nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA2000. LNCS, 2090, p. 84. Springer,Heidelberg (2001)
-
Balbo, G.: Introduction to stochastic petri nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA2000. LNCS, vol. 2090, p. 84. Springer,Heidelberg (2001)
-
-
-
-
3
-
-
33845196693
-
-
Busch, H., Sandmann, W., Wolf, V.: A numerical aggregation algorithm for the enzymecatalyzed substrate conversion. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), 4210, pp. 298-311. Springer, Heidelberg (2006)
-
Busch, H., Sandmann, W., Wolf, V.: A numerical aggregation algorithm for the enzymecatalyzed substrate conversion. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 298-311. Springer, Heidelberg (2006)
-
-
-
-
4
-
-
33845385005
-
Analysis of Signalling Pathways Using Continuous Time Markov Chains
-
Priami, C, Plotkin, G, eds, Springer, Heidelberg
-
Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 44-67. Springer, Heidelberg (2006)
-
(2006)
Transactions on Computational Systems Biology VI. LNCS (LNBI)
, vol.4220
, pp. 44-67
-
-
Calder, M.1
Vyshemirsky, V.2
Gilbert, D.3
Orton, R.4
-
5
-
-
33747340770
-
The adaptor protein Gab1 couples the stimulation of vascular endothelial growth factor receptor-2 to the activation of phosphoinositide 3-kinase
-
Dance, M., Montagner, A., Yart, A., Masri, B., Audigier, Y., Perret, B., Salles, J.P., Raynal, P.: The adaptor protein Gab1 couples the stimulation of vascular endothelial growth factor receptor-2 to the activation of phosphoinositide 3-kinase. Journal of Biological Chemestry 281, 23285-23295 (2006)
-
(2006)
Journal of Biological Chemestry
, vol.281
, pp. 23285-23295
-
-
Dance, M.1
Montagner, A.2
Yart, A.3
Masri, B.4
Audigier, Y.5
Perret, B.6
Salles, J.P.7
Raynal, P.8
-
6
-
-
0032515047
-
Vascular endothelial growth factor regulates endothelial cell survival through the phosphatidylinositol 3'-kinase/Akt signal transduction pathway. requirement for Flk-1/KDR activation
-
Gerber, H.P., McMurtrey, A., Kowalski, J., Yan, M., Keyt, B.A., Dixit, V., Ferrara, N.: Vascular endothelial growth factor regulates endothelial cell survival through the phosphatidylinositol 3'-kinase/Akt signal transduction pathway. requirement for Flk-1/KDR activation. Journal of Biological Chemestry 273, 30336-30343 (1998)
-
(1998)
Journal of Biological Chemestry
, vol.273
, pp. 30336-30343
-
-
Gerber, H.P.1
McMurtrey, A.2
Kowalski, J.3
Yan, M.4
Keyt, B.A.5
Dixit, V.6
Ferrara, N.7
-
7
-
-
44049109914
-
A rigorous derivation of the master chemical equation
-
Gillespie, D.T.: A rigorous derivation of the master chemical equation. Physica 188, 404-425 (1992)
-
(1992)
Physica
, vol.188
, pp. 404-425
-
-
Gillespie, D.T.1
-
8
-
-
38049136584
-
A unifying framework for modelling and analysing biochemical pathways using Petri nets
-
Glbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Proc. Int. Conf. Computational Methods in System Biology, pp. 200-216 (2007)
-
(2007)
Proc. Int. Conf. Computational Methods in System Biology
, pp. 200-216
-
-
Glbert, D.1
Heiner, M.2
Lehrack, S.3
-
9
-
-
0032499741
-
Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
-
Goss, P., Pecoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc. Natl. Acad. Sci. 95(12), 6750-6755 (1998)
-
(1998)
Proc. Natl. Acad. Sci
, vol.95
, Issue.12
, pp. 6750-6755
-
-
Goss, P.1
Pecoud, J.2
-
10
-
-
3042699469
-
Model validation of biological pathways using Petri nets demonstrated for apoptosis
-
Heiner, M., Koch, I., Will, J.: Model validation of biological pathways using Petri nets demonstrated for apoptosis. BioSystems 75, 10-28 (2004)
-
(2004)
BioSystems
, vol.75
, pp. 10-28
-
-
Heiner, M.1
Koch, I.2
Will, J.3
-
12
-
-
0032229446
-
Quantitative modeling of biochemical networks
-
Hofestädt, R., Thelen, S.: Quantitative modeling of biochemical networks. Silico Biology 1(6) (1998)
-
(1998)
Silico Biology
, vol.1
, Issue.6
-
-
Hofestädt, R.1
Thelen, S.2
-
13
-
-
34247221517
-
The scaffolding adapter Gab1 mediates Vascular Endothelial Growth factor signaling and is required for endothelial cell migration and capillary formation
-
Laramée, M., Chabot, C., Cloutier, M., Stenne, R., Holgado-Madruga, M., Wong, A.J., Royal, I.: The scaffolding adapter Gab1 mediates Vascular Endothelial Growth factor signaling and is required for endothelial cell migration and capillary formation. Journal of Biological Chemistry 282, 7758-7769 (2007)
-
(2007)
Journal of Biological Chemistry
, vol.282
, pp. 7758-7769
-
-
Laramée, M.1
Chabot, C.2
Cloutier, M.3
Stenne, R.4
Holgado-Madruga, M.5
Wong, A.J.6
Royal, I.7
-
14
-
-
70349373772
-
-
Memmi, G., Vautherin, J.: Advanced algebraic techniques. In: Brawer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986, Part I. LNCS, 254. Springer, Heidelberg (1987)
-
Memmi, G., Vautherin, J.: Advanced algebraic techniques. In: Brawer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986, Part I. LNCS, vol. 254. Springer, Heidelberg (1987)
-
-
-
-
15
-
-
0003753186
-
On the integration of delay and throughput measures in distributed processing models. Ph.D
-
Thesis, UCLA 1981
-
Molloy, M.K.: On the integration of delay and throughput measures in distributed processing models. Ph.D. Thesis, UCLA (1981)
-
-
-
Molloy, M.K.1
-
16
-
-
0347034766
-
Les réseaux de Petri stochastiques et leur application à l'évaluation des systèmes informatiques
-
Thèse de Docteur Ingégneur, CNAM
-
Natkin, S.: Les réseaux de Petri stochastiques et leur application à l'évaluation des systèmes informatiques. Thèse de Docteur Ingégneur, CNAM (1980)
-
(1980)
-
-
Natkin, S.1
-
17
-
-
0027902978
-
Petri net representation in metabolic pathways
-
Reddy, V., Mavrovouniotis,M., Liebman, M.: Petri net representation in metabolic pathways. In: Proc. Int. Conf. Intelligent Systems for Molecular Biology, pp. 328-336 (1993)
-
(1993)
Proc. Int. Conf. Intelligent Systems for Molecular Biology
, pp. 328-336
-
-
Reddy, V.1
Mavrovouniotis, M.2
Liebman, M.3
-
19
-
-
0033118228
-
VEGF activates protein kinase C-dependent, but Rasindependent Raf-MEK-MAP kinase pathway for DNA synthesis in primary endothelial cells
-
Takahashi, T., Ueno, H., Shibuya, M.: VEGF activates protein kinase C-dependent, but Rasindependent Raf-MEK-MAP kinase pathway for DNA synthesis in primary endothelial cells. Oncogene 18, 2221-2230 (1999)
-
(1999)
Oncogene
, vol.18
, pp. 2221-2230
-
-
Takahashi, T.1
Ueno, H.2
Shibuya, M.3
|