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 TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi: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. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi: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. Topology noise removal for curve and surface evolution. In: Conference Proceedings MCV 2010. Vol 6533. Springer; 2010:31-42. doi: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, et al. Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. 2010;20(21):1966-1972. doi: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 VY, Fatichi S, Jenerette GD, Espeleta JF, Troch PA, Huxman TE. Hysteresis of soil moisture spatial heterogeneity and the “homogenizing” effect of vegetation. Water Resources Research. 2010;46(9). doi:10.1029/2009wr008611
[Published Version]
View
| DOI
| Download Published Version (ext.)