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. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[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. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 599 |
Knuesel M, Meyer K, Bernecky C, Taatjes D. 2009. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 23(4), 439–451.
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. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
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. 2009. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 9(4), 375–385.
View
| DOI
| PubMed | Europe PMC
2009 | Conference Paper | IST-REx-ID: 11752
Yang X, Riseborough PS, Modic KA, Fisher RA, Oppeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Journal of Physics: Conference Series. ICM: International Conference on Magnetism, JPCS, vol. 200, 032062.
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 7080
Yang X-D, Riseborough PS, Modic KA, Fisher RA, Opeil CP, Finlayson TR, Cooley JC, Smith JL, Goddard PA, Silhanek AV, Lashley JC. 2009. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 89(22–24), 2083–2091.
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 8026 |
Vogels TP, Abbott LF. 2009. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 12(4), 483–491.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, Chan C, Maindi M, Donnelly T, Maurer M, Bang W, Churina I., Osterholz J, Kim I, Bernstein A, Ditmire T. 2009. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 80(6), 063503.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 9148 |
Muller CJ, Back LE, O’Gorman PA, Emanuel KA. 2009. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 36(16), L16804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 9147 |
Muller CJ, Bühler O. 2009. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 39(9), 2077–2096.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 9453 |
Hsieh T-F, Ibarra CA, Silva P, Zemach A, Eshed-Williams L, Fischer RL, Zilberman D. 2009. Genome-wide demethylation of Arabidopsis endosperm. Science. 324(5933), 1451–1454.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13416
Olson MA, Coskun A, Klajn R, Fang L, Dey SK, Browne KP, Grzybowski BA, Stoddart JF. 2009. Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. 9(9), 3185–3190.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13415
Klajn R, Olson MA, Wesson PJ, Fang L, Coskun A, Trabolsi A, Soh S, Stoddart JF, Grzybowski BA. 2009. Dynamic hook-and-eye nanoparticle sponges. Nature Chemistry. 1, 733–738.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13417
Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. 2009. Writing self-erasing images using metastable nanoparticle “inks”. Angewandte Chemie International Edition. 48(38), 7035–7039.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13414
Browne KP, Klajn R, Villa J, Grzybowski BA. 2009. Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates. Small. 5(23), 2656–2658.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13418
Nakanishi H, Bishop KJM, Kowalczyk B, Nitzan A, Weiss EA, Tretiakov KV, Apodaca MM, Klajn R, Stoddart JF, Grzybowski BA. 2009. Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. 460(7253), 371–375.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13421
Olson MA, Braunschweig AB, Fang L, Ikeda T, Klajn R, Trabolsi A, Wesson PJ, Benítez D, Mirkin CA, Grzybowski BA, Stoddart JF. 2009. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 48(10), 1792–1797.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13420
Klajn R, Fang L, Coskun A, Olson MA, Wesson PJ, Stoddart JF, Grzybowski BA. 2009. Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. 131(12), 4233–4235.
View
| DOI
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 13419
Wesson PJ, Soh S, Klajn R, Bishop KJM, Gray TP, Grzybowski BA. 2009. “Remote” fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. 21(19), 1911–1915.
View
| DOI
2008 | Journal Article | IST-REx-ID: 1036 |
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 100(8).
View
| DOI
| Download None (ext.)
| arXiv
2008 | Journal Article | IST-REx-ID: 1037 |
Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).
View
| DOI
| Download None (ext.)
| arXiv
2008 | Journal Article | IST-REx-ID: 1039 |
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View
| DOI
| Download None (ext.)
| arXiv
2008 | Journal Article | IST-REx-ID: 10392
Šarić A, Vrček V, Bühl M. 2008. Density functional study of protonated formylmetallocenes. Organometallics. 27(3), 394–401.
View
| DOI
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11110
D’Angelo MA, Hetzer M. 2008. Structure, dynamics and function of nuclear pore complexes. Trends in Cell Biology. 18(10), 456–466.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11109
Kutay U, Hetzer M. 2008. Reorganization of the nuclear envelope during open mitosis. Current Opinion in Cell Biology. 20(6), 669–677.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11112
Anderson DJ, Hetzer M. 2008. The life cycle of the metazoan nuclear envelope. Current Opinion in Cell Biology. 20(4), 386–392.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 11113 |
Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.
[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. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 12656
Pellicciotti F, Helbing J, Rivera A, Favier V, Corripio J, Araos J, Sicart J-E, Carenzo M. 2008. 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. 22(19), 3980–3997.
View
| DOI
2008 | Journal Article | IST-REx-ID: 1460 |
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View
| DOI
| Download (ext.)