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.
5612 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 3744 |
Tkačik G, Magnasco M. 2008. Decoding spike timing: The differential reverse-correlation method. Biosystems. 93(1–2), 90–100.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 3751 |
Kinkhabwala A, Guet CC. 2008. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 3(4), e2030.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 |
Published |
Journal Article |
IST-REx-ID: 3822 |
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 |
Published |
Journal Article |
IST-REx-ID: 3825 |
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 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
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 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
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 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Prabhu V. 2008. Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 2120 |
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 |
Published |
Journal Article |
IST-REx-ID: 2121 |
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 |
Published |
Journal Article |
IST-REx-ID: 2146 |
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 |
Published |
Conference Paper |
IST-REx-ID: 2331 |
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 |
Published |
Conference Paper |
IST-REx-ID: 2332 |
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 |
Published |
Journal Article |
IST-REx-ID: 2374 |
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 |
Published |
Journal Article |
IST-REx-ID: 2376 |
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 |
Published |
Journal Article |
IST-REx-ID: 2377 |
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 |
Published |
Journal Article |
IST-REx-ID: 2378 |
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 |
Published |
Journal Article |
IST-REx-ID: 2379 |
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 |
Published |
Journal Article |
IST-REx-ID: 2380 |
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 |
Published |
Journal Article |
IST-REx-ID: 2381 |
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 |
Published |
Journal Article |
IST-REx-ID: 2382 |
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.)