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.
9198 Publications
2001 |Published| Journal Article | IST-REx-ID: 874 | 
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
2001 |Published| Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
[Published Version]
View
| DOI
| PubMed | Europe PMC
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
2001 |Published| Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
2001 |Published| Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 |Published| Journal Article | IST-REx-ID: 11755
Hyperlink analysis for the Web
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
View
| DOI
| WoS
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
2000 |Published| Journal Article | IST-REx-ID: 11126
An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins
M. Hetzer, I.W. Mattaj, Journal of Cell Biology 148 (2000) 293–304.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, I.W. Mattaj, Journal of Cell Biology 148 (2000) 293–304.
2000 |Published| Journal Article | IST-REx-ID: 11127 |
GTP hydrolysis by Ran is required for nuclear envelope assembly
M. Hetzer, D. Bilbao-Cortés, T.C. Walther, O.J. Gruss, I.W. Mattaj, Molecular Cell 5 (2000) 1013–1024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Hetzer, D. Bilbao-Cortés, T.C. Walther, O.J. Gruss, I.W. Mattaj, Molecular Cell 5 (2000) 1013–1024.
2000 |Published| Journal Article | IST-REx-ID: 11683
Computing vertex connectivity: New bounds from old techniques
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
View
| DOI
M.H. Henzinger, S. Rao, H.N. Gabow, Journal of Algorithms 34 (2000) 222–250.
2000 |Published| Journal Article | IST-REx-ID: 11685
On near-uniform URL sampling
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 33 (2000) 295–308.
View
| DOI
M.H. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 33 (2000) 295–308.
2000 |Published| Journal Article | IST-REx-ID: 11694
Exploring unknown environments
S. Albers, M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1164–1188.
View
| DOI
S. Albers, M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1164–1188.
2000 |Published| Journal Article | IST-REx-ID: 11770 |
A comparison of techniques to find mirrored hosts on the WWW
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
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| 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| 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: 8525
Generic diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, Communications in Mathematical Physics 211 (2000) 253–271.
View
| DOI
V. Kaloshin, Communications in Mathematical Physics 211 (2000) 253–271.
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| 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: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.