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
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 517
Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683
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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1152697
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. Presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States: Optica Publishing Group.
View | Download None (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 6146 | OA
Bretscher, A. J., Busch, K. E., & 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. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0707607105
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 6148
Kammenga, J. E., Phillips, P. C., de Bono, M., & Doroszuk, A. (2008). Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.01.001
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. Elsevier. https://doi.org/10.1016/j.cub.2008.01.002
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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1154413
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. Cambridge University Press. https://doi.org/10.1017/S0016672308009804
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 (pp. 57–66). Presented at the SIGGRAPH: Eurographics Symposium on Computer Animation, ACM. https://doi.org/10.2312/SCA/SCA08/057-066
View | DOI
 

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

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

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
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. American Chemical Society. https://doi.org/10.1021/om700916f
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 (Vol. 1, pp. 26–33). Presented at the ICCV: International Conference on Computer Vision, Nice, France: IEEE. https://doi.org/10.1109/ICCV.2003.1238310
[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. In Proceedings Ninth International Conference on Computer Vision (Vol. 2, pp. 1033–1040). Nice, France: IEEE. https://doi.org/10.1109/ICCV.2003.1238463
[Preprint] View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed