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.
257 Publications
2009 | Published | Journal Article | IST-REx-ID: 4357
Bollback, Jonathan P., and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.” Genetics, vol. 181, no. 1, Genetics Society of America, 2009, pp. 225–34, doi:10.1534/genetics.107.085225.
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 6144
Persson, Annelie, et al. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.” Nature, vol. 458, no. 7241, Springer Nature, 2009, pp. 1030–33, doi:10.1038/nature07820.
View
| DOI
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 6145
Cohen, Merav, et al. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.” Cell Metabolism, vol. 9, no. 4, Elsevier, 2009, pp. 375–85, doi:10.1016/j.cmet.2009.02.003.
View
| DOI
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo, Marco, et al. “Assessing the Transferability and Robustness of an Enhanced Temperature-Index Glacier-Melt Model.” Journal of Glaciology, vol. 55, no. 190, Cambridge University Press, 2009, pp. 258–74, doi:10.3189/002214309788608804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti, Francesca, et al. “On the Role of Subsurface Heat Conduction in Glacier Energy-Balance Modelling.” Annals of Glaciology, vol. 50, no. 50, International Glaciological Society, 2009, pp. 16–24, doi:10.3189/172756409787769555.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1302
Raghu, Shamprasad, et al. “Synaptic Organization of Lobula Plate Tangential Cells in Drosophila: Dα7 Cholinergic Receptors.” Journal of Neurogenetics, vol. 23, no. 1–2, Informa Healthcare, 2009, pp. 200–09, doi:10.1080/01677060802471684.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, et al. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:10.1007/978-3-642-10631-6_95.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 7751
Robinson, Matthew Richard, et al. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.” Genetics, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1639–48, doi:10.1534/genetics.108.086801.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels, Tim P., and L. F. Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience, vol. 12, no. 4, Springer Nature, 2009, pp. 483–91, doi:10.1038/nn.2276.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 8474
Schanda, Paul, et al. “Direct Detection of 3hJN’ Hydrogen-Bond Scalar Couplings in Proteins by Solid-State NMR Spectroscopy.” Angewandte Chemie International Edition, vol. 48, no. 49, Wiley, 2009, pp. 9322–25, doi:10.1002/anie.200904411.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8475
Schanda, Paul. “Fast-Pulsing Longitudinal Relaxation Optimized Techniques: Enriching the Toolbox of Fast Biomolecular NMR Spectroscopy.” Progress in Nuclear Magnetic Resonance Spectroscopy, vol. 55, no. 3, Elsevier, 2009, pp. 238–65, doi:10.1016/j.pnmrs.2009.05.002.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8476
Farjon, Jonathan, et al. “Longitudinal-Relaxation-Enhanced NMR Experiments for the Study of Nucleic Acids in Solution.” Journal of the American Chemical Society, vol. 131, no. 24, American Chemical Society, 2009, pp. 8571–77, doi:10.1021/ja901633y.
View
| DOI