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
M. Lemeshko and B. Friedrich, “Probing weakly bound molecules with nonresonant light,” Physical Review Letters, vol. 103, no. 5, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 228 | OA
T. D. Browning and R. Heath Brown, “Rational points on quartic hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 629, pp. 37–88, 2009.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

2009 | Conference Paper | IST-REx-ID: 2433 | OA
J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in ℝd,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 855–864.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
M. Rives et al., “Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration,” EMBO Journal, vol. 28, no. 15, pp. 2195–2208, 2009.
View | DOI | Download (ext.)
 

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

2009 | Conference Paper | IST-REx-ID: 3968 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
View | Files available | DOI
 

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

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

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI
 

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.
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: 5392 | OA
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
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, Gist: A solver for probabilistic games. IST Austria, 2009.
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.
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.
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, pp. 439–451, 2009.
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6, pp. 1172–1172, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
T. D. Browning and R. Heath Brown, “Integral points on cubic hypersurfaces,” 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
P. Leek et al., “Using sideband transitions for two-qubit operations in superconducting circuits,” Physical Review B - Condensed Matter and Materials Physics, vol. 79, no. 18, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767 | OA
M. Baur et al., “Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit,” Physical Review Letters, vol. 102, no. 24, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1768 | OA
S. Filipp et al., “Two-qubit state tomography using a joint dispersive readout,” Physical Review Letters, vol. 102, no. 20, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1769 | OA
J. M. Fink et al., “Dressed collective qubit states and the Tavis-Cummings model in circuit QED,” Physical Review Letters, vol. 103, no. 8, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1770 | OA
R. Bianchetti et al., “Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 80, no. 4, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1771 | OA
J. M. Fink et al., “Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics,” Physica Scripta T, vol. T137, 2009.
View | DOI | Download (ext.)
 

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

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, pp. 483–491, 2009.
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, 2009.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2009 | Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

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

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

2009 | Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails,” Journal of Evolutionary Biology, vol. 22, no. 8, pp. 1624–1635, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications