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 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
K. Chatterjee, Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, Qualitative analysis of partially-observable Markov decision processes. IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 6144
A. Persson, E. Gross, P. Laurent, K. E. Busch, H. Bretes, and M. de Bono, “Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans,” Nature, vol. 458, no. 7241. Springer Nature, pp. 1030–1033, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 6145
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, and M. de Bono, “Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling,” Cell Metabolism, vol. 9, no. 4. Elsevier, pp. 375–385, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 11752
X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
X.-D. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” Philosophical Magazine, vol. 89, no. 22–24. Taylor & Francis, pp. 2083–2091, 2009.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
M. Reum, S. A. Freunberger, A. Wokaun, and F. N. Büchi, “Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters,” Journal of The Electrochemical Society, vol. 156, no. 3. The Electrochemical Society, 2009.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
M. R. Robinson, A. J. Wilson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep,” Genetics, vol. 181, no. 4. Genetics Society of America, pp. 1639–1648, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
T. P. Vogels and L. F. Abbott, “Gating multiple signals through detailed balance of excitation and inhibition in spiking networks,” Nature Neuroscience, vol. 12, no. 4. Springer Nature, pp. 483–491, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 88 | OA
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 964
M. Serbyn, M. Skvortsov, A. Varlamov, and V. Galitski, “Giant nernst effect due to fluctuating cooper Pairs in superconductors,” presented at the Landau Memorial Conference on Advances in Theoretical Physics, 2009, vol. 1134, pp. 140–145.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
M. Gal, T. Kern, P. Schanda, L. Frydman, and B. Brutscher, “An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates,” Journal of Biomolecular NMR, vol. 43. Springer Nature, pp. 1–10, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
S. Brüschweiler et al., “Direct observation of the dynamic process underlying allosteric signal transmission,” Journal of the American Chemical Society, vol. 131, no. 8. American Chemical Society, pp. 3063–3068, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, and B. Brutscher, “Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution,” Journal of the American Chemical Society, vol. 131, no. 24. American Chemical Society, pp. 8571–8577, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
C. Amero et al., “Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies,” Journal of the American Chemical Society, vol. 131, no. 10. American Chemical Society, pp. 3448–3449, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8474
P. Schanda, M. Huber, R. Verel, M. Ernst, and B. Meier, “Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy,” Angewandte Chemie International Edition, vol. 48, no. 49. Wiley, pp. 9322–9325, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
P. Schanda, “Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy,” Progress in Nuclear Magnetic Resonance Spectroscopy, vol. 55, no. 3. Elsevier, pp. 238–265, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8508
A. Gorodetski and V. Kaloshin, “Conservative homoclinic bifurcations and some applications,” Proceedings of the Steklov Institute of Mathematics, vol. 267, no. 1. Springer Nature, pp. 76–90, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 908
E. Alkalaeva et al., “Translation termination in pyrrolysine-utilizing archaea,” FEBS Letters, vol. 583, no. 21. Elsevier, pp. 3455–3460, 2009.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 9148 | OA
C. J. Muller, L. E. Back, P. A. O’Gorman, and K. A. Emanuel, “A model for the relationship between tropical precipitation and column water vapor,” Geophysical Research Letters, vol. 36, no. 16. American Geophysical Union, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9147 | OA
C. J. Muller and O. Bühler, “Saturation of the internal tides and induced mixing in the abyssal ocean,” Journal of Physical Oceanography, vol. 39, no. 9. American Meteorological Society, pp. 2077–2096, 2009.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13416
M. A. Olson et al., “Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions,” Nano Letters, vol. 9, no. 9. American Chemical Society, pp. 3185–3190, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13415
R. Klajn et al., “Dynamic hook-and-eye nanoparticle sponges,” Nature Chemistry, vol. 1. Springer Nature, pp. 733–738, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13417
R. Klajn, P. J. Wesson, K. J. M. Bishop, and B. A. Grzybowski, “Writing self-erasing images using metastable nanoparticle ‘inks,’” Angewandte Chemie International Edition, vol. 48, no. 38. Wiley, pp. 7035–7039, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13414
K. P. Browne, R. Klajn, J. Villa, and B. A. Grzybowski, “Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates,” Small, vol. 5, no. 23. Wiley, pp. 2656–2658, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13418
H. Nakanishi et al., “Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles,” Nature, vol. 460, no. 7253. Springer Nature, pp. 371–375, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13421
M. A. Olson et al., “A bistable poly[2]catenane forms nanosuperstructures,” Angewandte Chemie International Edition, vol. 48, no. 10. Wiley, pp. 1792–1797, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13420
R. Klajn et al., “Metal nanoparticles functionalized with molecular and supramolecular switches,” Journal of the American Chemical Society, vol. 131, no. 12. American Chemical Society, pp. 4233–4235, 2009.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13419
P. J. Wesson, S. Soh, R. Klajn, K. J. M. Bishop, T. P. Gray, and B. A. Grzybowski, “‘Remote’ fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals,” Advanced Materials, vol. 21, no. 19. Wiley, pp. 1911–1915, 2009.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H. Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
S. Knoop et al., “Metastable feshbach molecules in high rotational states,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,” Science, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 10392
A. Šarić, V. Vrček, and M. Bühl, “Density functional study of protonated formylmetallocenes,” Organometallics, vol. 27, no. 3. American Chemical Society, pp. 394–401, 2008.
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 11111
D. J. Anderson and M. Hetzer, “Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation,” Journal of Cell Biology, vol. 182, no. 5. Rockefeller University Press, pp. 911–924, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11110
M. A. D’Angelo and M. Hetzer, “Structure, dynamics and function of nuclear pore complexes,” Trends in Cell Biology, vol. 18, no. 10. Elsevier, pp. 456–466, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11109
U. Kutay and M. Hetzer, “Reorganization of the nuclear envelope during open mitosis,” Current Opinion in Cell Biology, vol. 20, no. 6. Elsevier, pp. 669–677, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11112
D. J. Anderson and M. Hetzer, “The life cycle of the metazoan nuclear envelope,” Current Opinion in Cell Biology, vol. 20, no. 4. Elsevier, pp. 386–392, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11113 | OA
D. J. Anderson and M. Hetzer, “Shaping the endoplasmic reticulum into the nuclear envelope,” Journal of Cell Science, vol. 121, no. 2. The Company of Biologists, pp. 137–142, 2008.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11114 | OA
R. Schulte, J. Talamas, C. Doucet, and M. Hetzer, “Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions,” PLoS ONE, vol. 3, no. 4. Public Library of Science, 2008.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11878
E. Baykan, M. H. Henzinger, and I. Weber, “Web page language identification based on URLs,” Proceedings of the VLDB Endowment, vol. 1, no. 1. Association for Computing Machinery, pp. 176–187, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 12656
F. Pellicciotti 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, vol. 22, no. 19. Wiley, pp. 3980–3997, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1296
M. A. Jösch, J. Plett, A. Borst, and D. Reiff, “Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster,” Current Biology, vol. 18, no. 5. Cell Press, pp. 368–374, 2008.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
T. Hausel and F. Rodríguez Villegas, “Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz,” Inventiones Mathematicae, vol. 174, no. 3. Springer, pp. 555–624, 2008.
View | DOI | Download (ext.)
 

Search

Filter Publications