-
1
-
-
84944214361
-
Hybrid modeling and simulation of biomolecular networks
-
in: Proceedings of Fourth International Workshop on Hybrid Systems: Computation and Control
-
R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, J. Schug, Hybrid modeling and simulation of biomolecular networks, in: Proceedings of Fourth International Workshop on Hybrid Systems: Computation and Control, in: LNCS, vol. 2034, 2001, pp. 19-32.
-
(2001)
LNCS
, vol.2034
, pp. 19-32
-
-
Alur, R.1
Belta, C.2
Ivancic, F.3
Kumar, V.4
Mintz, M.5
Pappas, G.6
Rubin, H.7
Schug, J.8
-
2
-
-
33749511375
-
Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems
-
Alfonsi A., Cances E., Turinici G., Di Ventura B., and Huisinga W. Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems. Proceedings of ESAIM vol. 14 (2005) 1-13
-
(2005)
Proceedings of ESAIM
, vol.14
, pp. 1-13
-
-
Alfonsi, A.1
Cances, E.2
Turinici, G.3
Di Ventura, B.4
Huisinga, W.5
-
3
-
-
0142037521
-
Model building and model checking for biochemical processes
-
Antoniotti M., Policriti A., Ugel N., and Mishra B. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38 3 (2003) 271-286
-
(2003)
Cell Biochemistry and Biophysics
, vol.38
, Issue.3
, pp. 271-286
-
-
Antoniotti, M.1
Policriti, A.2
Ugel, N.3
Mishra, B.4
-
4
-
-
77950458550
-
-
A. Aziz, V. Singhal, F. Balarin, R. Brayton, A. Sangiovanni-Vincentelli, Verifying continuous time markov chains. in: Proceedings of CAV96, 1996.
-
A. Aziz, V. Singhal, F. Balarin, R. Brayton, A. Sangiovanni-Vincentelli, Verifying continuous time markov chains. in: Proceedings of CAV96, 1996.
-
-
-
-
5
-
-
51849166317
-
Compositionality, stochasticity and cooperativity in dynamic models of gene regulation
-
Blossey R., Cardelli L., and Phillips A. Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFPS Journal 2 1 (2008) 17-28
-
(2008)
HFPS Journal
, vol.2
, Issue.1
, pp. 17-28
-
-
Blossey, R.1
Cardelli, L.2
Phillips, A.3
-
6
-
-
49049093202
-
-
L. Bortolussi, S. Fonda, A. Policriti, Constraint-based simulation of biological systems described by molecular interaction maps, in: Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007, 2007.
-
L. Bortolussi, S. Fonda, A. Policriti, Constraint-based simulation of biological systems described by molecular interaction maps, in: Proceedings of IEEE conference on Bioinformatics and Biomedicine, BIBM 2007, 2007.
-
-
-
-
7
-
-
85128536950
-
-
M.L. Bujorianu, J. Lygeros, General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control, CDC 2004, 2004, pp. 182-187.
-
M.L. Bujorianu, J. Lygeros, General stochastic hybrid systems: Modeling and optimal control. In Proceedings of 43rd IEEE Conference on Decision and Control, CDC 2004, 2004, pp. 182-187.
-
-
-
-
8
-
-
77950457974
-
-
M.L. Bujorianu, J. Lygeros, Theoretical foundations of stochastic hybrid systems, in: Proceedings XVI Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004, 2004.
-
M.L. Bujorianu, J. Lygeros, Theoretical foundations of stochastic hybrid systems, in: Proceedings XVI Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004, 2004.
-
-
-
-
9
-
-
33750046029
-
-
L. Bortolussi, Stochastic concurrent constraint programming, in: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, in: ENTCS, 164, 2006, pp. 65-80.
-
L. Bortolussi, Stochastic concurrent constraint programming, in: Proceedings of 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, in: ENTCS, vol. 164, 2006, pp. 65-80.
-
-
-
-
10
-
-
57449096951
-
-
L. Bortolussi, A master equation approach to differential approximations of stochastic concurrent constraint programming, in: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, in: ENTCS, 220, 2008, pp. 163-180.
-
L. Bortolussi, A master equation approach to differential approximations of stochastic concurrent constraint programming, in: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, in: ENTCS, vol. 220, 2008, pp. 163-180.
-
-
-
-
11
-
-
34548268951
-
-
L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, in: ENTCS, 167, 2007.
-
L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proceedings of Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, in: ENTCS, vol. 167, 2007.
-
-
-
-
12
-
-
45749113795
-
Hybrid systems and biology: Continuous and discrete modeling for systems biology
-
Formal Methods for Computational Systems Biology, Springer-Verlag Chapter
-
Bortolussi L., and Policriti A. Hybrid systems and biology: Continuous and discrete modeling for systems biology. Formal Methods for Computational Systems Biology. LNCS vol. 5016 (2008), Springer-Verlag 424-448 Chapter
-
(2008)
LNCS
, vol.5016
, pp. 424-448
-
-
Bortolussi, L.1
Policriti, A.2
-
13
-
-
79961017924
-
-
L. Bortolussi, A. Policriti, Hybrid approximation of stochastic concurrent constraint programming, in: Proceeding of IFAC 2008, 2008.
-
L. Bortolussi, A. Policriti, Hybrid approximation of stochastic concurrent constraint programming, in: Proceeding of IFAC 2008, 2008.
-
-
-
-
15
-
-
43049179364
-
Modeling biological systems in concurrent constraint programming
-
Bortolussi L., and Policriti A. Modeling biological systems in concurrent constraint programming. Constraints 13 1 (2008)
-
(2008)
Constraints
, vol.13
, Issue.1
-
-
Bortolussi, L.1
Policriti, A.2
-
17
-
-
84880543237
-
Hybrid semantics of stochastic programs with dynamic reconfiguration
-
L. Bortolussi, A. Policriti, Hybrid semantics of stochastic programs with dynamic reconfiguration, in: Proceedings of CompMod, 2009.
-
(2009)
Proceedings of CompMod
-
-
Bortolussi, L.1
Policriti, A.2
-
18
-
-
76249104524
-
Stochastic programs and hybrid automata for (biological) modeling
-
L. Bortolussi, A. Policriti, Stochastic programs and hybrid automata for (biological) modeling, in: Proceedings of CiE 2009, 2009.
-
(2009)
Proceedings of CiE
-
-
Bortolussi, L.1
Policriti, A.2
-
19
-
-
34548747486
-
Robustness analysis and tuning of synthetic gene networks
-
Batt G., Yordanov B., Belta C., and Weiss R. Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23 18 (2007) 2415-2422
-
(2007)
Bioinformatics
, vol.23
, Issue.18
, pp. 2415-2422
-
-
Batt, G.1
Yordanov, B.2
Belta, C.3
Weiss, R.4
-
20
-
-
33747877324
-
Biocham: An environment for modeling biological systems and formalizing experimental knowledge
-
Calzone L., Fages F., and Soliman S. Biocham: An environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22 (2006) 1805-1807
-
(2006)
Bioinformatics
, vol.22
, pp. 1805-1807
-
-
Calzone, L.1
Fages, F.2
Soliman, S.3
-
21
-
-
77950461665
-
-
Seattle CompBio Group, Institute for Systems Biology. Dizzy home page
-
Seattle CompBio Group, Institute for Systems Biology. Dizzy home page.
-
-
-
-
22
-
-
38549120134
-
Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA
-
Calder M., Gilmore S., and Hillston J. Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA. Transactions on Computational Systems Biology 4230 (2006) 1-23
-
(2006)
Transactions on Computational Systems Biology
, vol.4230
, pp. 1-23
-
-
Calder, M.1
Gilmore, S.2
Hillston, J.3
-
24
-
-
0034688173
-
A synthetic oscillatory network of transcriptional regulators
-
Elowitz M.B., and Leibler S. A synthetic oscillatory network of transcriptional regulators. Nature 403 (2000) 335-338
-
(2000)
Nature
, vol.403
, pp. 335-338
-
-
Elowitz, M.B.1
Leibler, S.2
-
25
-
-
0001144902
-
Efficient exact simulation of chemical systems with many species and many channels
-
Gibson M., and Bruck J. Efficient exact simulation of chemical systems with many species and many channels. Journal Physical Chemistry 104 9 (2000) 1876-1889
-
(2000)
Journal Physical Chemistry
, vol.104
, Issue.9
, pp. 1876-1889
-
-
Gibson, M.1
Bruck, J.2
-
26
-
-
0037157677
-
Biochemical clocks and molecular noise: Theoretical study of robustness factors
-
Gonze D., Halloy J., and Gaspard P. Biochemical clocks and molecular noise: Theoretical study of robustness factors. Journal of Chemical Physics 116 12 (2002) 10997-11010
-
(2002)
Journal of Chemical Physics
, vol.116
, Issue.12
, pp. 10997-11010
-
-
Gonze, D.1
Halloy, J.2
Gaspard, P.3
-
27
-
-
49249084626
-
Relating continuous and discrete pepa models of signalling pathways
-
Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete pepa models of signalling pathways. Theoretical Computer Science 404 1-2 (2008) 97-111
-
(2008)
Theoretical Computer Science
, vol.404
, Issue.1-2
, pp. 97-111
-
-
Geisweiller, N.1
Hillston, J.2
Stenico, M.3
-
28
-
-
0017030517
-
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions
-
Gillespie D.T. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics 22 (1976)
-
(1976)
Journal of Computational Physics
, vol.22
-
-
Gillespie, D.T.1
-
29
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977)
-
(1977)
Journal of Physical Chemistry
, vol.81
, Issue.25
-
-
Gillespie, D.T.1
-
30
-
-
0034225547
-
The chemical langevin equation
-
Gillespie D. The chemical langevin equation. Journal of Chemical Physics 113 1 (2000) 297-306
-
(2000)
Journal of Chemical Physics
, vol.113
, Issue.1
, pp. 297-306
-
-
Gillespie, D.1
-
31
-
-
0037079015
-
Computational approaches to cellular rhythms
-
Goldbeter A. Computational approaches to cellular rhythms. Nature 420 (2002) 238-245
-
(2002)
Nature
, vol.420
, pp. 238-245
-
-
Goldbeter, A.1
-
32
-
-
14344265954
-
Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling
-
Ghosh R., and Tomlin C. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling. IEEE Systems Biology 1 1 (2004) 170-183
-
(2004)
IEEE Systems Biology
, vol.1
, Issue.1
, pp. 170-183
-
-
Ghosh, R.1
Tomlin, C.2
-
36
-
-
0037109565
-
Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics
-
Haseltine E.L., and Rawlings J.B. Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics. Journal of Chemical Physics 117 15 (2002)
-
(2002)
Journal of Chemical Physics
, vol.117
, Issue.15
-
-
Haseltine, E.L.1
Rawlings, J.B.2
-
38
-
-
0037079054
-
Computational systems biology
-
Kitano H. Computational systems biology. Nature 420 (2002) 206-210
-
(2002)
Nature
, vol.420
, pp. 206-210
-
-
Kitano, H.1
-
40
-
-
0002232633
-
Solutions of ordinary differential equations as limits of pure jump markov processes
-
Kurtz T.G. Solutions of ordinary differential equations as limits of pure jump markov processes. Journal of Applied Probability 7 (1970) 49-58
-
(1970)
Journal of Applied Probability
, vol.7
, pp. 49-58
-
-
Kurtz, T.G.1
-
42
-
-
77950460760
-
-
home
-
Prism home page. http://www.cs.bham.ac.uk/~dxp/prism/.
-
-
-
-
43
-
-
33751031876
-
A generalized model of the repressilator
-
Müller S., Hofbauer J., Endler L., Flamm C., Widder S., and Schuster P. A generalized model of the repressilator. Journal of Mathematical Biology 53 (2006) 905-937
-
(2006)
Journal of Mathematical Biology
, vol.53
, pp. 905-937
-
-
Müller, S.1
Hofbauer, J.2
Endler, L.3
Flamm, C.4
Widder, S.5
Schuster, P.6
-
44
-
-
35048867002
-
Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis
-
Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC
-
N.A. Neogi, Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis, in: Proceedings of 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, in: LNCS, vol. 2993, 2004, pp. 463-476.
-
(2004)
LNCS
, vol.2993
, pp. 463-476
-
-
Neogi, N.A.1
-
45
-
-
0003781238
-
-
Cambridge University Press
-
Norris J.R. Markov Chains (1997), Cambridge University Press
-
(1997)
Markov Chains
-
-
Norris, J.R.1
-
46
-
-
60849119860
-
Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches
-
Pahle J. Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches. Brief Bioinformatics 10 1 (2009) 53-64
-
(2009)
Brief Bioinformatics
, vol.10
, Issue.1
, pp. 53-64
-
-
Pahle, J.1
-
47
-
-
0035888407
-
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
-
Priami C., Regev A., Shapiro E.Y., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 1 (2001) 25-31
-
(2001)
Information Processing Letters
, vol.80
, Issue.1
, pp. 25-31
-
-
Priami, C.1
Regev, A.2
Shapiro, E.Y.3
Silverman, W.4
-
50
-
-
0037197850
-
Mechanisms of noise resistance in genetic oscillators
-
Vilar J.M.G., Yuan~Kueh H., Barkai N., and Leibler S. Mechanisms of noise resistance in genetic oscillators. Proceedings of the National Academy of Sciences 99 9 (2002) 5991
-
(2002)
Proceedings of the National Academy of Sciences
, vol.99
, Issue.9
, pp. 5991
-
-
Vilar, J.M.G.1
Yuan Kueh, H.2
Barkai, N.3
Leibler, S.4
|