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.

87 Publications


2000 | Published | Book Chapter | IST-REx-ID: 2710
The kernel of Dirac operators on S3 and R3
L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119.
[Preprint] View | DOI | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2731
Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735.
[Preprint] View | DOI | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2732
Fokker-Planck equations as scaling limits of reversible quantum systems
F. Castella, L. Erdös, F. Frommlet, P. Markowich, Journal of Statistical Physics 100 (2000) 543–601.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 2733
Diamagnetic behavior of sums Dirichlet eigenvalues
L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907.
View | DOI
 

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
 

2000 | Published | Journal Article | IST-REx-ID: 21551
F+ and F centers in α-Al2O3 by electron-induced x-ray emission spectroscopy and cathodoluminescence
P. Jonnard, C. Bonnelle, G. Blaise, G. Rémond, C. Roques-Carmes, Journal of Applied Physics 88 (2000) 6413–6417.
View | DOI
 

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
 

2000 | Published | Journal Article | IST-REx-ID: 1455 | OA
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
 

2000 | Published | Book Chapter | IST-REx-ID: 18732 | OA
The Role of H2 Molecules in Cosmological Structure Formation
T. Abel, Z. Haiman, in:, Molecular Hydrogen in Space, Cambridge University Press, 2000, pp. 237–246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Conference Paper | IST-REx-ID: 18733
The radiative feedback from the first stars and quasars and the end of the dark age
Z. Haiman, in:, Proceedings of the MPA/ESO Workshop, Springer-Verlag, Berlin/Heidelberg, 2000, pp. 219–224.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 18744 | OA
Galaxy cluster baryon fraction, cluster surveys and cosmology
J.J. Mohr, Z. Haiman, G.P. Holder, in:, Proceedings of the 7th International Symposium on Particles, Strings and Cosmology, World Scientific Publishing, 2000, pp. 250–259.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Book Chapter | IST-REx-ID: 18752
Radiative Feedback From the First Objects and the End of the Cosmological Dark Age
Z. Haiman, in:, D.L. Block, I. Puerari, A. Stockton, D. Ferreira (Eds.), Toward a New Millennium in Galaxy Morphology, Springer Nature, 2000, pp. 191–199.
View | DOI
 

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
 

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
 

2000 | Published | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
View | DOI
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Export / Embed