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
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, 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
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, 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
Probabilistic automata on infinite words: Decidability and undecidability results
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
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, 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
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View | DOI | Download None (ext.)
 

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

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

2009 | Conference Paper | IST-REx-ID: 11752
Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 7080
Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
View | Files available | DOI
 

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

2009 | Conference Paper | IST-REx-ID: 752
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
View | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 88 | OA
Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments
A.P. Higginbotham, O. Semonin, S. Bruce, C. Chan, M. Maindi, T. Donnelly, M. Maurer, W. Bang, I.. Churina, J. Osterholz, I. Kim, A. Bernstein, T. Ditmire, Review of Scientific Instruments 80 (2009).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 964
Giant nernst effect due to fluctuating cooper Pairs in superconductors
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, in:, American Institute of Physics, 2009, pp. 140–145.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 8478
Direct observation of the dynamic process underlying allosteric signal transmission
S. Brüschweiler, P. Schanda, K. Kloiber, B. Brutscher, G. Kontaxis, R. Konrat, M. Tollinger, Journal of the American Chemical Society 131 (2009) 3063–3068.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 8477
Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies
C. Amero, P. Schanda, M.A. Durá, I. Ayala, D. Marion, B. Franzetti, B. Brutscher, J. Boisbouvier, Journal of the American Chemical Society 131 (2009) 3448–3449.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8474
Direct detection of 3hJN' hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy
P. Schanda, M. Huber, R. Verel, M. Ernst, B. Meier, Angewandte Chemie International Edition 48 (2009) 9322–9325.
View | DOI
 

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

2009 | Journal Article | IST-REx-ID: 8508
Conservative homoclinic bifurcations and some applications
A. Gorodetski, V. Kaloshin, Proceedings of the Steklov Institute of Mathematics 267 (2009) 76–90.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 908
Translation termination in pyrrolysine-utilizing archaea
E. Alkalaeva, B. Eliseev, A. Ambrogelly, P. Vlasov, F. Kondrashov, S. Gundllapalli, L. Frolova, D. Söll, L. Kisselev, FEBS Letters 583 (2009) 3455–3460.
View | DOI
 

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

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

2009 | Journal Article | IST-REx-ID: 9453 | OA
Genome-wide demethylation of Arabidopsis endosperm
T.-F. Hsieh, C.A. Ibarra, P. Silva, A. Zemach, L. Eshed-Williams, R.L. Fischer, D. Zilberman, Science 324 (2009) 1451–1454.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13416
Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions
M.A. Olson, A. Coskun, R. Klajn, L. Fang, S.K. Dey, K.P. Browne, B.A. Grzybowski, J.F. Stoddart, Nano Letters 9 (2009) 3185–3190.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13415
Dynamic hook-and-eye nanoparticle sponges
R. Klajn, M.A. Olson, P.J. Wesson, L. Fang, A. Coskun, A. Trabolsi, S. Soh, J.F. Stoddart, B.A. Grzybowski, Nature Chemistry 1 (2009) 733–738.
View | DOI | PubMed | Europe PMC
 

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

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

2009 | Journal Article | IST-REx-ID: 13418
Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles
H. Nakanishi, K.J.M. Bishop, B. Kowalczyk, A. Nitzan, E.A. Weiss, K.V. Tretiakov, M.M. Apodaca, R. Klajn, J.F. Stoddart, B.A. Grzybowski, Nature 460 (2009) 371–375.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13421
A bistable poly[2]catenane forms nanosuperstructures
M.A. Olson, A.B. Braunschweig, L. Fang, T. Ikeda, R. Klajn, A. Trabolsi, P.J. Wesson, D. Benítez, C.A. Mirkin, B.A. Grzybowski, J.F. Stoddart, Angewandte Chemie International Edition 48 (2009) 1792–1797.
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 13420
Metal nanoparticles functionalized with molecular and supramolecular switches
R. Klajn, L. Fang, A. Coskun, M.A. Olson, P.J. Wesson, J.F. Stoddart, B.A. Grzybowski, Journal of the American Chemical Society 131 (2009) 4233–4235.
View | DOI | PubMed | Europe PMC
 

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

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

2008 | Journal Article | IST-REx-ID: 1037 | OA
Metastable feshbach molecules in high rotational states
S. Knoop, M. Mark, F. Ferlaino, J.G. Danzl, T. Kraemer, H. Nägerl, R. Grimm, Physical Review Letters 100 (2008).
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Quantum gas of deeply bound ground state molecules
J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
View | DOI | Download None (ext.) | arXiv
 

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

2008 | Journal Article | IST-REx-ID: 11111
Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
View | DOI | PubMed | Europe PMC
 

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

2008 | Journal Article | IST-REx-ID: 11109
Reorganization of the nuclear envelope during open mitosis
U. Kutay, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 669–677.
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 11112
The life cycle of the metazoan nuclear envelope
D.J. Anderson, M. Hetzer, Current Opinion in Cell Biology 20 (2008) 386–392.
View | DOI | PubMed | Europe PMC
 

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

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

2008 | Journal Article | IST-REx-ID: 11878
Web page language identification based on URLs
E. Baykan, M.H. Henzinger, I. Weber, Proceedings of the VLDB Endowment 1 (2008) 176–187.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 12656
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
F. Pellicciotti, J. Helbing, A. Rivera, V. Favier, J. Corripio, J. Araos, J.-E. Sicart, M. Carenzo, Hydrological Processes 22 (2008) 3980–3997.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View | DOI
 

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

Search

Filter Publications