-
1
-
-
84957369657
-
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, 1102, pp. 269-276. Springer, Heidelberg (1996)
-
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269-276. Springer, Heidelberg (1996)
-
-
-
-
2
-
-
49949085999
-
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways
-
Breitling, R., Gilbert, D., Heiner, M., Orton, R.: A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings in Bioinformatics 9(5), 404-421 (2008)
-
(2008)
Briefings in Bioinformatics
, vol.9
, Issue.5
, pp. 404-421
-
-
Breitling, R.1
Gilbert, D.2
Heiner, M.3
Orton, R.4
-
4
-
-
70450139928
-
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (2001) (third printing)
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (2001) (third printing)
-
-
-
-
6
-
-
57049106843
-
-
Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), 5307, pp. 269-287. Springer, Heidelberg (2008)
-
Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 269-287. Springer, Heidelberg (2008)
-
-
-
-
7
-
-
60349092483
-
-
Gilbert, D., Breitling, R., Heiner, M., Donaldson, R.: An introduction to biomodel engineering, illustrated for signal transduction pathways. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, 5391, pp. 13-28. Springer, Heidelberg (2009)
-
Gilbert, D., Breitling, R., Heiner, M., Donaldson, R.: An introduction to biomodel engineering, illustrated for signal transduction pathways. In: Corne, D.W., Frisco, P., Paun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 13-28. Springer, Heidelberg (2009)
-
-
-
-
9
-
-
38049136584
-
-
Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), 4695, pp. 200-216. Springer, Heidelberg (2007)
-
Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using Petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 200-216. Springer, Heidelberg (2007)
-
-
-
-
10
-
-
47849126239
-
A Case Study in Model-driven Synthetic Biology
-
Milano, pp
-
Gilbert, D., Heiner, M., Rosser, S., Fulton, R., Gu, X., Trybilo, M.: A Case Study in Model-driven Synthetic Biology. In: Proc. 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC), IFIP WCC 2008, Milano, pp. 163-175 (2008)
-
(2008)
Proc. 2nd IFIP Conference on Biologically Inspired Collaborative Computing (BICC), IFIP WCC
, pp. 163-175
-
-
Gilbert, D.1
Heiner, M.2
Rosser, S.3
Fulton, R.4
Gu, X.5
Trybilo, M.6
-
11
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
-
(1977)
The Journal of Physical Chemistry
, vol.81
, Issue.25
, pp. 2340-2361
-
-
Gillespie, D.T.1
-
13
-
-
78649900844
-
Petri Nets for Systems Biology
-
Iyengar, M.S, ed, Jones and Bartlett Publishers, Inc, USA in Press
-
Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology. In: Iyengar, M.S. (ed.) Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers, Inc., USA (in Press, 2010)
-
Symbolic Systems Biology: Theory and Methods
, pp. 2010
-
-
Heiner, M.1
Donaldson, R.2
Gilbert, D.3
-
14
-
-
0037342537
-
The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models
-
Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., et al.: The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models. J. Bioin-formatics 19, 524-531 (2003)
-
(2003)
J. Bioin-formatics
, vol.19
, pp. 524-531
-
-
Hucka, M.1
Finney, A.2
Sauro, H.M.3
Bolouri, H.4
Doyle, J.C.5
Kitano, H.6
-
15
-
-
45749112203
-
-
Heiner, M., Gilbert, D., Donaldson, R.: Petri nets in systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, 5016, pp. 215-264. Springer, Heidelberg (2008)
-
Heiner, M., Gilbert, D., Donaldson, R.: Petri nets in systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215-264. Springer, Heidelberg (2008)
-
-
-
-
16
-
-
0003096318
-
A logic for reasoning about time and reliability
-
Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512-535 (1994)
-
(1994)
Formal Aspects of Computing
, vol.6
, Issue.5
, pp. 512-535
-
-
Hansson, H.1
Jonsson, B.2
-
17
-
-
84944264717
-
Approximate probabilistic model checking
-
Steffen, B, Levi, G, eds, VMCAI 2004, Springer, Heidelberg
-
Herault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 307-329. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2937
, pp. 307-329
-
-
Herault, T.1
Lassaigne, R.2
Magniette, F.3
Peyronnet, S.4
-
18
-
-
84977840795
-
Snoopy - a tool to design and animate/simulate graph-based formalisms
-
ACM digital library
-
Heiner, M., Richter, R., Schwarick, M.: Snoopy - a tool to design and animate/simulate graph-based formalisms. In: Proc. PNTAP 2008, associated to SIMUTools 2008. ACM digital library (2008)
-
(2008)
Proc. PNTAP 2008, associated to SIMUTools
-
-
Heiner, M.1
Richter, R.2
Schwarick, M.3
-
20
-
-
0003652825
-
Modelling with Generalized Stochastic Petri Nets
-
2nd edn, John Wiley and Sons, Chichester
-
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets, 2nd edn. Wiley Series in Parallel Computing. John Wiley and Sons, Chichester (1995)
-
(1995)
Wiley Series in Parallel Computing
-
-
Ajmone Marsan, M.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franceschinis, G.5
-
21
-
-
45749117250
-
-
University of Glasgow
-
MC2 Website. MC2 - PLTL model checker. University of Glasgow (2008), http://www.brc.dcs.gla.ac.uk/software/mc2/
-
(2008)
MC2 Website. MC2 - PLTL model checker
-
-
-
22
-
-
0024645936
-
Petri Nets: Properties, Analysis and Applications
-
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc.of the IEEE 77(4), 541-580 (1989)
-
(1989)
Proc.of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
23
-
-
49149133038
-
The temporal semantics of concurrent programs
-
Pnueli, A.: The temporal semantics of concurrent programs. Theor. Comput. Sci. 13, 45-60 (1981)
-
(1981)
Theor. Comput. Sci
, vol.13
, pp. 45-60
-
-
Pnueli, A.1
|