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 | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner H, Harer J. 2009. The persistent Morse complex segmentation of a 3-manifold. 3DPH: Modelling the Physiological Human, LNCS, vol. 5903, 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3967
Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2009. Persistent homology for kernels, images, and cokernels. SODA: Symposium on Discrete Algorithms, 1011–1020.
View
2009 | Journal Article | IST-REx-ID: 4160
Oteíza P, Lemus C, Köppen M, Palma K, Krieg M, Melo C, Farias C, Pulgar E, Preibisch S, Hartel S, Heisenberg C-PJ, Concha M. 2009. Linking organ formation to left-right patterning in the embryonic zebrafish. Mechanisms of Development. 126(Supplement 1), S11–S11.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4162
Oteíza P, Köppen M, Krieg M, Preibisch S, Haertel S, Müller D, Heisenberg C-PJ, Concha M. 2009. Wnt11/Pk1a-mediated planar cell polarity signalling orchestrates epithelial organ morphogenesis by regulating N-cadherin dependent cell adhesion forces. Mechanisms of Development. 126(Supplement 1), S80–S80.
View
| DOI
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.)