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 TA, Jobstmann B, Petrov T. Interface theories with component reuse. In: ACM; 2008:79-88. doi:10.1145/1450058.1450070
View | DOI | Download (ext.)
 

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

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, et al. Logical reliability of interacting real-time tasks. In: IEEE; 2008:909-914. doi:10.1145/1403375.1403595
View | DOI | Download (ext.)
 

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

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic change of precision. In: ACM; 2008:29-38. doi:10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 517
Barton NH. Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. 2008;89(5-6):475-477. doi:10.1017/S0016672308009683
View | DOI | WoS
 

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

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

2008 | Published | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
[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. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 2008;24(4):178-185. doi: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. Sleep: dozy worms and sleepy flies. Current Biology. 2008;18(5):R204-R206. doi: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. Spatial regulators for bacterial cell division self-organize into surface waves in vitro. Science. 2008;320(5877):789-792. doi:10.1126/science.1154413
View | DOI
 

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

2008 | Published | Conference Paper | IST-REx-ID: 2078
Bickel B, Lang M, Botsch M, Otaduy M, Gross M. Pose-space animation and transfer of facial details. In: ACM; 2008:57-66. doi:10.2312/SCA/SCA08/057-066
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. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 2008;100(8). doi: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, et al. Metastable feshbach molecules in high rotational states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi: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. Density functional study of protonated formylmetallocenes. Organometallics. 2008;27(3):394-401. doi:10.1021/om700916f
View | DOI | Download None (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 3170 | OA
Boykov Y, Kolmogorov V. Computing geodesics and minimal surfaces via graph cuts. In: Vol 1. IEEE; 2008:26-33. doi: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. Visual correspondence using energy minimization and mutual information. In: Proceedings Ninth International Conference on Computer Vision. Vol 2. IEEE; 2008:1033-1040. doi:10.1109/ICCV.2003.1238463
[Preprint] View | DOI | Download Preprint (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed