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.
5611 Publications
2008 |
Published |
Journal Article |
IST-REx-ID: 3822 |
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.)
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586 (2008) 1849–57.
2008 |
Published |
Journal Article |
IST-REx-ID: 3825 |
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.)
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
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.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
2007 |
Published |
Book Chapter |
IST-REx-ID: 2705 |
Recent developments in quantum mechanics with magnetic fields
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
View
| Download (ext.)
L. Erdös, in:, F. Gesztesy, P. Deift, P. Galvez, P. Perry, W. Schlag (Eds.), Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday , American Mathematical Society, 2007, pp. 401–428.
2007 |
Published |
Journal Article |
IST-REx-ID: 11116 |
MEL‐28/ELYS is required for the recruitment of nucleoporins to chromatin and postmitotic nuclear pore complex assembly
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Franz, R. Walczak, S. Yavuz, R. Santarella, M. Gentzel, P. Askjaer, V. Galy, M. Hetzer, I.W. Mattaj, W. Antonin, EMBO Reports 8 (2007) 165–172.
2007 |
Published |
Book Chapter |
IST-REx-ID: 167 |
Simultaneous equal sums of three powers
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, U. Zannier (Ed.), Diophantine Geometry, Edizioni della Normale, 2007, pp. 93–100.
2007 |
Published |
Journal Article |
IST-REx-ID: 1762 |
Observation of Berry's phase in a solid-state qubit
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
View
| DOI
| Download (ext.)
P. Leek, J.M. Fink, A. Blais, R. Bianchetti, M. Göppl, J. Gambetta, D. Schuster, L. Frunzio, R. Schoelkopf, A. Wallraff, Science 318 (2007) 1889–1892.
2007 |
Published |
Conference Paper |
IST-REx-ID: 2091 |
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.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, in:, ACM, 2007.
2007 |
Published |
Journal Article |
IST-REx-ID: 2093 |
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.)
B. Bickel, M. Botsch, R. Angst, W. Matusik, M. Otaduy, H. Pfister, M. Groß, ACM Transactions on Graphics 26 (2007).
2007 |
Published |
Journal Article |
IST-REx-ID: 2118 |
On analytic Ornstein-Uhlenbeck semigroups in infinite dimensions
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Archiv Der Mathematik 89 (2007) 226–236.
2007 |
Published |
Journal Article |
IST-REx-ID: 221 |
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.
[Published Version]
View
| Files available
| DOI
| arXiv
R. De La Bretèche, T.D. Browning, Michigan Mathematical Journal 55 (2007) 51–80.
2007 |
Published |
Journal Article |
IST-REx-ID: 222 |
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.)
R. De La Bretèche, T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 143 (2007) 579–605.
2007 |
Published |
Journal Article |
IST-REx-ID: 223 |
Density of integer solutions to diagonal quadratic forms
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
View
| DOI
| Download (ext.)
T.D. Browning, Monatshefte Fur Mathematik 152 (2007) 13–38.
2007 |
Published |
Journal Article |
IST-REx-ID: 2367 |
On the failure of subadditivity of the Wigner-Yanase entropy
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
View
| DOI
| Download (ext.)
R. Seiringer, Letters in Mathematical Physics 80 (2007) 285–288.
2007 |
Published |
Journal Article |
IST-REx-ID: 2370 |
Bose-Einstein condensation and spontaneous symmetry breaking
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Reports on Mathematical Physics 59 (2007) 389–399.
2007 |
Published |
Journal Article |
IST-REx-ID: 2371 |
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.)
R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 275 (2007) 479–489.
2007 |
Published |
Journal Article |
IST-REx-ID: 2372 |
Müller's exchange-correlation energy in density-matrix-functional theory
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, H. Siedentop, Physical Review A - Atomic, Molecular, and Optical Physics 76 (2007).
2007 |
Published |
Journal Article |
IST-REx-ID: 2373 |
The critical temperature for the BCS equation at weak coupling
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.
View
| DOI
| Download (ext.)
R. Frank, C. Hainzl, S. Naboko, R. Seiringer, Journal of Geometric Analysis 17 (2007) 559–567.