Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9096 Publications
2010 | Journal Article | IST-REx-ID: 3786
Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description
F. Palero, G. Guerao, P. Clark, P. Abello, Zootaxa 2403 (2010) 42–58.
View
| DOI
F. Palero, G. Guerao, P. Clark, P. Abello, Zootaxa 2403 (2010) 42–58.
2010 | Journal Article | IST-REx-ID: 3792
The yolk syncytial layer in early, zebrafish development
L. Carvalho, C.-P.J. Heisenberg, Trends in Cell Biology 20 (2010) 586–592.
View
| DOI
L. Carvalho, C.-P.J. Heisenberg, Trends in Cell Biology 20 (2010) 586–592.
2010 | Journal Article | IST-REx-ID: 3834 |
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
[Published Version]
View
| Files available
| DOI
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
2010 | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View
| DOI
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
2010 | Conference Paper | IST-REx-ID: 3839 |
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.