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.

7223 Publications


2009 | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View | Files available | DOI
 

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.
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: 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.
View | Files available | DOI
 

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.
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.
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.
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: 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 | 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: 110
Reconnection in three dimensions: The role of spines in three eruptive flares
A. Des Jardins, R. Canfield, D. Longcope, C. Fordyce, S.R. Waitukaitis, The Astrophysical Journal 693 (2009) 1628–1636.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
High-speed tracking of rupture and clustering in freely falling granular streams
J. Royer, D. Evans, L. Oyarte, Q. Guo, E. Kapit, M. Möbius, S.R. Waitukaitis, H. Jaeger, Nature 459 (2009) 1110–1113.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
The role of nuclear pores in gene regulation, development and disease
M. Capelson, M.W. HETZER, EMBO Reports 10 (2009) 697–705.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M.W. HETZER, Journal of Cell Biology 186 (2009) 183–191.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
ER membrane–bending proteins are necessary for de novo nuclear pore formation
T.R. Dawson, M.D. Lazarus, M.W. HETZER, S.R. Wente, Journal of Cell Biology 184 (2009) 659–675.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells
M.A. D’Angelo, M. Raices, S.H. Panowski, M.W. HETZER, Cell 136 (2009) 284–295.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 165
Resent progress on the quantitative arithmetic of del Pezzo surfaces
T.D. Browning, in:, T. Aoki, S. Kanemitsu, J. Liu (Eds.), World Scientific Publishing, 2009, pp. 1–18.
View | DOI
 

2009 | Book Chapter | IST-REx-ID: 168
Solubility of Fermat equations
T.D. Browning, R. Dietmann, in:, Quadratic Forms - Algebra, Arithmetic and Geometry, American Mathematical Society, 2009, pp. 99–106.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1718
Temporal dynamics of patterning by morphogen gradients
E. Kutějová, J. Briscoe, A. Kicheva, Current Opinion in Genetics & Development 19 (2009) 315–322.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1720
Morphogen gradient formation
O. Wartlick, A. Kicheva, M. González Gaitán, Cold Spring Harbor Perspectives in Biology 1 (2009).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1766 | OA
Using sideband transitions for two-qubit operations in superconducting circuits
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
Two-qubit state tomography using a joint dispersive readout
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
Dressed collective qubit states and the Tavis-Cummings model in circuit QED
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1798
Genetic address book for retinal cell types
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, B. Roska, Nature Neuroscience 12 (2009) 1197–1204.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1799
Approach sensitivity in the retina processed by a multifunctional neural circuit
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, B. Roska, Nature Neuroscience 12 (2009) 1308–1316.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1825 | OA
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1971
Structural basis for the mechanism of respiratory complex I
J. Berrisford, L.A. Sazanov, Journal of Biological Chemistry 284 (2009) 29773–29783.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1983
Biomimetic membrane systems to study cellular organization
M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.
View | DOI
 

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 | 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).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 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.
View | DOI | Download Published Version (ext.)
 

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).
View | DOI | Download Published Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 1302
Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1040 | OA
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1984
Chromatin shapes the mitotic spindle
A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2067 View | DOI
 

2009 | Journal Article | IST-REx-ID: 2068 View | DOI
 

Search

Filter Publications