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.

8915 Publications


2000 | Published | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 842
Y. Wolf, F. Kondrashov, and E. Koonin, “No footprints of primordial introns in a eukaryotic genome,” Trends in Genetics, vol. 16, no. 8. Elsevier, pp. 333–334, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 8525
V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 12925
J. Fürst et al., “Structure and Function of the Ion Channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 13437
M. Macogonkosza, J. Przyborowski, R. Klajn, and A. Kwast, “Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles,” Synlett, vol. 2000, no. 12. Georg Thieme Verlag, pp. 1773–1774, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11126
M. Hetzer and I. W. Mattaj, “An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins,” Journal of Cell Biology, vol. 148, no. 2. Rockefeller University Press, pp. 293–304, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 11127 | OA
M. Hetzer, D. Bilbao-Cortés, T. C. Walther, O. J. Gruss, and I. W. Mattaj, “GTP hydrolysis by Ran is required for nuclear envelope assembly,” Molecular Cell, vol. 5, no. 6. Elsevier, pp. 1013–1024, 2000.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 11683
M. H. Henzinger, S. Rao, and H. N. Gabow, “Computing vertex connectivity: New bounds from old techniques,” Journal of Algorithms, vol. 34, no. 2. Elsevier, pp. 222–250, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11685
M. H. Henzinger, A. Heydon, M. Mitzenmacher, and M. Najork, “On near-uniform URL sampling,” Computer Networks, vol. 33, no. 1–6. Elsevier, pp. 295–308, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11694
S. Albers and M. H. Henzinger, “Exploring unknown environments,” SIAM Journal on Computing, vol. 29, no. 4. Society for Industrial and Applied Mathematics, pp. 1164–1188, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11770 | OA
K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000.
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Published | Conference Paper | IST-REx-ID: 11802
M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 11893
M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial & Applied Mathematics, pp. 1761–1815, 2000.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 1455 | OA
T. Hausel, E. Makai, and A. Szücs, “Inscribing cubes and covering by rhombic dodecahedra via equivariant topology,” Mathematika, vol. 47, no. 1–2. University College London, pp. 371–397, 2000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Published | Conference Paper | IST-REx-ID: 1736
G. Katsaros, P. Lane, and M. Murphy, “Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems,” in Proceedings of the 2000 IEEE Annual Meeting Conference , Rio Grande, PR, USA, 2000, vol. 1, pp. 27–28.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 1957
L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms,” Journal of Molecular Biology, vol. 302, no. 2. Elsevier, pp. 455–464, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 1958
L. A. Sazanov, S. Peak Chew, I. Fearnley, and J. Walker, “Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme,” Biochemistry, vol. 39, no. 24. ACS, pp. 7229–7235, 2000.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Conference Paper | IST-REx-ID: 2325
R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 2342 | OA
R. Seiringer, É. Lieb, and J. Yngvason, “The ground state energy and density of interacting bosons in a trap,” in Proceedings of the International Symposium on Quantum Theory and Symmetries, 2000, pp. 101–110.
View | Download None (ext.) | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2343 | OA
B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed