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 JP, Huelsenbeck J. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 2009;181(1):225-234. doi:10.1534/genetics.107.085225
View
| DOI
2009 | Published | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.
View
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 K, Henzinger TA, Horn F. 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 M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820
View
| DOI
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 6145
Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 2009;9(4):375-385. doi:10.1016/j.cmet.2009.02.003
View
| DOI
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 2009;55(190):258-274. doi:10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 2009;50(50):16-24. doi:10.3189/172756409787769555
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 1302
Raghu S, Jösch MA, Sigrist S, Borst A, Reiff D. Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors. Journal of Neurogenetics. 2009;23(1-2):200-209. doi:10.1080/01677060802471684
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 7751
Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. 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 P, Huber M, Verel R, Ernst M, Meier B. Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. 2009;48(49):9322-9325. doi:10.1002/anie.200904411
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8475
Schanda P. Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. 2009;55(3):238-265. doi:10.1016/j.pnmrs.2009.05.002
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8476
Farjon J, Boisbouvier J, Schanda P, Pardi A, Simorre J-P, Brutscher B. Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. 2009;131(24):8571-8577. doi:10.1021/ja901633y
View
| DOI