Format
Sort by
Items per page

Send to

Choose Destination

Search results

Items: 10

1.

Adaptive moment closure for parameter inference of biochemical reaction networks.

Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J.

Biosystems. 2016 Nov;149:15-25. doi: 10.1016/j.biosystems.2016.07.005.

PMID:
27461396
2.

Strategy improvement for concurrent reachability and turn-based stochastic safety games.

Chatterjee K, de Alfaro L, Henzinger TA.

J Comput Syst Sci. 2013 Aug;79(5):640-657.

3.

Quantitative reactive modeling and verification.

Henzinger TA.

Comput Sci (Berl). 2013;28:331-344.

4.

The propagation approach for computing biochemical reaction networks.

Henzinger TA, Mateescu M.

IEEE/ACM Trans Comput Biol Bioinform. 2013 Mar-Apr;10(2):310-22.

PMID:
22778152
5.

Fast adaptive uniformisation of the chemical master equation.

Mateescu M, Wolf V, Didier F, Henzinger TA.

IET Syst Biol. 2010 Nov;4(6):441-52. doi: 10.1049/iet-syb.2010.0005.

PMID:
21073242
6.

Solving the chemical master equation using sliding windows.

Wolf V, Goel R, Mateescu M, Henzinger TA.

BMC Syst Biol. 2010 Apr 8;4:42. doi: 10.1186/1752-0509-4-42.

7.

Two challenges in embedded systems design: predictability and robustness.

Henzinger TA.

Philos Trans A Math Phys Eng Sci. 2008 Oct 28;366(1881):3727-36. doi: 10.1098/rsta.2008.0141. Review.

8.

Executable cell biology.

Fisher J, Henzinger TA.

Nat Biotechnol. 2007 Nov;25(11):1239-49. Review.

PMID:
17989686
9.

Predictive modeling of signaling crosstalk during C. elegans vulval development.

Fisher J, Piterman N, Hajnal A, Henzinger TA.

PLoS Comput Biol. 2007 May;3(5):e92.

10.

Qualitative networks: a symbolic approach to analyze biological signaling networks.

Schaub MA, Henzinger TA, Fisher J.

BMC Syst Biol. 2007 Jan 8;1:4.

Supplemental Content

Loading ...
Support Center