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 | Journal Article | IST-REx-ID: 11126
Hetzer M, Mattaj IW. An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. 2000;148(2):293-304. doi:10.1083/jcb.148.2.293
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 11127 | 
Hetzer M, Bilbao-Cortés D, Walther TC, Gruss OJ, Mattaj IW. GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. 2000;5(6):1013-1024. doi:10.1016/s1097-2765(00)80266-x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 11683
Henzinger MH, Rao S, Gabow HN. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 2000;34(2):222-250. doi:10.1006/jagm.1999.1055
View
| DOI
2000 | 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 | 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 | 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 | 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
2000 | Journal Article | IST-REx-ID: 11893
Henzinger MH. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 2000;29(6):1761-1815. doi:10.1137/s0097539794263907
View
| DOI
2000 | 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 | 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 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View
| DOI
2000 | 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 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Proceedings of the 7th International Symposium on Static Analysis. Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided Design. IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481
View
| DOI
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5
View
| DOI