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.

11746 Publications


2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 517
Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics Research. 89(5–6), 475–477.
View | DOI | WoS
 

2008 | Published | Journal Article | IST-REx-ID: 581
Hosten O, Kwiat P. 2008. Observation of the spin hall effect of light via weak measurements. Science. 319(5864), 787–790.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View | Download None (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, de Bono M. 2008. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 105(23), 8044–8049.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current Biology. 18(5), R204–R206.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 1982
Loose M, Fischer Friedrich E, Ries J, Kruse K, Schwille P. 2008. Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. 320(5877), 789–792.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 2065
Vicoso B, Haddrill P, Charlesworth B. 2008. A multispecies approach for comparing sequence evolution of X-linked and autosomal sites in Drosophila. Genetical Research. 90(5), 421–431.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 2078
Bickel B, Lang M, Botsch M, Otaduy M, Gross M. 2008. Pose-space animation and transfer of facial details. SIGGRAPH: Eurographics Symposium on Computer Animation, 57–66.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 100(8).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1037 | OA
Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 10392
Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes. Organometallics. 27(3), 394–401.
View | DOI | Download None (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 3170 | OA
Boykov Y, Kolmogorov V. 2008. Computing geodesics and minimal surfaces via graph cuts. ICCV: International Conference on Computer Vision vol. 1, 26–33.
[Preprint] View | DOI | Download Preprint (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 3174 | OA
Kim J, Kolmogorov V, Zabih R. 2008. Visual correspondence using energy minimization and mutual information. Proceedings Ninth International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2, 1033–1040.
[Preprint] View | DOI | Download Preprint (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 3194
Kohli P, Shekhovtsov A, Rother C, Kolmogorov V, Torr P. 2008. On partial optimality in multi label MRFs. ICML: International Conference on Machine Learning, 480–487.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed