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.
9087 Publications
2009 | Thesis | IST-REx-ID: 4363
Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2009 | Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4403 |
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Approximation of event probabilities in noisy cellular processes. CMSB: Computational Methods in Systems Biology, LNCS, vol. 5688, 173–188.
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
View
| Files available
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. 2009. Expressiveness and closure properties for quantitative languages. LICS: Logic in Computer Science, 199–208.
View
| Files available
| DOI
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.)
2008 | Journal Article | IST-REx-ID: 1749
Rastelli A, Stoffel M, Malachias Â, Merdzhanova T, Katsaros G, Kern K, Metzger T, Schmidt O. 2008. Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography. Nano Letters. 8(5), 1404–1409.
View
| DOI
2008 | Journal Article | IST-REx-ID: 1763 |
Fink JM, Göppl M, Baur M, Bianchetti R, Leek P, Blais A, Wallraff A. 2008. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 454(7202), 315–318.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 1765 |
Göppl M, Fragner A, Baur M, Bianchetti R, Filipp S, Fink JM, Leek P, Puebla G, Steffen L, Wallraff A. 2008. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 104(11).
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 1826
Friedlander T, Brenner N. 2008. Cellular properties and population asymptotics in the population balance equation. Physical Review Letters. 101(1).
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2120 |
Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 11(4), 603–626.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2121 |
Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 13, 151–164.
View
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2146 |
Lemeshko M, Friedrich B. 2008. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 129(2).
View
| DOI
| Download (ext.)
2008 | Book Review | IST-REx-ID: 2147
Lemeshko M, Friedrich B. 2008. Kvantový Zenonův jev aneb co nesejde z očí, nezestárne. Chemicke Listy. 102(10), 880–883.
View
2008 | Conference Paper | IST-REx-ID: 2332 |
Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. QMath: Mathematical Results in Quantum Physics, 241–254.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 2331 |
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2376 |
Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2374 |
Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2382 |
Seiringer R, Yin J. 2008. The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. 284(2), 459–479.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2380 |
Hainzl C, Hamza E, Seiringer R, Solovej J. 2008. The BCS functional for general pair interactions. Communications in Mathematical Physics. 281(2), 349–367.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2383 |
Hainzl C, Lewin M, Seiringer R. 2008. A nonlinear model for relativistic electrons at positive temperature. Reviews in Mathematical Physics. 20(10), 1283–1307.
View
| DOI
| Download (ext.)