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.
9084 Publications
2009 | Conference Paper | IST-REx-ID: 4569 | 
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | 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 | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | 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 | Technical Report | IST-REx-ID: 5392 |
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 11752
Yang X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7319
Reum M, Freunberger SA, Wokaun A, Büchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422
View
| DOI
2009 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 964
Serbyn M, Skvortsov M, Varlamov A, Galitski V. Giant nernst effect due to fluctuating cooper Pairs in superconductors. In: Vol 1134. American Institute of Physics; 2009:140-145. doi:10.1063/1.3149485
View
| DOI
2009 | Journal Article | IST-REx-ID: 8479
Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9
View
| DOI
2009 | Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View
| DOI
2009 | 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
2009 | Journal Article | IST-REx-ID: 8477
Amero C, Schanda P, Durá MA, et al. Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. 2009;131(10):3448-3449. doi:10.1021/ja809880p
View
| DOI
2009 | 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 | 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 | Journal Article | IST-REx-ID: 8508
Gorodetski A, Kaloshin V. Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. 2009;267(1):76-90. doi:10.1134/s0081543809040063
View
| DOI
2009 | Journal Article | IST-REx-ID: 908
Alkalaeva E, Eliseev B, Ambrogelly A, et al. Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. 2009;583(21):3455-3460. doi:10.1016/j.febslet.2009.09.044
View
| DOI
2009 | Journal Article | IST-REx-ID: 9148 |
Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 9147 |
Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 9453 |
Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13416
Olson MA, Coskun A, Klajn R, et al. Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. 2009;9(9):3185-3190. doi:10.1021/nl901385c
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13415
Klajn R, Olson MA, Wesson PJ, et al. Dynamic hook-and-eye nanoparticle sponges. Nature Chemistry. 2009;1:733-738. doi:10.1038/nchem.432
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13417
Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. Writing self-erasing images using metastable nanoparticle “inks.” Angewandte Chemie International Edition. 2009;48(38):7035-7039. doi:10.1002/anie.200901119
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13414
Browne KP, Klajn R, Villa J, Grzybowski BA. Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates. Small. 2009;5(23):2656-2658. doi:10.1002/smll.200900902
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13418
Nakanishi H, Bishop KJM, Kowalczyk B, et al. Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. 2009;460(7253):371-375. doi:10.1038/nature08131
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13421
Olson MA, Braunschweig AB, Fang L, et al. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 2009;48(10):1792-1797. doi:10.1002/anie.200804558
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13420
Klajn R, Fang L, Coskun A, et al. Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. 2009;131(12):4233-4235. doi:10.1021/ja9001585
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13419
Wesson PJ, Soh S, Klajn R, Bishop KJM, Gray TP, Grzybowski BA. “Remote” fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. 2009;21(19):1911-1915. doi:10.1002/adma.200802964
View
| DOI
2008 | Journal Article | IST-REx-ID: 1036 |
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 | Journal Article | IST-REx-ID: 1037 |
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 | Journal Article | IST-REx-ID: 1039 |
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 | 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 | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 2008;182(5):911-924. doi:10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 2008;18(10):456-466. doi:10.1016/j.tcb.2008.07.009
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 2008;20(6):669-677. doi:10.1016/j.ceb.2008.09.010
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11112
Anderson DJ, Hetzer M. The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. 2008;20(4):386-392. doi:10.1016/j.ceb.2008.03.016
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 2008;121(2):137-142. doi:10.1242/jcs.005777
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11114 |
Schulte R, Talamas J, Doucet C, Hetzer M. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 2008;3(4). doi:10.1371/journal.pone.0002061
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11878
Baykan E, Henzinger MH, Weber I. Web page language identification based on URLs. Proceedings of the VLDB Endowment. 2008;1(1):176-187. doi:10.14778/1453856.1453880
View
| DOI
2008 | Journal Article | IST-REx-ID: 12656
Pellicciotti F, Helbing J, Rivera A, et al. A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity. Hydrological Processes. 2008;22(19):3980-3997. doi:10.1002/hyp.7085
View
| DOI
2008 | Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 2008;18(5):368-374. doi:10.1016/j.cub.2008.02.022
View
| DOI
2008 | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View
| DOI
| Download (ext.)