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
Reduction of stochastic parity to stochastic mean-payoff games
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
View | DOI | Download (ext.)
 

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

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

2008 | Published | Conference Paper | IST-REx-ID: 4568
Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
View | DOI | Download (ext.)
 

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

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

2008 | Published | Conference Paper | IST-REx-ID: 584
Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
View | Download None (ext.)
 

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

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

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

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

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

2008 | Published | Conference Paper | IST-REx-ID: 2078
Pose-space animation and transfer of facial details
B. Bickel, M. Lang, M. Botsch, M. Otaduy, M. Gross, in:, ACM, 2008, pp. 57–66.
View | DOI
 

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

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

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

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

2008 | Published | Conference Paper | IST-REx-ID: 3170 | OA
Computing geodesics and minimal surfaces via graph cuts
Y. Boykov, V. Kolmogorov, in:, IEEE, 2008, pp. 26–33.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

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

Search

Filter Publications

Display / Sort

Export / Embed