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.
75 Publications
2000 |
Published |
Conference Paper |
IST-REx-ID: 1736
Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems
G. Katsaros, P. Lane, M. Murphy, in:, Proceedings of the 2000 IEEE Annual Meeting Conference , IEEE, 2000, pp. 27–28.
View
| DOI
G. Katsaros, P. Lane, M. Murphy, in:, Proceedings of the 2000 IEEE Annual Meeting Conference , IEEE, 2000, pp. 27–28.
2000 |
Published |
Journal Article |
IST-REx-ID: 1957
Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms
L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464.
View
| DOI
| PubMed | Europe PMC
L.A. Sazanov, J. Walker, Journal of Molecular Biology 302 (2000) 455–464.
2000 |
Published |
Journal Article |
IST-REx-ID: 1958
Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme
L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.
View
| DOI
| PubMed | Europe PMC
L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.
2000 |
Published |
Conference Paper |
IST-REx-ID: 2325
Inequalities for Schrödinger operators and applications to the stability of matter problem
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
View
| DOI
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
2000 |
Published |
Conference Paper |
IST-REx-ID: 2342 |
The ground state energy and density of interacting bosons in a trap
R. Seiringer, É. Lieb, J. Yngvason, in:, Proceedings of the International Symposium on Quantum Theory and Symmetries, World Scientific Publishing, 2000, pp. 101–110.
View
| Download None (ext.)
| arXiv
R. Seiringer, É. Lieb, J. Yngvason, in:, Proceedings of the International Symposium on Quantum Theory and Symmetries, World Scientific Publishing, 2000, pp. 101–110.
2000 |
Published |
Journal Article |
IST-REx-ID: 2343 |
On the ordering of energy levels in homogeneous magnetic fields
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
View
| DOI
| Download (ext.)
B. Baumgartner, R. Seiringer, Letters in Mathematical Physics 54 (2000) 213–226.
2000 |
Published |
Journal Article |
IST-REx-ID: 2344 |
Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 61 (2000) 436021–4360213.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 61 (2000) 436021–4360213.
2000 |
Published |
Conference Paper |
IST-REx-ID: 2418
Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, in:, Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56.
View
| DOI
U. Wagner, E. Welzl, in:, Proceedings of the 16th Annual Symposium on Computational Geometry, ACM, 2000, pp. 50–56.
2000 |
Published |
Journal Article |
IST-REx-ID: 4598
Discrete abstractions of hybrid systems
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
View
| DOI
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–154.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on Computer Aided Verification, Springer, 2000, pp. 186–201.
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
View
| DOI
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Web information retrieval - an algorithmic perspective
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
View
| DOI
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
2000 |
Published |
Journal Article |
IST-REx-ID: 11893
Improved data structures for fully dynamic biconnectivity
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
View
| DOI
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
2000 |
Published |
Journal Article |
IST-REx-ID: 12925
Structure and Function of the Ion Channel ICln
J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J.G. Danzl, M. Mayer, C.M. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
View
| DOI
| PubMed | Europe PMC
J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J.G. Danzl, M. Mayer, C.M. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
2000 |
Published |
Journal Article |
IST-REx-ID: 3489 |
Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
2000 |
Published |
Journal Article |
IST-REx-ID: 3490 |
Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
2000 |
Published |
Journal Article |
IST-REx-ID: 3491
Distal initiation and active propagation of action potentials in interneuron dendrites
M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.
View
| DOI
| PubMed | Europe PMC
M. Martina, I. Vida, P.M. Jonas, Science 287 (2000) 295–300.