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

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710. 244–258.
View | Files available | DOI
 

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

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

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

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics 117–136.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. QMath: Mathematical Results in Quantum Physics 241–254.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. 2008. Model checking transactional memories. PLDI: Programming Languages Design and Implementation 372–382.
View | Files available | DOI | Download (ext.)
 

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

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös L, Salmhofer M, Yau H. 2008. Feynman graphs and renormalization in quantum diffusion. Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday 167–182.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2. 107–118.
View | Files available | DOI
 

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

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

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

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

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

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

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356. 91–106.
View | DOI | Download (ext.)
 

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

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

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

2007 | Conference Paper | IST-REx-ID: 2091 | OA
Bickel B, Botsch M, Angst R, Matusik W, Otaduy M, Pfister H, Groß M. 2007. Multi scale capture of facial geometry and motion. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

Filters and Search Terms

oa=1

Search

Filter Publications