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.
8923 Publications
2000 |
Published |
Journal Article |
IST-REx-ID: 11685
Henzinger MH, Heydon A, Mitzenmacher M, Najork M. On near-uniform URL sampling. Computer Networks. 2000;33(1-6):295-308. doi:10.1016/s1389-1286(00)00055-4
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11694
Albers S, Henzinger MH. Exploring unknown environments. SIAM Journal on Computing. 2000;29(4):1164-1188. doi:10.1137/s009753979732428x
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11770 |
Bharat K, Broder A, Dean J, Henzinger MH. A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. 2000;51(12):1114-1122. doi:10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2000 |
Published |
Journal Article |
IST-REx-ID: 842
Wolf Y, Kondrashov F, Koonin E. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 2000;16(8):333-334. doi:10.1016/S0168-9525(00)02059-X
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 8525
Kaloshin V. Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. 2000;211:253-271. doi:10.1007/s002200050811
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 1736
Katsaros G, Lane P, Murphy M. Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems. In: Proceedings of the 2000 IEEE Annual Meeting Conference . Vol 1. IEEE; 2000:27-28. doi:10.1109/LEOS.2000.890656
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1957
Sazanov LA, Walker J. Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms. Journal of Molecular Biology. 2000;302(2):455-464. doi:10.1006/jmbi.2000.4079
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 1958
Sazanov LA, Peak Chew S, Fearnley I, Walker J. Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme. Biochemistry. 2000;39(24):7229-7235. doi:10.1021/bi000335t
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Conference Paper |
IST-REx-ID: 2325
Seiringer R. Inequalities for Schrödinger operators and applications to the stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72. doi:10.1090/conm/529
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 2342 |
Seiringer R, Lieb É, Yngvason J. The ground state energy and density of interacting bosons in a trap. In: Proceedings of the International Symposium on Quantum Theory and Symmetries. World Scientific Publishing; 2000:101-110.
View
| Download None (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 2343 |
Baumgartner B, Seiringer R. On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. 2000;54(3):213-226. doi: 10.1023/A:1010978807635
View
| DOI
| Download (ext.)
2000 |
Published |
Journal Article |
IST-REx-ID: 2344 |
Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2000 |
Published |
Conference Paper |
IST-REx-ID: 2418
Wagner U, Welzl E. Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem. In: Proceedings of the 16th Annual Symposium on Computational Geometry. ACM; 2000:50-56. doi:10.1145/336154.336176
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4627
De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Proceedings of the 12th International Conference on Computer Aided Verification. Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger MH. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1
View
| DOI