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.
624 Publications
2010 |Published| Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. 2010. Cosegmentation revisited: Models and optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 6312, 465–479.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3308 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sturmfels B, Uhler C. 2010. Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. 62(4), 603–638.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3402
Guerraoui R, Henzinger TA, Singh V. 2010. Model checking transactional memories. Distributed Computing. 22(3), 129–145.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3834 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4379 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jones K, Konrad V, Nickovic D. 2010. Analog property checkers: a DDR2 case study. Formal Methods in System Design. 36(2), 114–130.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6320 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 1038 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View
| DOI
| Download None (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 12654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)