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.
310 Publications
2010 |
Published |
Journal Article |
IST-REx-ID: 3867 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation for Computational Logic, pp. 1–23, 2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 3868 |
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation for Computational Logic, pp. 1–27, 2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 3789 |
E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21. Cell Press, pp. 1966–1972, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 22446 |
V. Y. Ivanov, S. Fatichi, G. D. Jenerette, J. F. Espeleta, P. A. Troch, and T. E. Huxman, “Hysteresis of soil moisture spatial heterogeneity and the ‘homogenizing’ effect of vegetation,” Water Resources Research, vol. 46, no. 9. American Geophysical Union, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)