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: 3870 | OA
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View | Files available | DOI
 

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: 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
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces
J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
A Clark-Ocone formula in UMD Banach spaces
J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
An analytic model of rotationally inelastic collisions of polar molecules in electric fields
M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases
R. Seiringer, in:, World Scientific Publishing, 2008, pp. 241–254.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Critical temperature and energy gap for the BCS equation
C. Hainzl, R. Seiringer, Physical Review B - Condensed Matter and Materials Physics 77 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
The BCS critical temperature for potentials with negative scattering length
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Ground state energy of the low density hubbard model
R. Seiringer, J. Yin, Journal of Statistical Physics 131 (2008) 1139–1154.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators
R. Frank, É. Lieb, R. Seiringer, Journal of the American Mathematical Society 21 (2008) 925–950.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
The BCS functional for general pair interactions
C. Hainzl, E. Hamza, R. Seiringer, J. Solovej, Communications in Mathematical Physics 281 (2008) 349–367.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Non-linear ground state representations and sharp Hardy inequalities
R. Frank, R. Seiringer, Journal of Functional Analysis 255 (2008) 3407–3430.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
The Lieb-Liniger model as a limit of dilute bosons in three dimensions
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
A nonlinear model for relativistic electrons at positive temperature
C. Hainzl, M. Lewin, R. Seiringer, Reviews in Mathematical Physics 20 (2008) 1283–1307.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans
A.J. Bretscher, K.E. Busch, M. de Bono, Proceedings of the National Academy of Sciences 105 (2008) 8044–8049.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Feynman graphs and renormalization in quantum diffusion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Coplanar waveguide resonators for circuit quantum electrodynamics
M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Nonlinear algebra and Bogoliubov's recursion
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
View | DOI | Download (ext.)
 

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.)
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
The role of input noise in transcriptional regulation
G. Tkacik, T. Gregor, W. Bialek, PLoS One 3 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Information flow and optimization in transcriptional regulation
G. Tkacik, C. Callan, W. Bialek, PNAS 105 (2008) 12265–12270.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Decoding spike timing: The differential reverse-correlation method
G. Tkacik, M. Magnasco, Biosystems 93 (2008) 90–100.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Action potential initiation and propagation in hippocampal mossy fibre axons
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586 (2008) 1849–57.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View | DOI | Download (ext.)
 

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: 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: 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
 

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2093 | OA
Multi scale capture of facial geometry and motion
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2118 | OA
On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 221 | OA
On Manin's conjecture for singular del Pezzo surfaces of degree four, I
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
View | Files available | DOI | arXiv
 

2007 | Journal Article | IST-REx-ID: 222 | OA
On Manin's conjecture for singular del Pezzo surfaces of degree four, II
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 223 | OA
Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
On the failure of subadditivity of the Wigner-Yanase entropy
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications