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.

11797 Publications


2008 | Published | Conference Paper | IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

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

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

2008 | Published | Journal Article | IST-REx-ID: 517
N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.
View | DOI | WoS
 

2008 | Published | Journal Article | IST-REx-ID: 581
O. Hosten and P. Kwiat, “Observation of the spin hall effect of light via weak measurements,” Science, vol. 319, no. 5864. American Association for the Advancement of Science, pp. 787–790, 2008.
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 584
O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements: Sharp and smooth index variations,” presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States, 2008.
View | Download None (ext.)
 

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

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

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

2008 | Published | Journal Article | IST-REx-ID: 1982
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, and P. Schwille, “Spatial regulators for bacterial cell division self-organize into surface waves in vitro,” Science, vol. 320, no. 5877. American Association for the Advancement of Science, pp. 789–792, 2008.
View | DOI
 

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

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

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

2008 | Published | Journal Article | IST-REx-ID: 1037 | OA
S. Knoop et al., “Metastable feshbach molecules in high rotational states,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,” Science, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.
View | DOI | Download None (ext.) | arXiv
 

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed