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.
6985 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| 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 |
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: 965 |
Morozov A, Serbyn M. 2008. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 154(2), 270–293.
View
| DOI
| Download (ext.)
2007 |Published| Journal Article | IST-REx-ID: 1035 |
Mark M, Ferlaino F, Knoop S, Danzl JG, Kraemer T, Chin C, Nägerl H, Grimm R. 2007. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 76(4).
View
| DOI
| Download None (ext.)
2007 |Published| Journal Article | IST-REx-ID: 128 |
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. 2007. Cover slip external cavity diode laser. Review of Scientific Instruments. 78(10), 106108.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |Published| Book Chapter | IST-REx-ID: 167 |
Browning TD, Heath Brown R. 2007.Simultaneous equal sums of three powers. In: Diophantine Geometry. CRM Series, vol. 4, 93–100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv