en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2429 Publications
2010 | Conference Paper | IST-REx-ID: 3847 
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” IET Systems Biology, vol. 4, no. 6, pp. 441–452, 2010.
View
| Files available
| DOI
2010 | Thesis | IST-REx-ID: 3962
H. Pflicke, Dendritic cell migration across basement membranes in the skin. IST Austria, 2010.
View
2010 | Conference Paper | IST-REx-ID: 3866
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
View
| Files available
| DOI