Please note that IST 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.

3014 Publications


2009 | Journal Article | IST-REx-ID: 2193 | OA
Probing weakly bound molecules with nonresonant light
M. Lemeshko, B. Friedrich, Physical Review Letters 103 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 228 | OA
Rational points on quartic hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2009) 37–88.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
Linear growth for Châtelet surfaces
T.D. Browning, Mathematische Annalen 346 (2009) 41–50.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
The ground state energy of the weakly interacting Bose gas at high density
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
Rigorous upper bound on the critical temperature of dilute Bose gases
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
Strongly correlated phases in rapidly rotating Bose gases
M. Lewin, R. Seiringer, Journal of Statistical Physics 137 (2009) 1040–1062.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
Probabilistic coherence and proper scoring rules
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, S. Kulkarni, IEEE Transactions on Information Theory 55 (2009) 4786–4792.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
Hardness of embedding simplicial complexes in ℝd
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration
M. Rives, C. Vol, Y. Fukazawa, N. Tinel, E. Trinquet, M. Ayoub, R. Shigemoto, J. Pin, L. Prezèau, EMBO Journal 28 (2009) 2195–2208.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View | Files available | DOI
 

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: 3051 | OA
SnapShot: Auxin signaling and transport
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Auxin: A trigger for change in plant development
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
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 | 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: 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: 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.
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).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Spin glass models for a network of real neurons
G. Tkacik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775 | OA
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
View | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications