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 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 3868 |
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Conference Paper |
IST-REx-ID: 3782
Chen, C., & Freedman, D. (2010). Topology noise removal for curve and surface evolution. In Conference proceedings MCV 2010 (Vol. 6533, pp. 31–42). Beijing, China: Springer. https://doi.org/10.1007/978-3-642-18421-5_4
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 3789 |
Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., & Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2010.10.009
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 22446 |
Ivanov, V. Y., Fatichi, S., Jenerette, G. D., Espeleta, J. F., Troch, P. A., & Huxman, T. E. (2010). Hysteresis of soil moisture spatial heterogeneity and the “homogenizing” effect of vegetation. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2009wr008611
[Published Version]
View
| DOI
| Download Published Version (ext.)